Formal Development and Validation of Java Dependable Distributed Systems.
Giovanna Di Marzo SerugendoNicolas GuelfiAlexander B. RomanovskyAvelino F. ZorzoPublished in: ICECCS (1999)
Keyphrases
- distributed systems
- fault tolerant
- agent based systems
- fault tolerance
- geographically distributed
- load balancing
- development environment
- distributed environment
- data replication
- message passing
- software engineering
- distributed computing
- distributed database systems
- agent technology
- software development environments
- cross platform
- development process
- mobile agents
- source code
- mobile agent system
- security policies
- formal specification
- operating system
- case study
- mobile computing
- intelligent agents
- replicated data
- databases