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: 0
Pages: 0
Type: BOOK - Published: 2011-10-21 - Publisher: Springer
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: 634
Pages: 634
Type: BOOK - Published: 1999-08-19 - Publisher: Springer
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: 362
Pages: 362
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
"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
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