The Incremental Development of Correct Specifications for Distributed Systems.
Stephan KleukerHermann TjabbenPublished in: FME (1996)
Keyphrases
- distributed systems
- concurrent systems
- agent based systems
- fault tolerance
- fault tolerant
- load balancing
- distributed environment
- geographically distributed
- distributed computing
- data replication
- message passing
- software development environments
- loosely coupled
- development process
- distributed database systems
- software engineering
- operating system
- mobile computing
- real time systems
- learning technology standards
- software architecture
- software development
- knowledge management
- case study
- web services
- databases
- real time