A Formal Specification Framework for Object-Oriented Distributed Systems.
Didier BuchsNicolas GuelfiPublished in: IEEE Trans. Software Eng. (2000)
Keyphrases
- distributed systems
- formal specification
- object oriented
- fault tolerant
- concurrent systems
- load balancing
- specification language
- fault tolerance
- specification languages
- object oriented design
- reverse engineering
- software architecture
- mobile agents
- distributed database systems
- model checking
- formal methods
- real time systems
- geographically distributed
- replicated data
- process algebra
- databases