My Wish Lists Login / Join

Algebraic Specification Techniques And Tools For Software Development : The Act Approach - Ingo Claβen

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 Claβen, Hartmut Ehrig, Dietmav 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

$84.75

30%OFF

or 4 interest-free payments of $21.19 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

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

The Year in Tech, 2027

The Insights You Need from Harvard Business Review

HBR's 10 Must Reads 2027

The Definitive Management Ideas of the Year from Harvard Business Review (featuring 'The Hidden Beliefs That Hold Leaders Back' by Muriel M. Wilkins)

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

Claude For Dummies

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

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

Empire of AI

Inside the reckless race for total domination

The Reverse Centaur's Guide to Life After AI

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

Co-Existence

The Next Phase of AI

The New Rules of AI Search

SEO for visibility in ChatGPT, Google Gemini and Generative Search

Co-Intelligence

Living and Working with AI

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Medium Hot

Images in the Age of Heat

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Large Language Models for Linguists

Building Culturally Sensitive AI

AI, Machine Learning, and Blockchain for Next-Generation Spectrum Management

Optimizing Decision-Making in Engineering

A Journey Mapping Perspective

China's Normative Power in Cyberspace

The Contested Making of Global Digital Governance

The Transformative Power of Deliberative Democracy in East Asia

East Asia: History, Politics, Sociology and Culture

Privacy in the Age of Social Media

Beyond the Like

Believe! The Winning Mindset for Project Managers

Data-Driven IoT Ecosystems

Integrating Device, Edge, and Cloud Paradigms

Dynamics of Marine Structures

AI for Public Relations

A How-To Guide for Implementation and Management

This product is categorised by