Lectures on Runtime Verification: Introductory and Advanced Topics

Just Enough Software Architecture: A Risk-Driven Approach

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Algorithms: Edition 4

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

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

Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Software Engineering at Google: Lessons Learned from Programming Over Time

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

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

Domain-Driven Design in PHP

Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Domain-Driven Design Reference: Definitions and Pattern Summaries

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

100 Dos and Dont's UI/UX Design Tips eBook- Professional research based

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Implementing Domain-Driven Design

Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings