Related Books

Rigorous Software Development
Language: en
Pages: 269
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 Metrics
Language: en
Pages: 638
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
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
Statistical Software Engineering
Language: en
Pages: 83
Authors: National Research Council
Categories: Computers
Type: BOOK - Published: 1996-03-15 - Publisher: National Academies Press

DOWNLOAD EBOOK

This book identifies challenges and opportunities in the development and implementation of software that contain significant statistical content. While emphasiz
Guide to the Software Engineering Body of Knowledge (Swebok(r))
Language: en
Pages: 348
Authors: IEEE Computer Society
Categories: Computer software
Type: BOOK - Published: 2014 - Publisher:

DOWNLOAD EBOOK

In the Guide to the Software Engineering Body of Knowledge (SWEBOK(R) Guide), the IEEE Computer Society establishes a baseline for the body of knowledge for the