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
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:
Software Development
Language: en
Pages: 408

Software Development

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

DOWNLOAD EBOOK

A course in software development practice ; problem based, with programs written in PL/I language.
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
Logic, Computation and Rigorous Methods
Language: en
Pages: 367

Logic, Computation and Rigorous Methods

Authors: Alexander Raschke
Categories: Computers
Type: BOOK - Published: 2021-06-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author