相關主題
商品描述
This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications.
Topics and features:
- Addresses core mathematics for critical thinking and problem solving
- Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.
- Examines number theory and its applications to cryptography
- Considers the underlying mathematics of error-correcting codes
- Discusses graph theory and its applications to modelling networks
- Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking
- Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research
- Discusses software reliability and dependability and explains formal methods used to derive a program from its specification
- Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics
- Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary
This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.
商品描述(中文翻譯)
這本教科書介紹了軟體工程的數學基礎。它展示了數學在錯誤修正碼、密碼學、安全與保安關鍵領域、銀行和保險領域以及傳統工程應用中的豐富應用。
主題和特點:
- 探討核心數學以培養批判思維和解決問題的能力
- 討論命題邏輯和謂詞邏輯以及各種證明技巧，以證明邏輯論證的正確性
- 研究數論及其在密碼學中的應用
- 考慮錯誤修正碼的基礎數學
- 討論圖論及其在建模網絡中的應用
- 回顧支持軟體工程數學的工具，包括自動化和互動式定理證明器和模型檢查器
- 討論金融軟體工程，包括簡單和複利利息、概率和統計以及運營研究
- 討論軟體可靠性和可信性，並解釋從規格推導程序所使用的形式方法
- 討論微積分、矩陣、向量、複數和四元數，以及在圖形和機器人技術中的應用
- 每章包含重要學習主題、摘要和複習問題，以及有用的詞彙表
這本實用且易於理解的教科書/參考書非常適合計算機科學學生，他們希望了解數學如何幫助他們按時按預算建立高質量和可靠的軟體。該書也是軟體工程師、質量專業人員和軟體經理的優秀自學入門書。
作者簡介
Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.
作者簡介(中文翻譯)
「Dr. Gerard O'Regan」是一位CMMI軟體流程改善顧問，他的研究興趣包括軟體品質和軟體流程改善、軟體品質的數學方法以及計算機歷史。他是Springer出版社的作品《計算機歷史導論》、《計算機基石》、《軟體品質導論》、《計算機巨人》和《計算機中的數學》的作者。
