Theorem proving for product line model verification

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

Volumn 3014, Issue , 2004, Pages 211-224

  Mannion, Mike ^a   Camara, Javier ^a  

^a GLASGOW CALEDONIAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

THEOREM PROVING;

COMPUTATIONAL ASPECTS; LOGICAL EXPRESSIONS; PRODUCT LINE MODEL; PRODUCT-LINES;

COMPUTATION THEORY;

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

References (11)

1. Clements, P., Northrop, L., Software Product Line: Practices and Patterns, Addison-Wesley, 2002.
2. Cohen, S., Hess, J., Kang, K., Novak, W., and Peterson, A.: Requirement-Oriented Domain Analysis (FODA) Feasibility Study, Special Report CMU/SEI-90-TR-21, Carnegie Mellon University (1990).
3. Jacobson, I., Griss, M., and Jonsson, P.: Software Reuse: Architecture, Process and Organisation for Business Success, Addison-Wesley, ISBN 0-201-92476-5 (1997).
4. Organisation Domain Modelling (ODM) Guidebook Version 2.0, STARS-VC-A025/001/00, June 14 (1996), Electronic Systems Center, Air Force Systems Command, USAF, MA 01731-2816.
5. th IEEE International Conference on Engineering Conference on Computer-Based Systems, 3-7 April 2000, Edinburgh, ISBN 0-7695-0604-6.
6. Kang, K., Feature Oriented Reuse Method, IEEE Software, July-August 2002.
7. st IEEE International Conference on Software Engineering (ICSE99), May (1999) 453Œ462.
8. th Int'l Conference, ICSR-6, Vienna, Austria, 27-29 June 2000, ISSN 0302-9743, pp. 153-169.
9. Mannion, M., Product Line Model Validation, Proceedings of 3nd Software Product Line Conference, San Diego, August 2002.
10. st May 1999.
11. th Australian Workshop on Requirements Engineering, Deakin University, Melbourne, Australia, 2-3 December 2002.