Towards a Formal Specification for the AgentComponent.

Philipp Meier Martin Wirsing

Published in: Objects, Agents, and Features (2003)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
concurrent systems
formal methods
reverse engineering
process algebra
data abstraction
software components
model checker
temporal logic
design methodologies
cooperative
formal specification language