Foreword to the Special Issue on Formal Methods for Software Product Line Engineering.
Don S. BatoryPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- special issue
- formal methods
- product line
- product line engineering
- safety critical
- software engineering
- model checking
- development lifecycle
- knowledge based systems
- ai edam
- ecml pkdd
- applied intelligence
- formal specification
- formal analysis
- modeling language
- international journal
- software product line
- temporal logic
- formal specification language
- database
- reactive systems
- software development
- software architecture
- software systems
- high level
- artificial intelligence