Software Engineering

In every software development project there is a need to ensure that the requirements of the user are met without compromising the ultimate goal of the project - these needs frequently change, and are often erratic.

I love virtual machines (VMs) and I have done for a long time.

Developing and maintaining a VR system is a very difficult task, requiring in-depth knowledge in many disciplines.

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005.

Computer-based systems are now essential to everyday life.

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'.

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations.

This second edition follows quickly on the ?

At the core of this book is the interplay between technological and business innovation and social practice.

Interoperability: the ability of a system or a product to work with other systems or products without special effort from the user is a key issue in manufacturing and industrial enterprise generally.

Arti?

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

This book constitutes the refereed proceedings of the 18th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2024), consisting of the 18th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 5th International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, SAR, China, during July 29-31, 2024.

The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.

The two-volume set LNBIP 547 + LNBIP 548 constitutes the proceedings of the 19th International Conference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, in May 2025.

Open-source software supply chains wield significant influence in the software industry, drawing substantial interest from enterprises, researchers, and policymakers.

The two-volume set LNICST 570 and 571 constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2023, held in New York City, NY, USA, during November 30, 2023.

This book fills a serious gap by providing a conceptual framework for understanding the digital world.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes.

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024.

This book constitutes the proceedings of the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 3-7, 2024.

This book provides a comprehensive, empirically grounded exploration of how Generative AI is reshaping the landscape of software development.

Full Stack Python Security teaches you everything you'll need to build secure Python web applications.

Computer science theory quickly collides with the harsh reality of professional software development.

SummaryTesting Java Microservices teaches you to implement unit and integration tests for microservice systems running on the JVM.

Summary .

Now more than ever, Windows applications have to work well and look good.

In test driven development, you first write an executable test ofwhat your application code must do.

Unlike traditional information systems which work by issuing requests and waiting for responses, event-driven systems are designed to process events as they occur, allowing the system to observe, react dynamically, and issue personalized data depending on the recipient and situation.

Learn data science with Python by building five real-world projects!

Follow real-world API projects from concept to production, and learn hands-on how to describe and design APIs using OpenAPI.

SummaryType-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system.

SummaryAgile ALM is a guide for Java developers who want to integrate flexible agile practices and lightweight tooling along all phases of the software development process.

Many books discuss Agile from a theoretical or academic perspective.

In 2005, Microsoft quietly announced an initiative to bring dynamic languages to the .

Summary Modern C focuses on the new and unique features of modern C programming.

Skills to grow from a solo coder into a productive member of a software development team, with seasoned advice on everything from refactoring to acing an interview.

Kickstart a career in cybersecurity by adapting your existing technical and non-technical skills.

Designed for busy IT professionals, this innovative guide will take you from the basics to PowerShell proficiency through 25 tutorials you can do in your lunch break.

This hands-on beginners guide gets you building games fast, all with the awesome Unity engine!

The most insightful and intuitive guide to clean and simple software.

AI doesn't have to be a black box.

Solve difficult service-to-service communication challenges around security, observability, routing, and resilience with an Istio-based service mesh.

This book is an indispensable resource.

Summary Professional developers know the many benefits of writing application code that's clean, well-organized, and easy to maintain.

Unlock the groundbreaking advances of deep learning with this extensively revised edition of the bestselling original.

The multi-volume set LNAI 14169 until  14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:- the 25th International Conference on Business Process Modeling, Development and Support, BPMDS 2024, and- the 29th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2024.

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.