An Approach to Verifiable Compiling Specification and Prototyping.
Jonathan P. BowenJifeng HeParitosh K. PandyaPublished in: PLILP (1990)
Keyphrases
- development process
- sufficient conditions
- high level
- specification language
- code generation
- database systems
- bayesian networks
- formal specification
- design process
- user defined
- temporal ordering
- data sets
- rapid prototyping
- conceptual model
- relational databases
- data structure
- three dimensional
- case study
- artificial intelligence