Deriving Relational Database Programs from Formal Specifications.
Roberto Souto Maior de BarrosPublished in: FME (1994)
Keyphrases
- formal specification
- relational databases
- object oriented design
- model checking
- specification languages
- databases
- concurrent systems
- specification language
- database
- reverse engineering
- formal methods
- process algebra
- object oriented
- normal form
- software components
- relational model
- database technology
- functional dependencies
- design methodology
- general purpose
- temporal logic
- relational data
- expert systems
- semantic data models
- formal specification language