Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical methodologies needed for developing this high-quality software. The book explains the main features of these approaches and applies these mathematical methods to solve practical problems. For instance the chapter on technology transfer presents an overview of how these technologies may be transferred to industry. Topics and features include: • Expansive overview of popular formal specification methods such as Z and VDM • Introduction to Cleanroom and software reliability • Understanding on how to predict reliability of a software product using Cleanroom • Broad discussion of ideas of Parnas, Hare and Dijkstra on software quality • Introduction to UML • Technology transfer of formal methods This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. 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. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches. A companion volume entitled A Practical Approach to Software Quality, also written by Gerard O’Regan, offers a comprehensive introduction to the field and pragmatic guidance on the implementation of a sound quality system in the organization.

Computer software --- Computer science --- Quality control. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematics --- Information Technology --- Software Engineering --- Software engineering. --- Computer science. --- Computational complexity. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Mathematics of Computing. --- Discrete Mathematics in Computer Science. --- Complexity, Computational --- Machine theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook/reference 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. Topics and features: Provides chapter introductions, summaries and key topics, as well as review questions and a glossary Includes an introduction to analogue and digital computers, and to the foundations of computing Examines the contributions of the ancient Babylonian, Egyptian, Greek, Roman, and Islamic civilisations to the field of computing Covers the first digital computers, and the earliest examples of commercial computers, mainframes and minicomputers Describes the invention and early development of the integrated circuit and the microprocessor Reviews the emergence of home computers, and the introduction of the IBM personal computer Discusses the technological revolutions initiated by the creation of the Internet, the invention of the smartphone, and the rise of social media Presents a short history of telecommunications, programming languages, operating systems, software engineering, artificial intelligence, and databases This engaging and easy-to-read work serves as an introductory textbook for students of computer science interested in the historical basis of the field. The curious reader will also find the book to be ideal as a self-study primer on the origins of the fundamental theory and early applications of the technology which has now become ubiquitous in modern society.

Computer science. --- Computer industry. --- Computers. --- Computers and civilization. --- Technology --- Computer Science. --- History of Computing. --- History of Technology. --- Computers and Society. --- The Computer Industry. --- History. --- Civilization and computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Technology-History. --- Electronic industries --- Science --- Technology. --- Technology—History. --- Civilization --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computers --- Applied science --- Arts, Useful --- Science, Applied --- Useful arts --- Industrial arts --- Material culture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

It has been upon the shoulders of giants that the modern world has been forged.  This accessible compendium presents an insight into the great minds responsible for the technology which has transformed our lives. Each pioneer is introduced with a brief biography, followed by a concise account of their key contributions to their discipline. The selection covers a broad spread of historical and contemporary figures from theoreticians to entrepreneurs, highlighting the richness of the field of computing.  Topics and features: Describes the lives and machines built by Hermann Hollerith, Vannevar Bush, Howard Aiken, John Atanasoff, Tommy Flowers, John Mauchly, and Konrad Zuse Examines the contributions made by Claude Shannon, John Von Neumann, Alan Turing, and Sir Frederick Williams Reviews such pioneers of commercial computing as John Backus, Fred Brooks, Gordon Moore, William Shockley, Vint Cerf, Don Estridge, Gary Kildall, and Tim Berners-Lee Surveys pivotal software engineers, including Robert Floyd, C.A.R Hoare, Dines Bjorner, Edger Dijkstra, Tom DeMarco, Michael Fagan, Watt Humphries, Ivor Jacobson, David Parnas, and Ed Yourdan Discusses important characters in theoretical computing, such as James Gosling, Grace Murray Hopper, Kenneth Iverson, Donald Knuth, Dennis Ritchie, Ken Thompson, Dana Scott, Christopher Strachey, Bjarne Stroustroup, and Niklaus Wirth Includes significant contributors to the field of artificial intelligence, including John McCarthy, Marvin Minsky, John Searle, and Joseph Weizenbaum Presents a selection of computer entrepreneurs, including Larry Ellison, Bill Gates, Steve Jobs, Ken Olsen, and Thomas Watson Sr. and Jr.  Suitable for the general reader, this concise and easy-to-read reference will be of interest to anyone curious about the inspiring men and women who have shaped the field of computer science.

Artificial intelligence. --- Computer science. --- Science_xHistory. --- Engineering & Applied Sciences --- Computer Science --- History. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- History of Computing. --- History of Science. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Annals --- Auxiliary sciences of history --- Informatics --- Science --- Artificial Intelligence. --- Computer scientists --- Computer science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

From the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built our world. This clearly written and enlightening textbook/reference provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Spanning a wide range of topics – from number theory to software engineering – the book demonstrates the practical computing applications behind seemingly abstract ideas. The work of important figures such as Alan Turing and Robert Floyd are also discussed, highlighting how the theory has been informed by historical developments. 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 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.

Engineering mathematics -- Study and teaching -- Congresses. --- Engineering mathematics. --- Computer science --- Engineering & Applied Sciences --- Computer Science --- Mathematics --- Mathematics. --- Math --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer science. --- Coding theory. --- Computer logic. --- Mathematical logic. --- Computer mathematics. --- History. --- Computer Science. --- Math Applications in Computer Science. --- Mathematical Applications in Computer Science. --- Mathematical Logic and Formal Languages. --- Coding and Information Theory. --- Logics and Meanings of Programs. --- History of Mathematical Sciences. --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Data compression (Telecommunication) --- Information theory --- Signal theory (Telecommunication) --- Computer programming --- Informatics --- Computer science—Mathematics. --- Information theory. --- Annals --- Auxiliary sciences of history --- Computer science logic --- Logic, Symbolic and mathematical --- Communication theory --- Communication --- Cybernetics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer science. --- Management information systems. --- Software engineering. --- Computer engineering. --- Computer software. --- Computer Science. --- Software Engineering. --- Computer Engineering. --- Software Management. --- Mathematical Software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Communication systems --- Computers --- Design and construction --- Computer networks. --- Software engineering --- Computer Engineering and Networks. --- Management. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing