OASIS: An Object-Oriented Specification Language.

Oscar Pastor Fiona Hayes Stephen Bear

Published in: CAiSE (1992)

Keyphrases

specification language
programming language
object oriented
formal specification
description language
symbolic execution
software environment
requirements specification
user interface
general purpose
machine learning
case study