DisCo specification language: marriage of actions and objects.

H.-M. Järvinen Reino Kurki-Suonio

Published in: ICDCS (1991)

Keyphrases

specification language
description language
programming language
formal specification
situation calculus
databases
real world
moving objects
d objects
software systems
heuristic search
requirements specification