Related Books
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
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: en
Pages: 626
Pages: 626
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 1989-12-28 - Publisher: Springer Science & Business Media
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for
Language: en
Pages: 428
Pages: 428
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As