Recommendations for improving the usability of formal methods for product lines.
Joanne M. AtleeSandy BeiduNancy A. DayFathiyeh FaghihPourya ShakerPublished in: FormaliSE@ICSE (2013)
Keyphrases
- formal methods
- product lines
- development lifecycle
- product line
- software engineering
- formal analysis
- knowledge based systems
- formal specification
- software product line
- software development
- recommender systems
- artificial intelligence
- software systems
- model checker
- safety critical
- process algebra
- model checking
- modeling language
- security properties
- future directions
- building blocks
- case study