Algebraic Specification Techniques And Tools For Software Development : The Act Approach - Ingo Claben

Instant online reading.
Don't wait for delivery!
Go digital and save!

Algebraic Specification Techniques And Tools For Software Development

The Act Approach

By: Ingo Claben, Hartmut Ehrig, Dietmar Wolz

Write A Review

Hardcover | 1 November 1993

At a Glance

Hardcover
256 Pages

Dimensions(cm)
22.23 x 15.88 x 1.91

Hardcover

RRP $120.99

$108.99

10%OFF

or 4 interest-free payments of $27.25 with

Ships in 15 to 25 business days

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

Industry Reviews

"The book is well written and informative ..." Markus Wolf Computing Reviews

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 Software Engineering Computer Science Mathematical Theory of Computation Booktopia Publisher Services World Scientific Publishing

Foreword
Preface
Introduction
Algebraic Specification as Formal Method for Software Development	p. 1
General Aspects of Software Development	p. 1
Basic Algebraic Specification Concepts of the ACT Approach	p. 8
Software Development Methodology of the ACT Approach	p. 14
ACT ONE - A Language for Parameterized Specifications	p. 23
Basic Language Units	p. 25
Structuring Mechanisms	p. 40
Language Description	p. 47
Case Study: Syntax Directed Editor	p. 61
Algebraic Specification of Modular Systems	p. 101
Modularity of Software Systems	p. 102
Algebraic Module and Language Concepts	p. 110
Modular Design of a Material Requirements Planning System	p. 114
The ACT Environment	p. 129
Syntax and Static Semantics Checker	p. 131
User Interface for Prototyping	p. 133
Evaluation of Terms and Goals by LANAM	p. 145
Termination, Completeness and Consistency Checker	p. 163
Formal Notions of Algebraic Specifications	p. 177
Algebraic Specifications	p. 178
Parameterized Specifications	p. 183
Module Specifications	p. 186
Operational Semantics for Conditional Equations	p. 193
User Manuals for Tool Support	p. 197
Syntax and Static Semantics Checker	p. 197
User Interface for Prototyping	p. 199
GVT - Graphical Visualization of Terms	p. 211
Bibliography	p. 221
Subject Index	p. 231
Table of Contents provided by Blackwell. All Rights Reserved.

Algebraic Specification Techniques And Tools For Software Development

The Act Approach

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Co-Intelligence

Living and Working with AI

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Modeling of the Whole Lifecycle Dioxins for Municipal Solid Waste Incineration

Numerical Simulation and AI-Driven Method

Game AI Uncovered Focus

Character AI

Game AI Uncovered Focus

Character AI

Organizing for Cyber Power

Offensive Cyberspace Operations and National Security

NextGen Strategies and Tools

Pioneering Innovations in Agriculture

WORLDING

A Guide for Creators in Changing Times

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Dynamics of Marine Structures

Stochastic Control in Energy, Environmental and Resource Management Applications

Emerging Methodologies and Applications in Modelling, Identification and Control

Artificially Yours

Real Friendship in a World of Chatbots

Emissaries Guide to Worlding

AI for Public Relations

A How-To Guide for Implementation and Management

This product is categorised by