Formal specifications and proofs of inheritance protocols for real-time scheduling.
Michael PillingAlan BurnsKerry RaymondPublished in: Softw. Eng. J. (1990)
Keyphrases
- formal specification
- semantic data models
- protocol specification
- model checking
- object oriented design
- communication protocols
- specification languages
- object oriented
- conceptual modeling
- specification language
- object oriented data models
- functional dependencies
- concurrent systems
- process algebra
- programming language
- object oriented databases
- reverse engineering
- theorem proving
- knowledge base
- formal methods
- knowledge representation
- multiple inheritance
- theorem prover
- data modeling
- general purpose
- data model
- design methodology
- databases
- communication protocol
- software components
- query language