Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.
Job ZwiersUlrich HannemannYassine LakhnechWillem P. de RoeverPublished in: FSTTCS (1995)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- agent based systems
- distributed computing
- fault tolerance
- geographically distributed
- message passing
- development process
- software engineering
- mobile agents
- case study
- concurrent systems
- operating system
- real time systems
- data replication
- attention mechanism
- project management
- knowledge management
- mobile computing
- loosely coupled
- response time
- replicated data
- figure ground segmentation
- software development environments