Formal specification of a persistent object management system.
J. MurphyJ. GrimsonPublished in: Inf. Softw. Technol. (1993)
Keyphrases
- formal specification
- persistent object
- management system
- database management systems
- specification languages
- object oriented database management systems
- specification language
- model checking
- object oriented design
- process algebra
- reverse engineering
- formal methods
- database applications
- database technology
- concurrent systems
- protocol specification
- software components
- low overhead
- relational database management systems
- relational database systems
- data management systems
- application server
- object oriented databases
- database management
- temporal logic
- fine grained
- multi agent systems
- databases