O'Regan, Gerard
Mathematical Approaches to Software Quality
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)
- O'Regan, Gerard
- Publisher
- Springer
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9781846284359
