Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems.
Paul HennesseyMohamed T. IbrahimAlexander M. FedorecPublished in: DEXA (1996)
Keyphrases
- object oriented design
- formal specification
- specification language
- database systems
- data abstraction
- model checking
- formal specification language
- specification languages
- process algebra
- reverse engineering
- concurrent systems
- design methodologies
- protocol specification
- query optimization
- software design
- formal methods
- database management systems
- temporal logic
- databases
- object oriented
- expert systems
- object oriented systems
- software components
- fine grained
- access control
- information technology
- case study
- information systems
- machine learning