Using First-Order logic for product line model validation

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

Volumn 2379, Issue , 2002, Pages 176-187

  Mannion, Mike ^a  

^a GLASGOW CALEDONIAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE;

COMPUTATIONAL ASPECTS; FIRST ORDER LOGIC; LOGICAL EXPRESSIONS; PRODUCT LINE MODEL; PRODUCT-LINES; WORKED EXAMPLES;

FORMAL LOGIC;

EID: 84974731079     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45652-x_11     Document Type: Conference Paper

References (8)

1. Cohen, S., Hess, J., Kang, K., Novak, W., and Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study, Special Report CMU/SEI-90-TR-21, Carnegie Mellon University (1990).
2. Jacobson, I., Griss, M., and Jonsson, P.: Software Reuse: Architecture, Process and Organization for Business Success, Addison-Wesley, ISBN 0-201-92476-5 (1997).
3. Organization Domain Modeling (ODM) Guidebook Version 2.0, STARS-VCA025/ 001/00, June 14 (1996), Electronic Systems Center, Air Force Systems Command, USAF, MA 01731-2816.
4. Bayer, J., Gacek, C., Muthig, D., Widen T., PuLSE-I: Deriving Instances From A Product Line Infrastructure, 7th IEEE International Conference on Engineering Conference on Computer-Based Systems, 3-7 April 2000, Edinburgh, ISBN 0-7695-0604-6.
5. Griss, M., Favaro, J., and d’Alessandro, M.: Integrating Feature Modelling with the RSEB, in Proc. of the IEEE Int’l Conf. on Software Reuse (ICSR5), Vancouver, June (1998) 76-85.
6. Coplien, J., Hoffman, D., and Weiss, D.: Commonality and Variability in Software Engineering, IEEE Software, 15, 6, November/December (1998) 37-45.
7. Mannion, M., Keepence, B., Kaindl, H., Wheadon, J.: Reusing Single System Requirements From Application Family Requirements, in Proc. of the 21st IEEE International Conference on Software Engineering (ICSE99), May (1999) 453-462.
8. Mannion, M., Lewis, O., Kaindl, H., Montroni, G., Wheadon, J., Representing Requirements of Generic Software in an Application Family Model, Lecture Notes in Computer Science (LNCS 1844), Software Reuse: Advances in Software Reusability, ed W Frakes, 6th Int’l Conference, ICSR-6, Vienna, Austria, 27-29 June 2000, ISSN 0302-9743, 153-169.