Formal Specification

Formal Specification

Investigate formal specification in OSM. We claim we are able to produce formal specifications in OSM because we have a formal foundation for OSM and because we have a formal specification language OSS-L for formalizing informal triggers, actions, constraints, and interactions. To what extent does this claim hold up under scrutiny? Also, how do OSM formal specifications compare to other formal specifications? See, Strategies for Incorporating Formal Specifications in Software Development by Fraser, Kumar, and Vaishnavi in Communications of the ACM, October 1994. And, how easy is it for OSM users to produce formal specifications and what help can we give them?

For more information, contact Dr. David W. Embley.


CS Dept Home Page  BYU Home Page  OSM Home Page
Last updated 9 Dec 1994.
OSM Administrator (osm@osm7.cs.byu.edu)