Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Consistent View-Based Management of Variability in Space and Time
Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.
Composing Model-Based Analysis Tools
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed. The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and ...
European Conference "Building a Europe Without Frontiers: the Role of Women"
Deze Europese conferentie werd georganiseerd door de Mediterranean Women's Studies Institute i.s.m. anderen. Naast de welkomstwoorden en de inleiding worden de samenvattingen van de papers gepresenteerd evenals de conclusies en aanbevelingen gedaan op de conferentie.
Daily Report
None
Architecture-based Evolution of Dependable Software-intensive Systems
This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.
A Reference Structure for Modular Model-based Analyses
In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.
Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more complex AI components, which increasingly exhibit unreliable behaviour. In this book, we present a model-driven approach to model architectural safeguards for AI components and analyse their effect on the overall system reliability.
Context-based Access Control and Attack Modelling and Analysis
This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control policies and vulnerabilities, often analyzed separately, into a unified approach using software architecture models. Contributions include metamodels for access control and vulnerabilities, scenario-based analysis, and two attack analyses. Evaluation demonstrates high accuracy in identifying issues for secure system development.
Biographical Dictionary of Central and Eastern Europe in the Twentieth Century
Drawing on newly accessible archives as well as memoirs and other sources, this biographical dictionary documents the lives of some two thousand notable figures in twentieth-century Central and Eastern Europe. A unique compendium of information that is not currently available in any other single resource, the dictionary provides concise profiles of the region's most important historical and cultural actors, from Ivo Andric to King Zog. Coverage includes Albania, Belarus, the Czech and Slovak Republics, Hungary, Estonia, Latvia, Lithuania, Poland, Romania and Moldova, Ukraine, and the countries that made up Yugoslavia.
