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.



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.



Adaptive Control Approach for Software Quality Improvement

Adaptive Control Approach for Software Quality Improvement Author W. Eric Wong
ISBN-10 9789814340915
Release 2011
Pages 299
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.



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.



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.



Software engineering mathematics

Software engineering mathematics Author Jim Woodcock
ISBN-10 UOM:49015001090514
Release 1989-06
Pages 271
Download Link Click Here

Software engineering mathematics has been writing in one form or another for most of life. You can find so many inspiration from Software engineering mathematics also informative, and entertaining. Click DOWNLOAD or Read Online button to get full Software engineering mathematics book for free.



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.



Software Testing

Software Testing Author Ali Mili
ISBN-10 9781118662878
Release 2015-06-15
Pages 400
Download Link Click Here

This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing



Quality of Numerical Software

Quality of Numerical Software Author Ronald F. Boisvert
ISBN-10 9781504129404
Release 2016-01-09
Pages 384
Download Link Click Here

Numerical software is central to our computerized society. It is used to control aeroplanes and bridges, operate manufacturing lines, control power plants and refineries, and analyse financial markets. Such software must be accurate, reliable, robust, efficient, easy to use, maintainable and adaptable. Quality assessment and control of numerical software is still not well understood. Although measurement is a key element, it remains difficult to assess many components of software quality and to evaluate the trade-offs between them. Fortunately, as numerical software is built upon a long established foundation of mathematical and computational knowledge, there is great potential for dramatic breakthroughs. This volume will address enabling techniques and tools such as benchmarks, testing methodologies, quality standards, metrics, and accuracy control mechanisms, and their application to software for differential equations, linear algebra, data analysis, as well as the evaluation of integrals, derivatives and elementary and special functions.



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.



Software System Testing and Quality Assurance

Software System Testing and Quality Assurance Author Boris 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!



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.



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.



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.



Transformations

Transformations Author Colin Renfrew
ISBN-10 9781483277523
Release 2014-05-10
Pages 538
Download Link Click Here

Transformations: Mathematical Approaches to Culture Change focuses on the application of contemporary mathematical techniques to the study of culture change and formulates problems in archaeology, anthropology, and historiography in such a way that they are susceptible to treatment of a mathematical kind. Mathematical models, extending from the almost purely quantitative methods of physics to the purely verbal conceptual explanations, are described. Emphasis is placed on catastrophe theoretic models that exemplify the use of soft mathematics in situations in which the use of hard quantitative models is not possible. Comprised of 21 chapters, this book begins with an overview of the role of mathematics in theoretical archaeology, followed by a discussion on two general categories of mathematical methods that seem to be suitable for modeling cultural transformations: methods of dynamical systems theory and methods that give greater emphasis on discrete entities and the structural relations or patterns among them. Subsequent chapters deal with the use of mathematics in history; morphogenesis in biological and social systems; simulation of the growth of hierarchies; and logistic trends in Southwest population growth. A reconstruction of political units in the Valley of Mexico during the Toltec period is also presented. This monograph will be of interest to archaeologists, anthropologists, historians, biologists, sociologists, and mathematicians.



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