Using Diagrams to Give a Formal Specification of Timing Constraints in Z.
Andrew Charles CoombesJohn Alexander McDermidPublished in: Z User Workshop (1992)
Keyphrases
- formal specification
- timing constraints
- real time databases
- real time systems
- real time database systems
- embedded devices
- active databases
- execution model
- concurrency control
- model checking
- real time
- reverse engineering
- resource constraints
- security requirements
- transaction processing
- software components
- database systems
- distributed database systems
- distributed databases
- production system
- distributed systems
- case study
- web services
- information systems
- databases