The textbook explores the mathematical foundations crucial to software engineering, highlighting its applications in diverse areas such as error-correcting codes, cryptography, and critical safety and security fields. It also delves into its relevance in banking and insurance, along with traditional engineering applications, providing a comprehensive understanding of how mathematics underpins various aspects of software development and engineering practices.
An Accessible Introduction to the History, Theory, Logic and Applications
476 pages
17 hours of reading
Focusing on the fundamentals of discrete mathematics, this textbook serves as an engaging guide that illustrates the application of techniques in various computing fields. It aims to motivate readers and inspire deeper exploration into this essential area of study, making complex concepts accessible and relevant.
Focusing on the fundamental principles of software engineering, this textbook offers practical guidance for applying theory in real-world industrial settings. It covers a broad spectrum of topics, including software design, management, and quality, making it a comprehensive resource for both students and professionals in the field.
"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"--Page 4 of cover
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.
Focusing on the fundamentals of formal methods, this textbook serves as both a guide and a reference. It emphasizes the diverse applications of these methods in various computing fields, making complex concepts accessible and relevant for readers.
Focusing on the evolution of computing, this compendium highlights significant technology firms that have shaped the industry and society. Each company is presented with a brief history and key contributions, covering a wide range of organizations from early computer manufacturers to modern e-commerce and social media giants. It explores various sectors, including mainframe and minicomputer development, semiconductors, home computing, telecommunications, enterprise software, and notable research centers, showcasing the diverse impact these firms have had on technology.
The book offers a comprehensive overview of the evolution of computing, starting from ancient counting tools to modern smartphones. It covers significant milestones, including the development of analogue and digital computers, the first digital and commercial computers, and the rise of integrated circuits and microprocessors. Additionally, it explores the emergence of home computers, the Internet, smartphones, and social media, while also delving into telecommunications, programming languages, operating systems, software engineering, artificial intelligence, and databases through structured discussions and exercises.
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.
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.
