Download or read online books in PDF, EPUB and Mobi Format. Click Download or Read Online button to get book now. This site is like a library, Use search box in the widget to get ebook that you want.

Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality Author Gerard O'Regan
ISBN-10 184628242X
Release 2006-02-16
Pages 231
Download Link Click Here

This comprehensive introduction to mathematical approaches that can assist in achieving high-quality software explains the main features to the reader in an attempt to assist in the application of these methods to solve practical problems. An overview is also given on the transfer of these technologies to industry.



Adaptive Control Approach for Software Quality Improvement

Adaptive Control Approach for Software Quality Improvement Author W. Eric Wong
ISBN-10 9789814340922
Release 2011
Pages 308
Download Link Click Here

This book focuses on the topic of improving software quality using adaptive control approaches. As software systems grow in complexity, some of the central challenges include their ability to self-manage and adapt at run time, responding to changing user needs and environments, faults, and vulnerabilities. Control theory approaches presented in the book provide some of the answers to these challenges. The book weaves together diverse research topics (such as requirements engineering, software development processes, pervasive and autonomic computing, service-oriented architectures, on-line adaptation of software behavior, testing and QoS control) into a coherent whole. Written by world-renowned experts, this book is truly a noteworthy and authoritative reference for students, researchers and practitioners to better understand how the adaptive control approach can be applied to improve the quality of software systems. Book chapters also outline future theoretical and experimental challenges for researchers in this area.



Introduction to Software Quality

Introduction to Software Quality Author Gerard O’Regan
ISBN-10 9783319061061
Release 2014-05-22
Pages 354
Download Link Click Here

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.



Mathematics in Computing

Mathematics in Computing Author Gerard O’Regan
ISBN-10 9781447145349
Release 2012-11-15
Pages 288
Download Link Click Here

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks; examines the building blocks of mathematics, including sets, relations and functions; presents an introduction to logic, formal methods and software engineering; explains the fundamentals of number theory, and its application in cryptography; describes the basics of coding theory, language theory, and graph theory; discusses the concept of computability and decideability; includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions.



Concise Guide to Software Engineering

Concise Guide to Software Engineering Author Gerard O'Regan
ISBN-10 9783319577500
Release 2017-07-04
Pages 331
Download Link Click Here

This essential 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.



Numerical Methods in Software and Analysis

Numerical Methods in Software and Analysis Author John R. Rice
ISBN-10 9781483295688
Release 2014-05-19
Pages 720
Download Link Click Here

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



A Practical Approach to Software Quality

A Practical Approach to Software Quality Author Gerard O'Regan
ISBN-10 9780387224541
Release 2012-11-03
Pages 289
Download Link Click Here

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.



Guide to Discrete Mathematics

Guide to Discrete Mathematics Author Gerard O'Regan
ISBN-10 9783319445618
Release 2016-10-13
Pages 370
Download Link Click Here

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.



Concise Guide to Formal Methods

Concise Guide to Formal Methods Author Gerard O'Regan
ISBN-10 9783319640211
Release 2017-08-08
Pages 322
Download Link Click Here

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.



Mathematical and Statistical Methods in Reliability

Mathematical and Statistical Methods in Reliability Author Bo Lindqvist
ISBN-10 9789812383211
Release 2003
Pages 548
Download Link Click Here

This book contains extended versions of carefully selected and reviewed papers presented at the Third International Conference on Mathematical Methods in Reliability, held in Norway in 2002. It provides an overview of current research activities in reliability theory. The authors are all leading experts in the field. Readership: Graduate students, academics and professionals in probability & statistics, reliability analysis, survival analysis, industrial engineering, software engineering, operations research and applied mathematics research.



Formal Methods Foundations and Applications

Formal Methods  Foundations and Applications Author Rohit Gheyi
ISBN-10 9783642332968
Release 2012-09-17
Pages 227
Download Link Click Here

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.



Advanced Mathematical and Computational Tools in Metrology and Testing IX

Advanced Mathematical and Computational Tools in Metrology and Testing IX Author Franco Pavese
ISBN-10 9789814397940
Release 2012
Pages 450
Download Link Click Here

This volume contains original, refereed worldwide contributions. They were prompted by presentations made at the ninth AMCTM Conference held in G teborg (Sweden) in June 2011 on the theme of advanced mathematical and computational tools in metrology and also, in the title of this book series, in testing. The themes in this volume reflect the importance of the mathematical, statistical and numerical tools and techniques in metrology and testing and, also in keeping the challenge promoted by the Metre Convention, to access a mutual recognition for the measurement standards.



Modern Statistical and Mathematical Methods in Reliability

Modern Statistical and Mathematical Methods in Reliability Author Alyson G. Wilson
ISBN-10 9789812563569
Release 2005
Pages 409
Download Link Click Here

This volume contains extended versions of 28 carefully selected and reviewed papers presented at The Fourth International Conference on Mathematical Methods in Reliability in Santa Fe, New Mexico, June 21-25, 2004, the leading conference in reliability research. A broad overview of current research activities in reliability theory and its applications is provided with coverage on reliability modeling, network and system reliability, Bayesian methods, survival analysis, degradation and maintenance modeling, and software reliability. The contributors are all leading experts in the field and include the plenary session speakers, Tim Bedford, Thierry Duchesne, Henry Wynn, Vicki Bier, Edsel Pena, Michael Hamada, and Todd Graves.



World of Computing

World of Computing Author Gerard O'Regan
ISBN-10 9783319758442
Release 2018-04-17
Pages 320
Download Link Click Here

This engaging work provides a concise introduction to the exciting world of computing, encompassing the theory, technology, history, and societal impact of computer software and computing devices. Spanning topics from global conflict to home gaming, international business, and human communication, this text reviews the key concepts unpinning the technology which has shaped the modern world. Topics and features: introduces the foundations of computing, the fundamentals of algorithms, and the essential concepts from mathematics and logic used in computer science; presents a concise history of computing, discussing the historical figures who made important contributions, and the machines which formed major milestones; examines the fields of human−computer interaction, and software engineering; provides accessible introductions to the core aspects of programming languages, operating systems, and databases; describes the Internet revolution, the invention of the smartphone, and the rise of social media, as well as the Internet of Things and cryptocurrencies; explores legal and ethical aspects of computing, including issues of hacking and cybercrime, and the nature of online privacy, free speech and censorship; discusses such innovations as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems; includes key learning topics and review questions in every chapter, and a helpful glossary. Offering an enjoyable overview of the fascinating and broad-ranging field of computing, this easy-to-understand primer introduces the general reader to the ideas on which the digital world was built, and the historical developments that helped to form the modern age.



Software system testing and quality assurance

Software system testing and quality assurance Author B. Beizer
ISBN-10 UOM:39015006090289
Release 1984
Pages 358
Download Link Click Here

Software development and quality assurance managers can use this thorough guide to system testing to ensure high-quality software. A worthy reference addition to any library!



Software Quality Management II

Software Quality Management II Author M. Ross
ISBN-10 1853123528
Release 1994-01-01
Pages 800
Download Link Click Here

This volume covers the setting up and monitoring of a quality management system, process improvement, SEI capability maturity model, quality metrics, quality of engineering software, human factors in quality management, education for quality as well as financial aspects and management issues and world activities.



Software Testing

Software Testing Author Paul C. Jorgensen
ISBN-10 9781498785785
Release 2016-04-08
Pages 494
Download Link Click Here

This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing. The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.