Requirements on the Target Programming Language for High-Integrity MDE.
Alessandro ZoviTullio VardanegaPublished in: Ada-Europe (2009)
Keyphrases
- programming language
- object oriented
- general purpose
- strongly typed
- software engineering
- data abstraction
- object oriented programming
- programming environment
- high level
- logic programming
- database languages
- specification language
- denotational semantics
- high level programming language
- open source
- computer programs
- integrity constraints
- database language
- functional programming
- database design
- programming paradigms
- database systems
- database