Related Books

Programming from Specifications
Language: en
Pages: 360
Authors: Carroll Morgan
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a
Programming with Specifications
Language: en
Pages: 433
Authors: David Luckham
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifica
An Introduction to Programming with Specifications
Language: en
Pages: 281
Authors: Bozzano G Luisa
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: Academic Press

DOWNLOAD EBOOK

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which und
Specification by Example
Language: en
Pages: 346
Authors: Gojko Adzic
Categories: Computers
Type: BOOK - Published: 2011-06-02 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stak
Mining Software Specifications
Language: en
Pages: 460
Authors: David Lo
Categories: Computers
Type: BOOK - Published: 2011-05-24 - Publisher: CRC Press

DOWNLOAD EBOOK

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions