Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
A Reference Structure For Modular Metamodels Of Quality Describing Domain Specific Modeling Languages
Download A Reference Structure For Modular Metamodels Of Quality Describing Domain Specific Modeling Languages full books in PDF, epub, and Kindle. Read online A Reference Structure For Modular Metamodels Of Quality Describing Domain Specific Modeling Languages ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages by : Strittmatter, Misha
Download or read book A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages written by Strittmatter, Misha and published by KIT Scientific Publishing. This book was released on 2020-07-23 with total page 518 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis A Reference Structure for Modular Model-based Analyses by : Koch, Sandro Giovanni
Download or read book A Reference Structure for Modular Model-based Analyses written by Koch, Sandro Giovanni and published by KIT Scientific Publishing. This book was released on 2024-04-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Book Synopsis Composing Model-Based Analysis Tools by : Robert Heinrich
Download or read book Composing Model-Based Analysis Tools written by Robert Heinrich and published by Springer Nature. This book was released on 2021-12-02 with total page 311 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted to each of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced. The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies.
Book Synopsis Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach by : Frank, Markus Kilian
Download or read book Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach written by Frank, Markus Kilian and published by KIT Scientific Publishing. This book was released on 2022-07-18 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.
Book Synopsis Architecture-based Evolution of Dependable Software-intensive Systems by : Heinrich, Robert
Download or read book Architecture-based Evolution of Dependable Software-intensive Systems written by Heinrich, Robert and published by KIT Scientific Publishing. This book was released on 2023-06-05 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Book Synopsis Building Transformation Networks for Consistent Evolution of Interrelated Models by : Klare, Heiko
Download or read book Building Transformation Networks for Consistent Evolution of Interrelated Models written by Klare, Heiko and published by KIT Scientific Publishing. This book was released on 2022-03-24 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and reusable transformations to networks that preserve consistency between more than two artifacts. We identify synchronization, compatibility and orchestration as central challenges, and we develop approaches to solve them.
Book Synopsis Context-based Access Control and Attack Modelling and Analysis by : Walter, Maximilian
Download or read book Context-based Access Control and Attack Modelling and Analysis written by Walter, Maximilian and published by KIT Scientific Publishing. This book was released on 2024-07-03 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Book Synopsis Consistent View-Based Management of Variability in Space and Time by : Ananieva, Sofia
Download or read book Consistent View-Based Management of Variability in Space and Time written by Ananieva, Sofia and published by KIT Scientific Publishing. This book was released on 2022-12-06 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Book Synopsis Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements by : Seifermann, Stephan
Download or read book Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements written by Seifermann, Stephan and published by KIT Scientific Publishing. This book was released on 2022-12-09 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.
Book Synopsis Evaluating Architectural Safeguards for Uncertain AI Black-Box Components by : Scheerer, Max
Download or read book Evaluating Architectural Safeguards for Uncertain AI Black-Box Components written by Scheerer, Max and published by KIT Scientific Publishing. This book was released on 2023-10-23 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Book Synopsis Architectural Alignment of Access Control Requirements Extracted from Business Processes by : Pilipchuk, Roman
Download or read book Architectural Alignment of Access Control Requirements Extracted from Business Processes written by Pilipchuk, Roman and published by KIT Scientific Publishing. This book was released on 2023-01-27 with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt: Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.
Book Synopsis QoS-Based Optimization of Runtime Management of Sensing Cloud Applications by : Gotin, Manuel
Download or read book QoS-Based Optimization of Runtime Management of Sensing Cloud Applications written by Gotin, Manuel and published by KIT Scientific Publishing. This book was released on 2022-06-30 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challenge of configuring the smart devices and the cloud services in a manner, which achieves a high data quality at low operational costs. This work supports IoT operators with IoT collection strategies and cost optimization functions for data qualities, which are influenced by the interplay of smart device and cloud service configurations.
Book Synopsis Software Language Engineering by : Mark van den Brand
Download or read book Software Language Engineering written by Mark van den Brand and published by Springer. This book was released on 2010-03-10 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, CO, USA, in October 2009. The 15 revised full papers and 6 revised short paper presented together with 2 tool demonstration papers were carefully reviewed and selected from 75 initial submissions. The papers are organized in topical sections on language and model evolution, variability and product lines, parsing, compilation, and demo, modularity in languages, and metamodeling and demo.
Book Synopsis Business System Management and Engineering by : Claudio Agostino Ardagna
Download or read book Business System Management and Engineering written by Claudio Agostino Ardagna and published by Springer. This book was released on 2012-08-09 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: The next generation of Business Process Management (BPM) methods and tools will support the development of a new generation of service-enabled applications that change and evolve over time. The trend is moving from relatively stable, organization-specific applications to dynamic ones supporting business processes. This book is an outcome of the International Workshop on Business System Management and Engineering (BSME 2010), held in Malaga, Spain, in June/July 2010, in conjunction with the TOOLS 2010 federated conferences and under the aegis of the EU Network of Excellence on Service Software and Systems (S-Cube). The goal of the workshop was to bring together experts in the fields of business process management, service-oriented architectures, and service security to discuss the current state of research and identify new issues, challenges, and research directions. The results of these discussions are reflected in this book.
Book Synopsis Semi-Automatic Ontology Development: Processes and Resources by : Pazienza, Maria Teresa
Download or read book Semi-Automatic Ontology Development: Processes and Resources written by Pazienza, Maria Teresa and published by IGI Global. This book was released on 2012-02-29 with total page 341 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book includes state-of-the-art research results aimed at the automation of ontology development processes and the reuse of external resources becoming a reality, thus being of interest for a wide and diversified community of users"--
Author :Iris Reinhartz-Berger Publisher :Springer Science & Business Media ISBN 13 :3642366546 Total Pages :410 pages Book Rating :4.6/5 (423 download)
Book Synopsis Domain Engineering by : Iris Reinhartz-Berger
Download or read book Domain Engineering written by Iris Reinhartz-Berger and published by Springer Science & Business Media. This book was released on 2013-08-13 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and performance on a consistent basis on the other. In this book, the editors present a collection of invited chapters from various fields related to domain engineering. The individual chapters present state-of-the-art research and are organized in three parts. The first part focuses on results that deal with domain engineering in software product lines. The second part describes how domain-specific languages are used to support the construction and deployment of domains. Finally, the third part presents contributions dealing with domain engineering within the field of conceptual modeling. All chapters utilize a similar terminology, which will help readers to understand and relate to the chapters content. The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.
Book Synopsis Software Language Engineering by : Anneke Kleppe
Download or read book Software Language Engineering written by Anneke Kleppe and published by Pearson Education. This book was released on 2008-12-09 with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software practitioners are rapidly discovering the immense value of Domain-Specific Languages (DSLs) in solving problems within clearly definable problem domains. Developers are applying DSLs to improve productivity and quality in a wide range of areas, such as finance, combat simulation, macro scripting, image generation, and more. But until now, there have been few practical resources that explain how DSLs work and how to construct them for optimal use. Software Language Engineering fills that need. Written by expert DSL consultant Anneke Kleppe, this is the first comprehensive guide to successful DSL design. Kleppe systematically introduces and explains every ingredient of an effective language specification, including its description of concepts, how those concepts are denoted, and what those concepts mean in relation to the problem domain. Kleppe carefully illuminates good design strategy, showing how to maximize the flexibility of the languages you create. She also demonstrates powerful techniques for creating new DSLs that cooperate well with general-purpose languages and leverage their power. Completely tool-independent, this book can serve as the primary resource for readers using Microsoft DSL tools, the Eclipse Modeling Framework, openArchitectureWare, or any other DSL toolset. It contains multiple examples, an illustrative running case study, and insights and background information drawn from Kleppe’s leading-edge work as a DSL researcher. Specific topics covered include Discovering the types of problems that DSLs can solve, and when to use them Comparing DSLs with general-purpose languages, frameworks, APIs, and other approaches Understanding the roles and tools available to language users and engineers Creating each component of a DSL specification Modeling both concrete and abstract syntax Understanding and describing language semantics Defining textual and visual languages based on object-oriented metamodeling and graph transformations Using metamodels and associated tools to generate grammars Integrating object-oriented modeling with graph theory Building code generators for new languages Supporting multilanguage models and programs This book provides software engineers with all the guidance they need to create DSLs that solve real problems more rapidly, and with higher-quality code.
