Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Just Enough Software Architecture: A Risk-Driven Approach

Domain-Driven Design: Tackling Complexity in the Heart of Software

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Algorithms: Edition 4

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Crafting Interpreters

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Modern Software Engineering: Doing What Works to Build Better Software Faster

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Software Engineering at Google: Lessons Learned from Programming Over Time

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Microsoft Power Platform Enterprise Architecture: Design tailor-made solutions for architects and decision makers to meet complex business requirements, Edition 2

Deductive Software Verification – The KeY Book: From Theory to Practice

Domain-Driven Design in PHP

Domain-Driven Design Reference: Definitions and Pattern Summaries

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Software Architecture Metrics: Case Studies to Improve the Quality of Your Architecture

Java in AdTech

Kubernetes for Full-Stack Developers