My Wish Lists Login / Join

Software Engineering with OBJ

Algebraic Specification in Action

By: Joseph A. Goguen (Editor), Grant Malcolm (Editor)

Write A Review

Hardcover | 30 April 2000

At a Glance

Hardcover
444 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Medicine Medicine in General Software Engineering Computer Science Artificial Intelligence

Preface
Introduction
An Introduction to OBJ
Introducing OBJ
OBJ Specifications
Specifying in OBJ, Verifying in REVE and Some Ideas About Time
Constructing a Graphics System with OBJ2: A Practical Guide
Applications of OBJ to the Specification of Standards for Computer Graphics
Semantics in OBJ
Semantic Specifications for the Rewrite Rule Machine
OBJ for OBJ
OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems
Parameterized Programming
A LOTOS Simulator in OBJ
More Higher Order Programming in OBJ
References
Index
Table of Contents provided by Publisher. All Rights Reserved.

Software Engineering with OBJ

Algebraic Specification in Action

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Cognitive Cloud Computing

Building Intelligent Systems for Tomorrow

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

This product is categorised by