Software Reliability Methods

Just Enough Software Architecture: A Risk-Driven Approach

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

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Algorithms: Edition 4

Time for Verification: Essays in Memory of Amir Pnueli

Crafting Interpreters

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

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

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, 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

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Domain-Driven Design in PHP

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Domain-Driven Design Reference: Definitions and Pattern Summaries

Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

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