Design Verification for Product Line Development
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 150-161
- https://doi.org/10.1007/11554844_18
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- SEI's software product line tenetsIEEE Software, 2002
- Model Checking UML State Machines and CollaborationsElectronic Notes in Theoretical Computer Science, 2001
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Feature-Oriented Domain Analysis (FODA) Feasibility StudyPublished by Defense Technical Information Center (DTIC) ,1990