A Formal Specification of dMARS.

Mark d'Inverno David Kinny Michael Luck Michael J. Wooldridge

Published in: ATAL (1997)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
concurrent systems
reverse engineering
process algebra
data abstraction
formal methods
database systems
information technology
temporal logic
information systems
cooperative