Formal Methods in Software Product Line Engineering.
Ina SchaeferReiner HähnlePublished in: Computer (2011)
Keyphrases
- formal methods
- product line engineering
- product line
- safety critical
- software engineering
- formal analysis
- development lifecycle
- knowledge based systems
- model checking
- model checker
- software development
- artificial intelligence
- process algebra
- formal specification
- modeling language
- formal specification language
- security properties
- reactive systems
- software components
- software cost estimation
- agent architecture
- software architecture
- high level