On Architectural Support for Behaviour Refinement in Distributed Systems Design.
Dick A. C. QuartelLuís Ferreira PiresMarten van SinderenPublished in: Trans. SDPS (2002)
Keyphrases
- geographically distributed
- distributed systems
- software architecture
- distributed computing
- message passing
- distributed environment
- fault tolerant
- fault tolerance
- software development environments
- operating system
- case study
- high assurance
- design process
- distributed database systems
- replicated data
- user interface
- mobile computing
- loosely coupled
- real time systems
- artificial intelligence
- architectural design
- knowledge management
- design tools
- concurrent systems
- database