Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities.
Martin BeckerSören KemmannK. C. ShashidharPublished in: SPLC Workshops (2010)
Keyphrases
- formal methods
- safety critical
- product line engineering
- product line
- software cost estimation
- software engineering
- development lifecycle
- model checking
- formal analysis
- model checker
- artificial intelligence
- knowledge based systems
- formal specification
- software development
- lessons learned
- process algebra
- modeling language
- software systems
- cost estimation
- software product line
- reactive systems
- source code
- database
- security properties
- software architecture
- case study
- databases