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, ...

The development of modern complex software-intensive systems often involves the use of multi...

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, ...