Software Engineering with Obj: Algebraic Specification In Action
Joseph A. Goguen, Grant Malcolm · Medical Entomology and Zoology · 2010
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.