Software Engineering with Obj: Algebraic Specification in Action Book

Preface. Introduction; J. Goguen, G. Malcolm. Part I: An Introduction to OBJ. 1. Introducing OBJ; J.A. Goguen, et al. Part II: OBJ Specifications. 2. Specifying in OBJ, Verifying in REVE and Some Ideas About Time; V. Stavridou. 3. Constructing a Graphics System with OBJ2: A Practical Guide; A.T. Nakagawa, K. Futatsugi. 4. Applications of OBJ to the Specification of Standards for Computer Graphics; D.A. Duce. Part III: Semantics in OBJ. 5. Semantic Specifications for the Rewrite Rule Machine; J.A. Goguen. 6. OBJ for OBJ; C. Kirchner, et al. 7. OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems; E. Battiston, et al. Part IV: Parameterized Programming. 8. A LOTOS Simulator in OBJ; K. Ohmaki, et al. 9. More Higher Order Programming in OBJ; J.A. Goguen, G. Malcolm. References. Index.