RealSpec: an Executable Specification Language for Modeling Resources.

Amir A. Khwaja Joseph E. Urban

Published in: SEKE (2008)

Keyphrases

specification language
formal specification
description language
programming language
model checking
real world
software environment
information systems
multi agent
knowledge based systems
autonomous agents
reverse engineering