Mathematical Foundations of Software Engineering: A Practical Guide to Essentials - Couverture souple

O'Regan, Gerard

Couverture souple

ISBN 10 : 3031262131 ISBN 13 : 9783031262135

Editeur : Springer, 2023

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2023
• Langue: anglais
• ISBN 10: 3031262131
• ISBN 13: 9783031262135
• Reliure: Broché
• Coordonnées du fabricant: KINESIS; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Allemagne