Model-driven system-level validation and verification on the space software domain.
Aaron MontalvoPablo ParraOscar Rodríguez PoloAlberto CarrascoAntonio da SilvaAgustín Martínez-HellínSebastián SánchezPublished in: Softw. Syst. Model. (2022)
Keyphrases
- model driven
- platform independent
- data driven
- model driven development
- metamodel
- service oriented
- development environments
- model driven engineering
- software systems
- software development
- service oriented architecture
- domain specific
- data integration
- computer systems
- formal methods
- model driven architecture
- source code
- modeling language
- transformation rules
- software engineering
- search space
- cooperative
- artificial intelligence