Software Engineering with OBJ Algebraic Specification in Action / edited by Joseph A. Goguen, Grant Malcolm.
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier...
Full description
Saved in: