Mathematical Approaches to Software Quality
- المؤلف
- Gerard O'Regan
- سنة النشر
- 2006
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
الكلمات المفتاحية: Computer science / Cleanroom / Dijkstra / Formal Methods / Hoare / Irish VDM / Logic / Mathematics / Software Engineering / Software Engineering Mathematics / Software Quality / Technology Transfer / UML / Unified Modeling Language (UML) / VDM / Modeling
