This book presents a variant of UML that is especially suitable for agile development of high-quality software. It adjusts the language UML profile, called UML/P, for optimal assistance for the design
This book focuses on the methodological treatment of UML/P and addresses three core topics of model-based software development: code generation, the systematic testing of programs using a model-based
This book documents the scientific results of the projects related to the Trusted Cloud Program, covering fundamental aspects of trust, security, and quality of service for cloud-based services and ap
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper
This volume describes novel and state-of-the-art approaches to solvingproblems arising in the domain of embedded real-time systems. It isbased on the GI-Dagstuhl research seminar MBEERTS (Modelling-Ba
This book comprises a collection of research and position paperspresented at Dagstuhl Seminar #14412 on Globalizing Domain-SpecificLanguages, held at Schloss Dagstuhl, Germany, in October 2014.The 5 p
This unbiased and scientifically accurate overview of current knowledge begins with an overview on the chemical constituents of cigarette smoke, their fate in the human body, and their documented toxi
The Seneca Falls Convention of 1848 was at the beginning of the long struggle for women's rights in the United States. The documents collected in this anthology bring to life the anger and the excitem