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,
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.
Last updated 9 Dec 1994.
OSM Administrator (firstname.lastname@example.org)