Software Engineering With Obj

This text provides a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes speci... » 

This text provides 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 and more accurate. «