Focusing on the intersection of mathematics and software engineering, this book offers a thorough introduction to essential mathematical concepts that underpin high-quality software development. It explores various mathematical methods utilized in both academic and industry settings, equipping readers with the knowledge necessary to enhance their software engineering practices through a solid mathematical foundation.
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.
This engaging text explores the history of computation from 3000 B.C. to today, featuring key figures, software engineering, programming languages, and artificial intelligence. It also discusses the societal impact of personal computers, the World Wide Web, and mobile technology, along with the evolution of major tech companies like IBM and Apple.
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.
Theory, Fundamentals and Industry Applications
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.
An Accessible Introduction to the History, Theory, Logic and Applications
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.
An Accessible Guide to Historical, Foundational and Application Contexts
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.
A Practical Guide to Essentials
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.
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.