Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Foundations of Algebraic Specifications and Formal Software Development
Authors: Donald Sannella ; Andrzej Tarlecki
Date: 2007
Publication Type:Other
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
author = { Donald Sannella and Andrzej Tarlecki },
title = {Foundations of Algebraic Specifications and Formal Software Development},
year = 2007,

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh