On the Formal Specification and Derivation of Relational Database Applications.
Roberto Souto Maior de BarrosPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- database applications
- formal specification
- object oriented
- databases
- database design
- database
- database technology
- object oriented design
- model checking
- specification languages
- database management systems
- relational databases
- reverse engineering
- relational model
- database server
- database systems
- data model
- process algebra
- database schema
- data access
- visual basic
- formal methods
- oracle database
- sql server
- database development
- software components
- application developers
- database access
- concurrent systems
- design methodology
- database programming
- programming language
- response time
- data integrity
- query language