Online Library TheLib.net » Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
cover of the book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Ebook: Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Author: Gerard O'Regan

00
16.02.2024
0
0

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.

Download the book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen