Skip to main content
SpringerLink
Log in

Software Engineering with OBJ

Algebraic Specification in Action

  • Book
  • © 2000

Overview

Editors:
  1. Joseph Goguen

    1. University of California at San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grant Malcolm

    1. University of Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Advances in Formal Methods (ADFM, volume 2)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xxvi
    Download chapter PDF

  2. An Introduction to OBJ

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introducing OBJ

      • Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
      Pages 3-167

  3. OBJ Specifications

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Specifying in OBJ, Verifying in REVE and Some Ideas about Time

      • Victoria Stavridou
      Pages 171-191

    3. Constructing a Graphics System with OBJ2: A Practical Guide

      • Ataru T. Nakagawa, Kokichi Futatsugi
      Pages 193-247

    4. Applications of OBJ to the Specification of Standards for Computer Graphics

      • David A. Duce
      Pages 249-279

  4. Semantics in OBJ

    1. Front Matter

      Pages 281-281
      Download chapter PDF

    2. Semantic Specifications for the Rewrite Rule Machine

      • Joseph A. Goguen
      Pages 283-306

    3. OBJ for OBJ

      • Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
      Pages 307-330

    4. OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems

      • E. Battiston, F. De Cindio, G. Mauri
      Pages 331-360

  5. Parameterized Programming

    1. Front Matter

      Pages 361-361
      Download chapter PDF

    2. A LOTOS Simulator in OBJ

      • Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
      Pages 363-395

    3. More Higher Order Programming in OBJ

      • Joseph A. Goguen, Grant Malcolm
      Pages 397-408

  6. Back Matter

    Pages 409-410
    Download chapter PDF
Back to top

Keywords

About this book

Software Engineering with OBJ: Algebraic Specification in Action is 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. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties.
As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way.
Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.

Editors and Affiliations

  • University of California at San Diego, USA

    Joseph Goguen

  • University of Liverpool, UK

    Grant Malcolm

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation