Type checking annotation-based product lines
نویسندگان
چکیده
منابع مشابه
A Type Checking Annotation-Based Product Lines
Software-product-line engineering is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high number of possible program variants, it is difficult to test them all and ensure properties like type safety for the entire product line. We present a product-line–aware type system that can type check an entire software ...
متن کاملCompositional Type-Checking of Delta-oriented Product Lines∗
Delta-oriented programming (DOP) is a compositional approach to flexibly implement software product lines. A delta-oriented product line is realized by a code base and a product line declaration. The code base consists of delta modules comprising modifications of object-oriented programs. The product line declaration defines how these modifications have to be combined to generate all possible p...
متن کاملModel Checking Software Product Lines
Dear Reader, This is the second issue of the MoVES newsletter. MoVES stands for “Modelling, Verification and Evolution of Software” and addresses these fundamental issues in software engineering. The project is sponsored by the Belgian government (belspo IAP programme). Each issue of the newsletter presents a partner and a work package. This issue presents results and ongoing research ofWork Pa...
متن کاملModeling and Model Checking Software Product Lines
Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In this paper we introduce the process algebra PL-CCS as a product line extension of CCS and show how to model the overall behavior of an entire family within PL-CCS. PL-CCS models incorporate behavioral variability and allow the d...
متن کاملService Based Product Lines
Product lines are sets of products designed to solve complex problems that a single tool is not able to approach because of the complexity. Moreover product lines are scalable: customers can buy only components that they need to work at present. Future enhancement could be done with little training effort due to the homogeneity of products inside a product line. These method of software product...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2012
ISSN: 1049-331X,1557-7392
DOI: 10.1145/2211616.2211617