Related Books

Rigorous Software Development
Language: en
Pages: 269

Rigorous Software Development

Authors: José Bacelar Almeida
Categories: Computers
Type: BOOK - Published: 2011-01-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by
Software Development
Language: en
Pages: 408

Software Development

Authors: Cliff B. Jones
Categories: Computer programming
Type: BOOK - Published: 1980 - Publisher: Prentice Hall

DOWNLOAD EBOOK

A course in software development practice ; problem based, with programs written in PL/I language.
Language Engineering and Rigorous Software Development
Language: en
Pages: 301

Language Engineering and Rigorous Software Development

Authors: Ana Bove
Categories: Computers
Type: BOOK - Published: 2009-07-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development:
Rigorous Software Engineering for Service-Oriented Systems
Language: en
Pages: 747

Rigorous Software Engineering for Service-Oriented Systems

Authors: Martin Wirsing
Categories: Computers
Type: BOOK - Published: 2011-05-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presen
Software Metrics
Language: en
Pages: 638

Software Metrics

Authors: Norman E. Fenton
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Course Technology Ptr

DOWNLOAD EBOOK

PART I: FUNDAMENTALS OF MEASUREMENT AND EXPERIMENTATION 1. Measurement: What Is It and Why Do It? 2. The Basics of Measurement 3. A Goal-Based Framework for Sof