This book constitutes the refereed proceedings of the 13th International Conference on Software E...

This book documents the scientific results of the projects related to the Trusted Cloud Program, ...

DSMLs can be used to support socio-technical coordination by providing the means for stakeholders...

Invited Talks.- Forcing Monotonicity in Parameterized Verification: From Multisets to Words.- Res...

Invited Talk 1 (Abstract).- Architecting Web-Based Systems with the Unified Modeling Language.- S...

Behavioral Specifications of Businesses and Systems dealswith the reading, writing and understa...

Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling...

This book presents a variant of UML that is especially suitable for agile development of high-qua...

This book focuses on the methodological treatment of UML P and addresses three core topics of mod...

This open access book provides an overview of the dissertations of the eleven nominees for the Er...

This open access book provides an overview of the dissertations of the five nominees for the Erns...

This book documents the scientific results of the projects related to the Trusted Cloud Program, ...