Download or read book Mathematical Approaches to Software Quality written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2006-02-16 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Introduction to Software Quality written by Gerard O’Regan and published by Springer. This book was released on 2014-05-22 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Concise Guide to Formal Methods written by Gerard O'Regan and published by Springer. This book was released on 2017-08-08 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.

Download or read book A Practical Approach to Software Quality written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2002-06-13 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Statistical Methods for Software Quality written by Adrian Burr and published by Itp New Media. This book was released on 1996 with total page 480 pages. Available in PDF, EPUB and Kindle. Book excerpt: Describes the statistical techniques available for managing the quality of software during specification, design, production and maintenance. The book includes case studies and statistical theory, designed to be comprehensible to those with a minimum of ma

Download or read book Mathematical Foundations of Software Engineering written by Gerard O'Regan and published by Springer Nature. This book was released on 2023-05-04 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 or read book Software Quality Assurance written by Claude Y. Laporte and published by John Wiley & Sons. This book was released on 2018-01-04 with total page 598 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide and solutions Applies IEEE software standards as well as the Capability Maturity Model Integration for Development (CMMI) Illustrates the application of software quality assurance practices through the use of practical examples, quotes from experts, and tips from the authors

Download or read book Concise Guide to Software Engineering written by Gerard O'Regan and published by Springer Nature. This book was released on 2022-09-24 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering; examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality; covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches; explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language; discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems; reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier; describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems; 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 to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers, quality professionals, and software managers.

Download or read book Concise Guide to Software Testing written by Gerard O'Regan and published by Springer Nature. This book was released on 2019-09-30 with total page 309 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Guide to Discrete Mathematics written by Gerard O'Regan and published by Springer Nature. This book was released on 2021-10-28 with total page 459 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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: This book 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 such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.

Download or read book Mathematics in Computing written by Gerard O’Regan and published by Springer Nature. This book was released on 2020-01-10 with total page 468 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Mathematics in Software Reliability and Quality Assurance written by Tadashi Dohi and published by Mdpi AG. This book was released on 2022-05-09 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.

Download or read book Software Quality written by Daniel Galin and published by John Wiley & Sons. This book was released on 2018-03-27 with total page 725 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training participants, and software engineers and software development managers, the book may be applicable to all personnel engaged in a software projects Features: A broad view of SQA. The book delves into SQA issues, going beyond the classic boundaries of custom-made software development to also cover in-house software development, subcontractors, and readymade software. An up-to-date wide-range coverage of SQA and SQA related topics. Providing comprehensive coverage on multifarious SQA subjects, including topics, hardly explored till in SQA texts. A systematic presentation of the SQA function and its tasks: establishing the SQA processes, planning, coordinating, follow-up, review and evaluation of SQA processes. Focus on SQA implementation issues. Specialized chapter sections, examples, implementation tips, and topics for discussion. Pedagogical support: Each chapter includes a real-life mini case study, examples, a summary, selected bibliography, review questions and topics for discussion. The book is also supported by an Instructor’s Guide.

Download or read book A Brief History of Computing written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2008-02-01 with total page 255 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive book provides an introduction into the key topics in the history of computing in an easy-to-follow and concise manner. It does not require studies in computer science in order to be understood and appreciated. The book covers significant areas and events in the field from the beginnings of computation in 3000B.C. through to the present day. Helpful pedagogical elements such as exercises and chapter summaries are included. Focusing on the fundamental areas in the computing field, this clearly written and broad-ranging text will catch the attention and greatly benefit computer science students.

Download or read book Introduction to Software Process Improvement written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2010-12-16 with total page 255 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Numerical Methods in Software and Analysis written by John R. Rice and published by Elsevier. This book was released on 2014-05-19 with total page 737 pages. Available in PDF, EPUB and Kindle. Book excerpt: Numerical Methods, Software, and Analysis, Second Edition introduces science and engineering students to the methods, tools, and ideas of numerical computation. Introductory courses in numerical methods face a fundamental problem—there is too little time to learn too much. This text solves that problem by using high-quality mathematical software. In fact, the objective of the text is to present scientific problem solving using standard mathematical software. This book discusses numerous programs and software packages focusing on the IMSL library (including the PROTRAN system) and ACM Algorithms. The book is organized into three parts. Part I presents the background material. Part II presents the principal methods and ideas of numerical computation. Part III contains material about software engineering and performance evaluation. A uniform approach is used in each area of numerical computation. First, an intuitive development is made of the problems and the basic methods for their solution. Then, relevant mathematical software is reviewed and its use outlined. Many areas provide extensive examples and case studies. Finally, a deeper analysis of the methods is presented as in traditional numerical analysis texts. Emphasizes the use of high-quality mathematical software for numerical computation Extensive use of IMSL routines Features extensive examples and case studies

Download or read book Instant Approach to Software Testing written by Dr Anand Nayyar and published by BPB Publications. This book was released on 2019-10-22 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: One-stop Guide to software testing types, software errors, and planning process DESCRIPTION Software testing is conducted to assist testers with information to improvise the quality of the product under testing. The book primarily aims to present testing concepts, principles, practices, methods cum approaches used in practice. The book will help the readers to learn and detect faults in software before delivering it to the end user. The book is a judicious mix of software testing concepts, principles, methodologies, and tools to undertake a professional course in software testing. The book will be a useful resource for students, academicians, industry experts, and software architects to learn artefacts of testing. Ê Book discuss the foundation and primary aspects connected to the world of software testing, then it discusses the levels, types and terminologies associated with software testing. In the further chapters it will gives a comprehensive overview of software errors faced in software testing as well as various techniques for error detection, then the test case development and security testing. In the last section of the bookÊ discusses the defect tracking, test reports, software automation testing using the Selenium tool and then ISO/IEEE-based software testing standards. KEY FEATURESÊ Presents a comprehensive investigation about the software testing approach in terms of techniques, tools and standards Highlights test case development and defect tracking In-depth coverage of test reports development Covers the Selenium testing tool in detail Comprehensively covers IEEE/ISO/IEC software testing standards WHAT WILL YOU LEARN With this book, the readers will be able to learn: Taxonomy, principles and concepts connected to software testing. Software errors, defect tracking, and the entire testing process to create quality products. Generate test cases and reports for detecting errors, bugs, and faults. Automation testing using the Selenium testing tool. Software testing standards as per IEEE/ISO/IEC to conduct standard and quality testing. Ê WHO THIS BOOK IS FOR The readers should have a basic understanding of software engineering concepts, object-oriented programming and basic programming fundamentals. Ê Ê Table of Contents 1. Introduction to Software Testing 2. Software Testing Levels, Types, Terms, and Definitions 3. Software Errors 4. Test Planning Process (According to IEEE standard 829) 5. Test Case Development 6. Defect Tracking 7. Types of Test Reports 8. Software Test Automation 9. Understanding the Software Testing Standards