Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.
Howard BowmanJohn DerrickEd BrinksmaPublished in: IEEE Trans. Software Eng. (2000)
Keyphrases
- distributed systems
- formal methods
- object oriented
- software engineering
- fault tolerant
- model checking
- knowledge based systems
- fault tolerance
- distributed computing
- distributed environment
- formal specification
- virtual machine
- relational databases
- safety critical
- load balancing
- mobile agents
- reverse engineering
- distributed database systems
- artificial intelligence
- database applications
- query language
- data model
- geographically distributed
- software architecture
- operating system
- replicated data
- knowledge acquisition
- deadlock detection
- concurrent systems
- data replication
- security policies
- design patterns
- data warehousing