Prototyping distributed systems using an object-oriented specification language.
Abbas DehkhodaDoris L. CarverPublished in: RSP (1993)
Keyphrases
- distributed systems
- specification language
- description language
- programming language
- formal specification
- object oriented
- software architecture
- load balancing
- fault tolerance
- fault tolerant
- distributed computing
- geographically distributed
- development process
- distributed environment
- mobile agents
- real time systems
- concurrent systems
- software environment
- loosely coupled
- deadlock detection
- security policies
- software development environments
- general purpose
- knowledge management
- distributed database systems
- data warehouse
- model checking