Towards automated consistency checks of product line requirements specifications.
Kim LauenrothKlaus PohlPublished in: ASE (2007)
Keyphrases
- product line
- consistency checks
- software product line
- functional requirements
- software architecture
- software development
- written in natural language
- automated tools
- product lines
- software engineering
- semi automated
- software requirements
- fully automated
- development process
- automated analysis
- software systems
- requirements specification
- databases
- user requirements
- formal specification
- design requirements
- high level
- case study
- real world