Tool-supported verification of product line requirements

Automated Software Engineering

Volumn 12, Issue 4, 2005, Pages 447-465

  Padmanabhan, Prasanna ^a   Lutz, Robyn R ^b  

^a Citrix Systems Inc   (United States)

^b Iowa State University   (United States)

Author keywords

Consistency checking; Dependency constraints; Feature interaction resolution; Product family; Product line; Requirements verification; Variability

Indexed keywords

CONSISTENCY CHECKING; DEPENDENCY CONSTRAINTS; FEATURE-INTERACTION RESOLUTION; PRODUCT FAMILY; PRODUCT LINE;

AUTOMATA THEORY; DATABASE SYSTEMS; PRODUCT DEVELOPMENT; SERVERS; SOFTWARE ENGINEERING;

COMPUTER SCIENCE;

EID: 23744447499     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-005-2648-4     Document Type: Conference Paper

References (25)

1. Ardis, M., Daley, N., Hoffman, D., Siy, H., and Weiss, D. 2000. Software product lines: A case study. Software Practice and Experience, 825-847.
2. Ascension Technology Corporation, http://www.ascension-tech.com/
3. Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D. Paech, B., Wust, J., and Zettel, J. 2002. Component-Based Product Line Engineering with UML. London: Addison-Wesley.
4. Bass, L., Clements, P., Donohoe, P., McGregor, J., and Northrop, L. 1999. 4th Product Line Practice Workshop Report, CMU/SE1-2000-TR-002, Software Engineering Institute, CMU.
5. Bierbaum, A. 2000. VR Juggler: A virtual platform for virtual reality application development. MS Thesis, Iowa State University, Ames, IA.
6. Clements, P. and Northrop, L. 2002. Software Product Lines. Boston: Addison-Wesley.
7. Doerr, J. 2002. Requirements engineering for product lines: Guidelines for inspecting domain model relationships. Diploma thesis, University of Kaiserslautern.
8. Feather, M. S. 1998. Rapid application of lightweight formal methods for consistency analyses. IEEE Trans. Software Eng. 24:949-959.
9. Ghezzi, C., Jazayeri, M., and Mandrioli, D. 2003. Fundamentals of Software Engineering, 2nd ed. Upper Saddle River, NJ: Prentice-Hall.
10. Gomaa, H. 1995. Reusable software requirements and architectures for families of systems, Journal of Systems and Software, 28:189-202.
11. Griffeth, N.D. and Velthuijsen, H. 1994. The negotiating agents approach to runtime feature interaction resolution. In L.G. Bouma, and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, IOS Press: Amsterdam, pp. 217-235.
12. Homayoon, S., and Singh, H. 1988. Methods of addressing interaction of intelligent network services with embedded switch services. IEEE Communications Magazine, 26(12):42-70.
13. Jaring, M. and Bosch, J. 2002. Representing variability in software product lines: A case study. In G. Chastek, editors, Software Product Line Conf(SPLC2), LNC2379, Berlin Heidelberg: Springer Verlag, pp. 15-36.
14. Just, C., Bierbaum, A., Baker, A., and Cruz-Neira, C. 1998. VR Juggler: A framework for virtual reality development. 2nd Immersive Projection Technology Workshop, Ames, IA.
15. Lam, W. 1998. A case study of requirements through product families. Annals of Software. Engineering, 253-277.
16. Lee, K., Kang, K.C., Chae, W., and Choi, B.W. Feature-based approach to object-oriented engineering of applications for reuse. Software - Practice and Experience, 30:1025-1046.
17. Li, H., Krishnamurthi, S., and Fisler, K. 2002. Verifying cross-cutting features as open systems. 10th ACM SIGSOFT Symp. Foundations of Software Eng. Charleston, SC, pp. 89-98.
18. Lutz, R. 2000. Extending the product family approach to support safe reuse Journal of Systems and Software, 53:207-217.
19. Lutz, R. and Gannod, G. 2003. Analysis of a software product line architecture: an experience report. Journal of Systems and Software, 66:253-267.
20. Parnas, D. 1976. On the design and development of program families. IEEE Trans Software Eng, 2.
21. Padmanabhan, P. 2002. DECIMAL: A requirements engineering tool for product families. M.S. Thesis, Iowa State University, Ames, IA.
22. Padmanabhan, P. and Lutz, R. 2002. DECIMAL: A requirements engineering tool for product families. Int'l. Workshop Requirements Eng. For Product Lines (REPL'02), Essen, Germany, pp. 39-44.
23. VRCO TrackD http://www.vrco.com/products/trackd/trackd.html
24. Weiss, D. and Lai, C. 1999. Software Product Line Engineering: A Family-Based Software. Development Process. Reading, MS: Addison Wesley.
25. Zave, P. 2001. Requirements for evolving systems: A telecommunications perspective. In 5th Int'l Symp. Requirements Eng., pp. 2-9.