O'Regan, Gerard
Mathematical Approaches to Software Quality
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
Nyckelord: COMPUTERS / Computer Science COM014000
- Författare
- O'Regan, Gerard
- Utgivare
- Springer
- Utgivningsår
- 2006
- Språk
- en
- Utgåva
- 1
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9781846284359