Algebraic Specification Techniques and Tools for Software Development

Algebraic Specification Techniques and Tools for Software Development
Author :
Publisher : World Scientific
Total Pages : 268
Release :
ISBN-10 : 9810212275
ISBN-13 : 9789810212278
Rating : 4/5 (278 Downloads)

Book Synopsis Algebraic Specification Techniques and Tools for Software Development by : Ingo Classen

Download or read book Algebraic Specification Techniques and Tools for Software Development written by Ingo Classen and published by World Scientific. This book was released on 1993 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Algebraic Specification Techniques and Tools for Software Development Related Books

Algebraic Specification Techniques and Tools for Software Development
Language: en
Pages: 268
Authors: Ingo Classen
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: World Scientific

DOWNLOAD EBOOK

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Algebraic Specifications in Software Engineering
Language: en
Pages: 362
Authors: Ivo Van Horebeek
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Man
Fundamentals of Algebraic Specification 1
Language: en
Pages: 333
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefull
Language Prototyping
Language: en
Pages: 375
Authors: Arie Deursen
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: World Scientific

DOWNLOAD EBOOK

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic