Research Catalog

Software engineering with OBJ : : algebraic specification in action

Title
Software engineering with OBJ : : algebraic specification in action / edited by Joseph Goguen, Grant Malcolm.
Publication
Boston : Kluwer Academic, [2000], ©2000.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.758 .S65615 2000gOff-site

Holdings

Details

Additional Authors
  • Goguen, Joseph.
  • Malcolm, Grant.
Description
xxvi, 410 pages : illustrations; 25 cm.
Summary
  • "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 the 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."--BOOK JACKET.
Series Statement
Advances in formal methods, ADFM 2
Uniform Title
Advances in formal methods ; 2.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
Contents
Introduction / Joseph Goguen and Grant Malcolm -- 1. Introducing OBJ / Joseph A. Goguen, Timothy Winkler and Jose Meseguer / [et al.] -- 2. Specifying in OBJ, Verifying in REVE and Some Ideas About Time / Victoria Stavridou -- 3. Constructing a Graphics System with OBJ2: A Practical Guide / Ataru T. Nakagawa and Kokichi Futatsugi -- 4. Applications of OBJ to the Specification of Standards for Computer Graphics / David A. Duce -- 5. Semantic Specifications for the Rewrite Rule Machine / Joseph A. Goguen -- 6. OBJ for OBJ / Claude Kirchner, Helene Kirchner and Aristide Megrelis -- 7. OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems / E. Battiston, F. De Cindio and G. Mauri -- 8. A LOTOS Simulator in OBJ / Kazuhito Ohmaki, Koichi Takahashi and Kokichi Futatsugi -- 9. More Higher Order Programming in OBJ / Joseph A. Goguen and Grant Malcolm.
ISBN
0792377575 (alk. paper)
LCCN
00022759
OCLC
  • 43434739
  • ocm43434739
  • SCSB-3867692
Owning Institutions
Columbia University Libraries