Mathematical Approaches to Software Quality PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Mathematical Approaches to Software Quality PDF full book. Access full book title Mathematical Approaches to Software Quality by Gerard O'Regan. Download full books in PDF and EPUB format.
Mathematical Approaches to Software Quality PDF Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 9781846282423
Category : Computers
Languages : en
Pages : 256

Book Description
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.

Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality PDF Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 9781846282423
Category : Computers
Languages : en
Pages : 256

Book Description
This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.

A Practical Approach to Software Quality

A Practical Approach to Software Quality PDF Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 9780387953212
Category : Computers
Languages : en
Pages : 364

Book Description
A brief but comprehensive introduction to the field and pragmatic guidance on the implementation of a sound quality system in the organization. It provides an enhanced knowledge of software inspections, metrics, process involvement, assessment of organization, problem solving, customer satisfaction surveys, the CMM, SPICE, and formal methods. Sample material on software inspections, metrics, and customer satisfaction can be adapted by readers to their respective organizations. In addition, readers will gain a detailed understanding of the principles of software quality management and software process improvement. Concepts can then be readily applied to assist improvement programs within organizations.

Introduction to Software Quality

Introduction to Software Quality PDF Author: Gerard O’Regan
Publisher: Springer
ISBN: 3319061062
Category : Computers
Languages : en
Pages : 354

Book Description
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process improvement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance; provides detailed coverage of software metrics and problem solving; describes SCAMPI appraisals and how they form part of the continuous improvement cycle; presents an introduction to formal methods and the Z specification language; discusses UML, which is used to describe the architecture of the system; reviews the history of the field of software quality.

Concise Guide to Software Testing

Concise Guide to Software Testing PDF Author: Gerard O'Regan
Publisher: Springer Nature
ISBN: 3030284948
Category : Computers
Languages : en
Pages : 293

Book Description
This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development; describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product; explains the process of software test planning, test analysis and design, and test management; discusses test outsourcing, and test metrics and problem solving; reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative; examines testing in the Agile world, and the verification of safety critical systems; considers the legal and ethical aspects of software testing, and the importance of software configuration management; provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book. This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader.

Guide to Discrete Mathematics

Guide to Discrete Mathematics PDF Author: Gerard O'Regan
Publisher: Springer
ISBN: 3319445618
Category : Computers
Languages : en
Pages : 368

Book Description
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Features: provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics; examines the field of software engineering, describing formal methods; investigates probability and statistics.

Mathematics in Computing

Mathematics in Computing PDF Author: Gerard O’Regan
Publisher: Springer Nature
ISBN: 3030342093
Category : Computers
Languages : en
Pages : 458

Book Description
This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems. This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction. Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus. This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.

A Brief History of Computing

A Brief History of Computing PDF Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 1848000839
Category : Computers
Languages : en
Pages : 255

Book Description
Robert Irwin travels back in time with his real-life best friend, in his third wild adventure Robert and his best friend Riley are visiting the Canadian badlands in Alberta with Riley's Uncle Nate. The badlands are home to more than 35 different species of dinosaur fossils. Robert and Riley get pulled back in time to Alberta, Canada during the Late Cretaceous period, to find a heavily armored euoplocephalus trapped in vines. The rescue doesn't go according to plan when a ferocious gorgosaurus arrives on the scene, looking for a snack.

Introduction to Software Process Improvement

Introduction to Software Process Improvement PDF Author: Gerard O'Regan
Publisher: Springer Science & Business Media
ISBN: 0857291726
Category : Computers
Languages : en
Pages : 252

Book Description
This textbook is a systematic guide to the steps in setting up a Capability Maturity Model Integration (CMMI) improvement initiative. Readers will learn the project management practices necessary to deliver high-quality software solutions to the customer on time and on budget. The text also highlights how software process improvement can achieve specific business goals to provide a tangible return on investment. Topics and features: supplies review questions, summaries and key topics for each chapter, as well as a glossary of acronyms; describes the CMMI model thoroughly, detailing the five maturity levels; provides a broad overview of software engineering; reviews the activities and teams required to set up a CMMI improvement initiative; examines in detail the implementation of CMMI in a typical organization at each of the maturity levels; investigates the various tools that support organizations in improving their software engineering maturity; discusses the SCAMPI appraisal methodology.

Software Quality and Productivity

Software Quality and Productivity PDF Author: M. Lee
Publisher: Springer
ISBN: 0387348484
Category : Computers
Languages : en
Pages : 404

Book Description
As the world becomes increasingly dependent on the use of computers, the need for quality software which can be produced at reasonable cost increases. This IFIP proceedings brings together the work of leading researchers and practitioners who are concerned with the efficient production of quality software.

A Guide to Business Mathematics

A Guide to Business Mathematics PDF Author: Gerard O'Regan
Publisher: CRC Press
ISBN: 1000634914
Category : Business & Economics
Languages : en
Pages : 412

Book Description
The success of business today is dependent on the knowledge and expertise of its employees. The need for mathematics arises naturally in business such as in the work of the actuary in an insurance company, the financial mathematics required in the day-to-day work of the banker and the need to analyse data to extract useful information to enable the business to make the right decisions to be successful. A Guide to Business Mathematics provides a valuable self-study guide to business practitioners, business students and the general reader to enable them to gain an appropriate insight into the mathematics used in business. This book offers an accessible introduction to essential mathematics for the business field. A wide selection of topics is discussed with the mathematical material presented in a reader-friendly way. The business context motivates the presentation. The author uses modelling and applications to motivate the material, demonstrating how mathematics is used in the financial sector. In addition to the role of the actuary and the banker, the book covers operations research including game theory, trade discounts and the fundamentals of statistics and probability. The book is also a guide to using metrics to manage and measure performance, and business economics. Foundations on algebra, number theory, sequences and series, matrix theory and calculus are included as is a complete chapter on using software. Features • Discusses simple interest and its application to promissory notes/treasury bills. • Discusses compound interest with applications to present and future values. • Introduces the banking field including loans, annuities and the spot/forward FX market. • Discusses trade discounts and markups/markdowns. • Introduces the insurance field and the role of the actuary. • Introduces the fields of data analytics and operations research. • Discusses business metrics and problem solving. • Introduces matrices and their applications. • Discusses calculus and its applications. • Discusses basic financial statements such as balance sheet, profit and loss and cash account. • Reviews a selection of software to support business mathematics. This broad-ranging text gives the reader a flavour of the applications of mathematics to the business field and stimulates further study in the subject. As such, it will be of great benefit to business students, while also capturing the interest of the more casual reader. About the Author 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.