Login / Signup
A toolset to support the construction and animation of formal specifications.
Ian C. Morrey
Jawed I. A. Siddiqi
Richard Hibberd
Graham Buckberry
Published in:
J. Syst. Softw. (1998)
Keyphrases
</>
formal specification
object oriented design
multi agent
general purpose
model checking
artificial intelligence
expert systems
end users
reverse engineering
specification languages