Gerard ORegan Knihy

This accessible compendium examines a collection of significant technology firms that have helped to shape the field of computing and its impact on society. Each company is introduced with a brief account of its history, followed by a concise account of its key contributions. The selection covers a diverse range of historical and contemporary organizations from pioneers of e-commerce to influential social media companies. Features: presents information on early computer manufacturers; reviews important mainframe and minicomputer companies; examines the contributions to the field of semiconductors made by certain companies; describes companies that have been active in developing home and personal computers; surveys notable research centers; discusses the impact of telecommunications companies and those involved in the area of enterprise software and business computing; considers the achievements of e-commerce companies; provides a review of social media companies.

The book provides an engaging exploration of the influential figures who shaped computing technology, highlighting both theoreticians and entrepreneurs. Each chapter features a brief biography alongside a summary of their significant contributions, offering readers a deeper understanding of how these pioneers transformed modern life through their innovations.

Focusing on the applications of mathematics in computing, this introductory guide covers a range of topics such as software engineering, reliability, coding theory, and cryptography. It provides valuable insights into the mathematical foundations that underpin modern technology, making it an enlightening resource for understanding the calculations that shape our digital landscape.

Focusing on software quality management, this textbook delves into essential principles and the CMMI framework. It offers a blend of theory and practical guidance for industrial application, covering the entire software development process, including project planning, inspections, testing, and quality assurance. Key features include review questions, detailed discussions on software metrics, SCAMPI appraisals, and an introduction to formal methods and UML for system architecture. Additionally, it provides a historical overview of software quality in the field.

This encyclopedic reference offers an engaging overview of the pivotal inventions and innovations that have shaped computing and modern technology. Each entry is alphabetically ordered, providing a brief account of significant innovations and the visionary minds behind them, covering a diverse range of topics. It details the development of Babbage’s computing machines, Leibniz’s binary arithmetic, Boole’s symbolic logic, and Von Neumann architecture. Historical analog and digital computers, significant mainframes, and pioneering personal computers are reviewed. The text discusses various programming languages and operating systems, key concepts in software engineering, and commercial computing. It also examines the invention of the transistor, integrated circuit, and microprocessor, alongside developments in personal computing such as the mouse, GUI, Atari video games, and Microsoft Office. Innovations in communications, including mobile phones, WiFi, the Internet, e-commerce, smartphones, social media, and GPS, are surveyed. Additionally, topics on artificial intelligence, ATMs, digital photography and music, robotics, and Wikipedia are covered. With self-test quizzes and a helpful glossary, this compendium appeals to general readers interested in the milestones of the digital age and students of computer science seeking a primer on their field. Dr. Gerard O'Regan, a CMMI software process improvement consultant, has aut

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.

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.

As of 1996, the Workshops in Computing series has been published on-line. This booklet provides the passwords needed to access the papers from the 1st Irish Workshop on Formal Methods. The workshop attracted a global spread of researchers and practitioners and the papers presented cover a wide range of topics within the general area of formal methods, theoretical computer science and mathematics.