Software Engineering

The book presents a comprehensive and interdisciplinary exploration of the impact of AI on various sectors of society to foster a greater understan...

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, ...

The Essentials of Computer Organization and Architecture, Fourth Edition was recently awarded a Textbook Excellence Award (Texty) from the Text and...

Learn how to easily design and implement a software system using object-oriented programming. Through hands-on activities, this book equips you wit...

This book constitutes of the revised selected papers presented at the CCF 17th International Conference on Service Science, ICSS 2024, held in Hong...

As the pace of evolution in technology continues to accelerate, the field of software architecture grapples with ever-increasing complexity, uncert...

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applicati...

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, Octobe...

This book focuses on the current trends in research and analysis of virtual machine placement in a cloud data center. It discusses the integration ...

This volume constitutes the refereed proceedings of the 21st International Conference on Software and Systems Reuse, ICSR 2024, held in Limassol, C...

Blockchain, a decentralized ledger technology based on cryptographic algorithms, ensures the creation of immutable and tamper-proof ledgers in dece...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place i...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European Conference on Software Architecture...

Blockchain and distributed-ledger technologies enable new modes of communication, synchronization, and transfer of value with a broad impact on Int...

The Next Generation Innovation in IoT and Cloud Computing with Applications is a thought-provoking edited book that explores the cutting-edge advan...

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding s...

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding s...

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important n...

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, Chi...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of soft...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

Covering the three underlying technologies of web pagesHTML, CSS, and JavaScriptthis book is a onestop guide to getting started in web development,...

In the past few weeks, OpenAI has released ChatGPT (Chat Generative Pre-trained Transformer). ChatGPT emerges as a formidable chatbot, surpassing v...

Covering the three underlying technologies of web pagesHTML, CSS, and JavaScriptthis book is a onestop guide to getting started in web development,...

This book is written for engineering students and working professionals. Technical professionals are increasingly involved in IT issues, such as im...

As the transformation to hybrid multicloud accelerates, businesses require a structured approach to securing their workloads. Adopting zero trust p...

With hundreds of tools preinstalled, the Kali Linux distribution makes it easier for penetration testers and other professionals to get started wit...

Engineers, researchers, and students attempting to effectively utilize numerical methods to solve complex engineering problems in today's fast-pace...

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held ...

This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory a...

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Nethe...

Engineers, researchers, and students attempting to effectively utilize numerical methods to solve complex engineering problems in today's fast-pace...

Each new print copy includes Navigate 2 Advantage Access that unlocks a comprehensive and interactive eBook, student practice activities and assess...

In the field of engineering, optimization and decision-making have become pivotal concerns. The ever-increasing demand for data processing has give...

The rapid evolution of software engineering demands innovative approaches to meet the growing complexity and scale of modern software systems. Trad...

This book constitutes the refereed proceedings of the 16th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB&a...

Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The International Software Testing ...

This textbook provides a comprehensive and well-structured introduction to the fundamentals, principles, and techniques of requirements engineering...

This book constitutes the refereed post-conference proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software E...

Written for the undergraduate, 1-term course, Essentials of Software Engineering provides students with a systematic engineering approach to softwa...