Related Books

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
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
Algebraic Specification Techniques in Object Oriented Programming Environments
Language: en
Pages: 228
Authors: Ruth Breu
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Springer Verlag

DOWNLOAD EBOOK

"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The des
Algebraic Foundations of Systems Specification
Language: en
Pages: 626
Authors: Egidio Astesiano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su
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