Formal Specification of Software Product Lines: A Graph Transformation Based Approach.
Khaled KhalfaouiAllaoua ChaouiCherif FoudilElhillali KerkouchePublished in: J. Softw. (2012)
Keyphrases
- formal specification
- graph transformation
- software product line
- model checking
- specification languages
- software engineering
- goal driven
- product line
- specification language
- reverse engineering
- object oriented design
- future directions
- adult literacy
- software development
- formal methods
- process algebra
- learning methodologies
- life cycle
- concurrent systems
- software components
- learning strategies
- artificial intelligence
- business rules
- temporal logic