Mohammad N. Paryavi

Learn More
OOSPEC is a model-based specification language and development system. If is intended as a small system for use in introducing formal specifications for undergraduates. OOSPEC combines features from several other specification and programming languages, particularly VDM , 2, Eiffel, Ada, and Smulltalk. The environment and implementation are based (loosely)(More)
  • 1