1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010).
Ina SchaeferMartin BeckerRalf CarbonSven ApelPublished in: SPLC (2010)
Keyphrases
- formal methods
- product line engineering
- product line
- software engineering
- safety critical
- development lifecycle
- software cost estimation
- software development
- formal analysis
- knowledge based systems
- software product line
- model checking
- artificial intelligence
- formal specification
- model checker
- process algebra
- modeling language
- software systems
- lessons learned
- reactive systems
- real world