Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Just Enough Software Architecture: A Risk-Driven Approach

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

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Algorithms: Edition 4

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

User-Centric Networking: Future Perspectives

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

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

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

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures

Domain-Driven Design in PHP

Foundations of Security Analysis and Design VIII: FOSAD 2014/2015/2016 Tutorial Lectures

Domain-Driven Design Reference: Definitions and Pattern Summaries

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

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

Foundations of Security Analysis and Design VII: FOSAD 2012 / 2013 Tutorial Lectures