Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.
Maurice H. ter BeekDave ClarkeIna SchaeferPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- special issue
- formal methods
- safety critical
- product line engineering
- product line
- development lifecycle
- international journal
- formal analysis
- software engineering
- ai edam
- applied intelligence
- model checking
- knowledge based systems
- formal specification
- reactive systems
- ecml pkdd
- software development
- formal specification language
- artificial intelligence
- modeling language
- international workshop
- software systems
- database
- expert systems
- web services
- databases