The Specification Language of OBSCURE.

Thomas Lehmann Jacques Loeckx

Published in: ADT (1987)

Keyphrases

specification language
formal specification
programming language
description language
requirements specification
software environment
symbolic execution
artificial intelligence
high level
search algorithm
real world
object oriented
dynamic environments
reverse engineering