Automatic Implementation of Distributed Systems Formal Specifications.
Antônio Carlos Lima de SantanaLuiz Henrique Castelo BrancoAntônio Francisco do PradoWanderley Lopes de SouzaMarcelo Sant'AnnaPublished in: PDPTA (1999)
Keyphrases
- distributed systems
- concurrent systems
- formal specification
- specification language
- fault tolerant
- load balancing
- distributed environment
- fault tolerance
- specification languages
- operating system
- formal specification language
- distributed computing
- geographically distributed
- object oriented design
- deadlock detection
- distributed database systems
- formal methods
- loosely coupled
- mobile agents
- design methodology
- data replication
- protocol specification
- artificial intelligence
- software components
- model checking
- real time systems
- databases
- data management
- agent based systems
- reverse engineering