458 research outputs found

    Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

    Full text link
    Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement software product line efficiently, we still need a method to generate and prove correctness of all product variants more efficiently and automatically. In this context, we propose to manipulate feature modules which contain three kinds of artifacts: specification, code and correctness proof. We depict a methodology and a platform that help the user to automatically produce correct-by-construction product variants from the related feature modules. As a first step of this project, we begin by proposing a language, GFML, allowing the developer to write such feature modules. This language is designed so that the artifacts can be easily reused and composed. GFML files contain the different artifacts mentioned above.The idea is to compile them into FoCaLiZe, a language for specification, implementation and formal proof with some object-oriented flavor. In this paper, we define and illustrate this language. We also introduce a way to compose the feature modules on some examples.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

    Eelco Visser: The Oregon Connection

    Get PDF
    This paper shares some memories of Eelco gathered over the past 25 years as a colleague and friend, and reflects on the nature of modern international collaborations

    VMIL 2011 : the 5th Workshop on Virtual Machines and Intermediate Languages

    Get PDF
    The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language level (e.g., in bytecode), how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts

    Eelco Visser - An Exceptional SLE Researcher

    Get PDF

    Northwest Forest Plan—the first 15 years (1994–2008): watershed condition status and trend

    Full text link

    Northwest Forest Plan The First 15 Years (1994-2008): Watershed Condition Status and Trend

    Get PDF
    We used two data sets to evaluate stream and watershed condition for sixth-field watersheds in each aquatic province within the Northwest Forest Plan (NWFP) area: stream data and upslope data. The stream evaluation was based on inchannel data (e.g., substrate, pieces of large wood, water temperature, pool frequency, and macroinvertebrates) we sampled from 2002 to 2009 (193 watersheds) as part of a repeating sample design. We just completed our first round of sampling, so only current condition was calculated for this data set. When condition scores for the inchannel data were grouped into categories, relatively few fell into the low (10 percent) and very low (1 percent) categories. The majority of inchannel attribute scores fell into the moderate (35 percent) and high (41 percent) condition ranges, with relatively few (12 percent) in the very high category. For low-scoring watersheds, water temperature was often the most influential factor. Aquatic invertebrate scores also appeared influential in producing the low scores. An evaluation of upslope and riparian (watershed-wide) conditions for all 1,379 sixth-field watersheds in the NWFP area with significant federal ownership was based on mapped data, including road metrics from U.S. Forest Service and Bureau of Land Management geographic information system road layers and vegetation metrics derived from satellite imagery. Watershed-wide condition scores were calculated for 1994 and 2008, and the difference between these scores was used to represent trend. Regarding status, the overall condition scores of the 1,379 watersheds mostly fell into the low (21 percent), moderate (27 percent), high (26 percent), and very high (22 percent) categories; relatively few watersheds scored in the very low (4 percent) category. The majority of watersheds (69 percent) had a positive change in condition scores (trend). Of those with larger positive changes, most were driven by both improvements in road (decommissioning) and vegetation (natural growth) scores. The greatest negative score changes were caused by the Biscuit Fire and other fires along the eastern side of the Cascades. Half of the fire-affected watersheds were in congressional reserves, 35 percent in late-successional reserves, and 15 percent in matrix (lands identified for timber production)

    Which Conference Is That? A Case Study in Computer Science

    Get PDF
    Conferences play a major role in some disciplines such as computer science and are often used in research quality evaluation exercises. Differently from journals and books, for which ISSN and ISBN codes provide unambiguous keys, recognizing the conference series in which a paper was published is a rather complex endeavor: There is no unique code assigned to conferences, and the way their names are written may greatly vary across years and catalogs. In this article, we propose a technique for the entity resolution of conferences based on the analysis of different semantic parts of their names. We present the results of an investigation of our technique on a dataset of 42,395 distinct computer science conference names excerpted from the DBLP computer science repository,1 which we automatically link to different authority files. With suitable data cleaning, the precision of our record linkage algorithm can be as high as 94%. A comparison with results obtainable using state-of-the-art general-purpose record linkage algorithms rounds off the article, showing that our ad hoc solution largely outperforms them in terms of the quality of the results

    Chapter 7 - Horticulture

    Get PDF
    Explore the contents of Bryophyte Ecology, Volume 5, Chapter 7 - Horticulture by clicking the links above. For the Contents section of this ebook, as well as Volumes 1 through 5, please visit the Bryophyte Ecology Main Page. Use CTRL+F to easily search within PDF files. Ebook sponsored by Michigan Technological University and the International Association of Bryologists.https://digitalcommons.mtu.edu/bryophyte-ecology5/1006/thumbnail.jp

    The Trail, 2012-04-13

    Get PDF
    https://soundideas.pugetsound.edu/thetrail_all/1659/thumbnail.jp
    • …
    corecore