- Abstract:
-
This is a monograph which presents mathematical foundations for formal software specification and development. It concentrates on developing basic concepts and studying their fundamental properties rather than on demonstrating how these are to be used in the practice of software construction which we regard as a very important but necessarily separate topic. As reflected in the title of the book, our primary motivation is the specification and development of software although many of the topics we discuss are applicable to hardware systems as well.
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0563,
- author = {
Donald Sannella
and Andrzej Tarlecki
},
- title = {Foundations of Algebraic Specifications and Formal Software Development},
- year = 2007,
- }
|