Integrating Model Driven and Model Checking to Mine Design Patterns.
Mario Luca BernardiMarta CimitileGiuseppe De RuvoGiuseppe A. Di LuccaAntonella SantonePublished in: ICSOFT (Selected Papers) (2015)
Keyphrases
- design patterns
- model checking
- model driven
- metamodel
- temporal logic
- formal verification
- object oriented
- software engineering
- temporal properties
- model checker
- data driven
- service oriented
- computation tree logic
- formal specification
- software systems
- bounded model checking
- automated verification
- software architecture
- modeling language
- software design
- epistemic logic
- symbolic model checking
- process model
- timed automata
- verification method
- transition systems
- linear temporal logic
- machine learning
- formal methods
- data integration
- development process
- alternating time temporal logic
- relational databases
- decision making
- database