First International Workshop on Formal Methods in Software Product Line Engineering.
Ina SchaeferRalf CarbonPublished in: SPLC Workshops (2010)
Keyphrases
- formal methods
- product line engineering
- product line
- software engineering
- safety critical
- development lifecycle
- formal analysis
- model checking
- formal specification
- software development
- modeling language
- knowledge based systems
- model checker
- artificial intelligence
- process algebra
- software product line
- formal specification language
- security properties
- software systems
- software projects
- software architecture
- reactive systems
- user interface
- multi agent systems
- data mining