A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems.
Howard BowmanPublished in: New Gener. Comput. (1998)
Keyphrases
- distributed systems
- formal methods
- object oriented
- formal specification language
- software engineering
- fault tolerant
- knowledge based systems
- formal specification
- load balancing
- fault tolerance
- temporal logic
- distributed environment
- artificial intelligence
- model checking
- object oriented database systems
- relational databases
- mobile agents
- geographically distributed
- data model
- software architecture
- data replication
- distributed computing
- query language
- real time systems
- concurrent systems
- safety critical
- distributed database systems
- modeling language
- database applications
- design patterns
- database design
- reverse engineering
- case study
- deadlock detection
- databases
- mobile agent system