Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Just Enough Software Architecture: A Risk-Driven Approach

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Algorithms: Edition 4

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

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

Temporal Logic and State Systems

Java in AdTech

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Software Engineering at Google: Lessons Learned from Programming Over Time

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

Domain-Driven Design in PHP

Domain-Driven Design Reference: Definitions and Pattern Summaries

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

Kubernetes for Full-Stack Developers

Farming Simulator Modding For Dummies

Implementing Domain-Driven Design

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

Domain-Driven Design Distilled