A behavioural model for product families

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 521-524

  Fantechi, Alessandro ^a   Gnesi, Stefania ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b ISTI CNR   (Italy)

Author keywords

Modal transition systems; Product lines; Software families

Indexed keywords

MATHEMATICAL MODELS; MODEL CHECKING; PRODUCT DEVELOPMENT;

AUTOMATIC TOOLS; MODAL TRANSITION SYSTEMS; PRODUCT LINES; BEHAVIOURAL MODELS; MODAL LABELED TRANSITION SYSTEMS; PRODUCT FAMILIES; SOFTWARE FAMILIES;

COMPUTER AIDED SOFTWARE ENGINEERING; SOFTWARE ENGINEERING;

EID: 57149129110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287700     Document Type: Conference Paper

References (9)

1. A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, A. Maccari, Use Case Description of Requirements for Product Lines, REPL'02, Essen, Germany, September 2002.
2. P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.
3. A. Cockburn, Writing Effective Use Cases. Addison Wesley, 2001.
4. D. Fischbein, S, Uchitel, Sebastian, V. Braberman, A Foundation for Behavioural Conformance in Software Product Line Architectures, 2nd ROSATEA Workshop, Portland, Maine, 2006
5. M. Jazayeri, A. Ran, F. van der Linden, Software Architecture for Product Families: Principles and Practice, Publishers: Addison-Wesley, Reading, Mass. and London, 1998.
6. T. Kakola (Ed.), Software Product Lines: Research Issues in Engineering And Management, Springer-Verlag, October 2006.
7. K.G. Larsen, U. Nyman, A. Wasowski. Modal I/O Automata for Interface and Product Line Theories. ESOP'07, LNCS 4421, Springer, 2007.
8. K.G. Larsen, L. Xinxin, Equation solving using modal transition systems, LICS 1990, IEEE CS.
9. H. Schmid, H. Fecher, Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant, NWPT'06, Reykjavik, Iceland, October2006