By Peter Henderson, Matthew J. Henderson (auth.), Stephen H. Edwards, Gregory Kulczycki (eds.)

ICSR is the optimum overseas convention within the ?eld of software program reuse. the most target of ICSR is to give the advances and enhancements in the software program reuse area, in addition to to advertise interplay among researchers and practitioners. The eleventh overseas convention on software program Reuse (ICSR 2009) used to be held in the course of September 27–30, 2009 in Falls Church, VA, united states. 2009 was once the 12 months that ICSR went again to its roots. The subject was once “Formal Foundations of Reuse and area Engineering.” We explored the speculation and formal foundations that underlie present reuse and area engineering perform and checked out present developments to get an idea of the place the ?eld of reuse was once headed. Manyof the papers in those court cases at once re?ect that subject. the subsequent workshops have been held together with ICSR 2009: – moment Workshop on wisdom Reuse (KREUSE 2009) – get to the bottom of 2009: software program Veri?cation – the Cornerstone of Reuse – First overseas Workshop on software program Ecosystems – overseas Workshop on software program Reuse and safeguard (RESAFE 2009) apart from those workshops and the papers stumbled on the following, the convention additionally integrated ?ve tutorials, 8 device demos, and a doctoral symposium. hyperlinks to all of this data and extra are available on the ICSR eleven convention site at

Show description

Read Online or Download Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings PDF

Similar international books

Mobile Information Systems II: IFIP International Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005 (IFIP International Federation for Information Processing)

Cellular details platforms II presents a suite of analysis at the making plans, research, layout, development, amendment, implementation, usage, evaluate, and administration of cellular info structures. The articles specialise in the consequences of this learn on the earth of trade, and deal with technical concerns and constraints on cellular details structures functionalities and layout.

International Assessment of Research and Development in Simulation-Based Engineering and Science

Simulation-Based Engineering and technology (Sbe&S) cuts throughout disciplines, displaying super promise in components from typhoon prediction and weather modeling to realizing the mind and the habit of various different advanced platforms. during this groundbreaking quantity, 9 exclusive leaders examine the most recent study traits, because of fifty two web site visits in Europe and Asia and countless numbers of hours of professional interviews, and talk about the results in their findings for the united states executive.

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

This e-book constitutes the refereed court cases of the 1st overseas convention on Interactive Theorem proving, ITP 2010, held in Edinburgh, united kingdom, in July 2010. The 33 revised complete papers provided have been conscientiously reviewed and chosen from seventy four submissions. The papers are geared up in themes equivalent to counterexample iteration, hybrid procedure verification, translations from one formalism to a different, and cooperation among instruments.

Extra resources for Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Example text

FeatuRSEB/Sys is an extension of FeatuRSEB with constructs from the SysML profile for systems engineering, augmenting it with analysis and modeling mechanisms that are upstream from the original method, while nevertheless conserving the advantages of an industry standard notation and semantics. Keywords: Domain analysis, reuse, feature, UML, SysML, systems engineering, requirements, analysis, modeling, architecture, trade studies. 1 Introduction James Neighbors introduced the term domain analysis into the literature in 1984 in an article [1] on his pioneering Draco system.

The L category is a subset of every other category. Each LHi is a subset of LHi+1 , each MHi is also a subset of MHi+1 , and each DHi is a subset of each DHi+1 . Finally, each LHi is a subset of MHi ; also, each MHi is a subset of DHi . This structure forms a lattice shown in Fig. 2(b). Our methodology for analyzing the RESOLVE component catalog is to instrument an in-house VC prover, SplitDecision, to analyze each proven VC to 36 J. Kirschenbaum et al. Label What is needed in the proof L Rules of mathematical logic Hn At most n hypotheses from the VC needed (n > 0) M Knowledge of mathematical theories used in the specifications D Knowledge of programmer-supplied definitions based on mathematical theories above (a) VC Classification DH2 MH2 LH2 DH1 MH1 LH1 D M L (b) Lattice of the VC categorization Fig.

Based on the results, this is fairly rare; the majority of VCs (over 90%) can be proved using only 30% of the hypotheses. 5 Related Work We are unaware of any prior work that empirically examines the structure or proof difficulty of VCs. Work in this area has focused instead on the initial subproblems of generating VCs and creating tools to prove them. For example, the problem of generating VCs has been tackled using the Why methodology [10], which involves a simplified programming language, annotated with logical definitions, axioms, pre-conditions, post-conditions and loop invariants, from which VCs can be generated.

Download PDF sample

Rated 4.92 of 5 – based on 43 votes