The SLCO Framework for Verified, Model-Driven Construction of Component Software.
Sander de PutterAnton WijsDan ZhangPublished in: FACS (2018)
Keyphrases
- model driven
- data driven
- model driven development
- service oriented
- model driven architecture
- software architecture
- metamodel
- real world
- development environments
- platform independent
- model driven engineering
- database
- transformation rules
- analysis tool
- probabilistic model
- information systems
- artificial intelligence
- databases
- data sets