Login

O'Regan, Gerard

Mathematical Approaches to Software Quality

O'Regan, Gerard - Mathematical Approaches to Software Quality, ebook

93,00€

Ebook, PDF with Adobe DRM
ISBN: 9781846284359
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
2. Software Engineering Mathematics
3. Logic for Software Engineering
4. Z Specification Language
5. Vienna Development Method
6. Irish School of VDM
7. Dijkstra and Hoare
8. The Parnas Way
9. Cleanroom and Software Reliability
10. Unified Modeling Language
11. Technology Transfer

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781846284359

Similar titles