A methodology for the derivation and verification of use cases for product lines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3154, Issue , 2004, Pages 255-265

  Fantechi, A ^a   Gnesi, S ^a   Lami, G ^b   Nesti, E ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

AUTOMATIC TOOLS; PRODUCT-LINES; SINGLE PRODUCT;

COMPLIANCE CONTROL;

EID: 35048827834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-28630-1_16     Document Type: Article

References (11)

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, Structuring Use Cases with goals, Journal of Object-Oriented Programming, Sep-Oct 1997 (part I) and Nov-Dec 1997 (part II),
4. A. Cockburn. Writing Effective Use Cases. Addison Wesley, 2001.
5. A.Fantechi, S.Gnesi, G.Lami, A.Maccari. Linguistic Techniques for Use Cases Analysis, Proceedings of the IEEE Joint International Requirements Engineering Conference - RE02. Essen, Germany, September 9-13 2002.
6. A. Fantechi, S. Gnesi, I. John, G. Lami, J.Dörr Elicitation of Use Cases for Product Lines, Fifth International Workshop on Product Family Engineering, PFE-5, Siena 4-6 November, 2003, to appear on LNCS Springer Verlag, 2004.
7. G. Halmans, K. Pohl Communicating the Variability of a Software-Product Family to Customers Journal of Software and Systems Modeling, Springer, 2003
8. M. Jazayeri, A. Ran, F. van der Linden. Software Architecture for Product Families: Principles and Practice, Publishers: Addison-Wesley, Reading, Mass, and London, 1998.
9. I. John, D. Muthig, Tailoring Use Cases for Product Line Modeling, REPL'02, Essen, Germany, September 2002.
10. F. van der Linden Software Product Families in Europe: The ES APS & Café Projects, IEEE Software July/August 2002.
11. M. Mannion, J. Camara, Theorem Proving for Product Line Model Verification, Fifth International Workshop on Product Family Engineering, PFE-5, Siena 4-6 November, 2003, to appear on LNCS Springer Verlag, 2004.