Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Navigating the Labyrinth: An Executive Guide to Data Management

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

BPMN 2.0 Handbook Second Edition: Methods, Concepts, Case Studies and Standards in Business Process Management Notation

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

The Essence of Software Engineering

Scaling a Software Business: The Digitalization Journey

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

Playing with Java Microservices on Kubernetes and OpenShift

The French School of Programming

Windows PowerShell for Developers: Enhance Your Productivity and Enable Rapid Application Development

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Hacking Web Intelligence: Open Source Intelligence and Web Reconnaissance Concepts and Techniques

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Domain-Driven Design and Microservices

Present and Ulterior Software Engineering

The Future of Software Quality Assurance

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program