Bøker av Gerard O'Regan

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.

This lively and fascinating text traces the key developments in computation ¿ from 3000 B.C. to the present day ¿ in an easy-to-follow and concise manner. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, exercises, and a glossary; presents detailed information on major figures in computing, such as Boole, Babbage, Shannon, Turing, Zuse and Von Neumann; discusses the earliest computers developed in the United States, Germany and Britain; discusses the development of the IBM 360 family of computers and its importance; discusses the invention of the transistor and integrated circuit; discusses the birth of the software industry and the evolution of human-computer interaction; reviews the history of programming languages, operating systems and software engineering; discusses the progress of artificial intelligence; discusses the invention of the microprocessor and the development of home and personal computers; examines the impact on society of the introduction of the personal computer, the World Wide Web, and the development of mobile phone technology; discusses smart phones and social media and the challenge of fake news; reviews a miscellany of innovations in the computing field such as cloud computing, the Internet of Things, and Quantum Computing; discusses legal aspects of computing and the professional responsibilities of computer professionals.

explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;

This lively and fascinating text traces the key developments in computation - from 3000 B.C. discusses the invention of the microprocessor and the development of home and personal computers; reviews a miscellany of innovations in the computing field such as cloud computing, the Internet of Things, and Quantum Computing;

explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;

This accessible compendium examines a collection of significant technology firms that have helped to shape the field of computing and its impact on society. The selection covers a diverse range of historical and contemporary organizations from pioneers of e-commerce to influential social media companies.

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.

This book offers fascinating insight into the great minds behind the computing technology that has transformed modern life. From theoreticians to entrepreneurs, each pioneer is introduced with a brief biography, and a concise account of their contributions.

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 Dijksträs calculus of weakest preconditions, Hoare¿s axiomatic semantics of programming languages, and the classical approachof 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.

Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook provides a concise overview of the key events in the history of computing, together with discussion exercises to stimulate deeper investigation into this fascinating area.

This textbook describes the approaches used by software engineers to build quality into their software. 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;