A Meta-Model for the Isabelle API.
Frédéric TuongBurkhart WolffPublished in: Arch. Formal Proofs (2015)
Keyphrases
- metamodel
- theorem prover
- model driven
- life cycle
- modeling language
- data model
- reference model
- software systems
- development process
- black box
- application programming interface
- source code
- transformation rules
- uml profile
- meta learning
- open source
- mashup
- design patterns
- application developers
- high level
- natural deduction
- development processes
- model driven architecture
- cooperative
- platform independent
- machine learning
- database