Overview
- Discusses essential mathematics for critical thinking and problem solving
- Considers mathematics to support engineering, telecommunications, and financial applications
- Reviews an array of software to support software engineers with carrying out mathematical computations
Part of the book series: Texts in Computer Science (TCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (32 chapters)
Keywords
About this book
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.
Authors and Affiliations
About the author
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.
Bibliographic Information
Book Title: Mathematical Foundations of Software Engineering
Book Subtitle: A Practical Guide to Essentials
Authors: Gerard O'Regan
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-3-031-26212-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-26211-1Published: 05 May 2023
Softcover ISBN: 978-3-031-26214-2Published: 06 May 2024
eBook ISBN: 978-3-031-26212-8Published: 04 May 2023
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XXXVII, 519
Number of Illustrations: 56 b/w illustrations, 96 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Probability and Statistics in Computer Science