Keynote Talk III: A formal methods perspective on product line engineering.
Paul ClementsPublished in: MEMOCODE (2015)
Keyphrases
- formal methods
- product line engineering
- software engineering
- formal analysis
- artificial intelligence
- software cost estimation
- knowledge based systems
- product line
- model checking
- formal specification
- safety critical
- model checker
- process algebra
- real world
- security properties
- reactive systems
- development lifecycle
- formal specification language
- software product line
- software development
- expert systems
- machine learning
- knowledge management
- open source
- natural language