Login / Signup

A toolset to support the construction and animation of formal specifications.

Ian C. MorreyJawed I. A. SiddiqiRichard HibberdGraham 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