Mathematical foundations of software engineering : a practical guide to essentials / Gerard O'Regan.
2023
QA76.9.M35
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Mathematical foundations of software engineering : a practical guide to essentials / Gerard O'Regan.
ISBN
9783031262128 (electronic bk.)
3031262123 (electronic bk.)
9783031262111
3031262115
3031262123 (electronic bk.)
9783031262111
3031262115
Published
Cham, Switzerland : Springer, 2023.
Language
English
Description
1 online resource (xxxvii, 519 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-26212-8 doi
Call Number
QA76.9.M35
Dewey Decimal Classification
005.101/51
Summary
This essential 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 an Assistant Professor in Mathematics at the University of Central Asia in Kyrgyzstan. His research interests include software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of several books in the Mathematics and Computing fields with Springer.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 10, 2023).
Series
Texts in computer science, 1868-095X
Available in Other Form
Print version: 9783031262111
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
1. Fundamentals of Software Engineering
2. Software Engineering Mathematics
3. Mathematical Prerequisites
4. Introduction to Algorithms
5
Algebra
6. Mathematical Induction and Recursion
7. Graph Theory
8. Sequences, Series and Permutations and Combinations
9. A Short History of Logic
10. Propositional and Predicate Logic
11. Advanced Topics in Logic
12. Language Theory and Semantics
13. Automata Theory
14. Computability and Decidability
15. Software Reliability and Dependability.
2. Software Engineering Mathematics
3. Mathematical Prerequisites
4. Introduction to Algorithms
5
Algebra
6. Mathematical Induction and Recursion
7. Graph Theory
8. Sequences, Series and Permutations and Combinations
9. A Short History of Logic
10. Propositional and Predicate Logic
11. Advanced Topics in Logic
12. Language Theory and Semantics
13. Automata Theory
14. Computability and Decidability
15. Software Reliability and Dependability.