Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview.
Anton WijsPublished in: FACS (2023)
Keyphrases
- model driven
- formal verification
- software engineering
- model checking
- metamodel
- data driven
- software systems
- formal methods
- model checker
- service oriented
- development process
- model driven architecture
- artificial intelligence
- automated verification
- model driven development
- design patterns
- data integration
- bounded model checking
- symbolic model checking
- model driven engineering
- software development
- programming language
- object oriented
- reverse engineering
- requirements engineering
- software architecture
- development environments
- software projects
- data mining
- data sets
- software design
- database