Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As
"The first edition set a standard of excellence that has eluded all followers, and I have recommended it to my clients for years. The new edition is a gift to t
This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality o