Software Engineering with OBJ: Algebraic Specification in Action / Edition 1
  • Alternative view 1 of Software Engineering with OBJ: Algebraic Specification in Action / Edition 1
  • Alternative view 2 of Software Engineering with OBJ: Algebraic Specification in Action / Edition 1

Software Engineering with OBJ: Algebraic Specification in Action / Edition 1

4.0 1
by Joseph A. Goguen
     
 

View All Available Formats & Editions

ISBN-10: 0792377575

ISBN-13: 9780792377573

Pub. Date: 04/30/2000

Publisher: Springer US

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic spec ification system. As a formal specification language, OBJ makes specif ications and designs more precise and easier to read, as well as makin g maintenance easier and more accurate. OBJ differs from most other sp

Overview

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic spec ification system. As a formal specification language, OBJ makes specif ications and designs more precise and easier to read, as well as makin g maintenance easier and more accurate. OBJ differs from most other sp ecification languages not just in having a formal semantics, but in be ing executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifica tions is that they are often wrong. OBJ can help validate specificatio ns by executing test cases, and by proving properties.

Product Details

ISBN-13:
9780792377573
Publisher:
Springer US
Publication date:
04/30/2000
Series:
Advances in Formal Methods Series, #2
Edition description:
2000
Pages:
410
Product dimensions:
9.21(w) x 6.14(h) x 1.00(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >