Login / Signup
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
Richard F. Paige
Liliya Kaminskaya
Jonathan S. Ostroff
Jason Lancaric
Published in:
J. Object Technol. (2002)
Keyphrases
</>
formal specification
cooperative
information systems
information technology
user interface
fuzzy logic
legal cases