› › Mathematical Foundations Of Software Engineering

Mathematical Foundations of Software Engineering

Author : Gerard O'Regan

Publisher : Springer Nature

Page : 538 pages

File Size : 22,52 MB

Release : 2023-05-04

Category : Computers

ISBN : 3031262123

Get eBook

Book Description

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.



Foundations of Algebraic Specification and Formal Software Development

Author : Donald Sannella

Publisher : Springer Science & Business Media

Page : 594 pages

File Size : 18,49 MB

Release : 2012-01-05

Category : Computers

ISBN : 3642173365

Get eBook

Book Description

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.



Software Engineering Foundations

Author : Yingxu Wang

Publisher : CRC Press

Page : 1488 pages

File Size : 37,68 MB

Release : 2007-08-09

Category : Computers

ISBN : 0203496094

Get eBook

Book Description

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying theories from philosophy, cognitive informatics, denota





Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of His 70th Birthday and Retirement

Author : Nazareno Aguirre

Publisher :

Page : 0 pages

File Size : 50,10 MB

Release : 2022-05-30

Category :

ISBN : 9781848903999

Get eBook

Book Description

This Festschrift is dedicated to Tom Maibaum on the occasion of his 70th birthday and on the occasion of his retirement. The Festschrift is also a follow up to the International Symposium on the Mathematics of Software Engineering organized by the Department of Computing of the University of Rio Cuarto, in February 2019. The Festschrift contains contributions by Tom's former students, colleagues, and friends. These contributions address research questions and problems in the general area of Formal Methods for Software Engineering - an area which Tom has spent most of his academic life working on. There are many reasons for publishing a Festschrift. Tom's academic merits alone would suffice for publishing this one. This Festschrift is also a token of appreciation. We wanted to make use of the opportunity to thank Tom for the impact he has had in the academic careers of many of his colleagues and collaborators, and especially in those of his former students.





Software Engineering Mathematics

Author : Jim Woodcock

Publisher : Addison Wesley Publishing Company

Page : 296 pages

File Size : 46,89 MB

Release : 1989

Category : Computers

ISBN :

Get eBook

Book Description





MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Second Edition

Author : BATHUL, SHAHNAZ

Publisher : PHI Learning Pvt. Ltd.

Page : 481 pages

File Size : 40,18 MB

Release : 2015-10-31

Category : Science

ISBN : 8120351290

Get eBook

Book Description

This book, in its Second Edition, provides the basic concepts and applications of discrete mathematics and graph theory. The book is aimed at undergraduate students of computer science and engineering, and information technology. It is also suitable for undergraduate and postgraduate students of computer science, mathematics and computer applications. The book exposes the students to fundamental knowledge in: - Mathematical logic, tautology and normal forms - Elementary set theory, functions and their relations - Algebraic structure, binary operation, group theory and homomorphism - Theory of permutations and combinations, binomial and multinomial theorems - Recurrence relations and methods of solving them - Graph theory, spanning tree, Eulerian and Hamiltonian circuits and isomorphism Key Features Includes a large number of worked-out problems for sound understanding of the concepts. Offers chapter-end exercises to test students’ comprehension of theory. Gives a quiz section at the end of each chapter to help students prepare for the competitive examinations. Incorporates short questions asked in universities’ examinations.



Mathematical Foundation of Computer Science

Author : Y. N. Singh

Publisher : New Age International

Page : 24 pages

File Size : 13,3 MB

Release : 2005

Category : Mathematics

ISBN : 8122416675

Get eBook

Book Description

The Interesting Feature Of This Book Is Its Organization And Structure. That Consists Of Systematizing Of The Definitions, Methods, And Results That Something Resembling A Theory. Simplicity, Clarity, And Precision Of Mathematical Language Makes Theoretical Topics More Appealing To The Readers Who Are Of Mathematical Or Non-Mathematical Background. For Quick References And Immediate Attentions3⁄4Concepts And Definitions, Methods And Theorems, And Key Notes Are Presented Through Highlighted Points From Beginning To End. Whenever, Necessary And Probable A Visual Approach Of Presentation Is Used. The Amalgamation Of Text And Figures Make Mathematical Rigors Easier To Understand. Each Chapter Begins With The Detailed Contents, Which Are Discussed Inside The Chapter And Conclude With A Summary Of The Material Covered In The Chapter. Summary Provides A Brief Overview Of All The Topics Covered In The Chapter. To Demonstrate The Principles Better, The Applicability Of The Concepts Discussed In Each Topic Are Illustrated By Several Examples Followed By The Practice Sets Or Exercises.