Related Books

Larch: Languages and Tools for Formal Specification
Language: en
Pages: 266
Authors: John V. Guttag
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
Larch: Languages and Tools for Formal Specification
Language: en
Pages: 250
Authors: John V. Guttag
Categories: Mathematics
Type: BOOK - Published: 1993-03-05 - Publisher: Springer

DOWNLOAD EBOOK

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
ZUM '95: The Z Formal Specification Notation
Language: en
Pages: 596
Authors: Jonathan P. Bowen
Categories: Computers
Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca
Specification of Software Systems
Language: en
Pages: 436
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three ma
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