[图书][B] Distributed systems: software design and implementation
A Fleischmann - 2012 - books.google.com
The purpose of this book is to make the reader famliar with software engineering for
distributed systems. Software engineering is a valuable discipline in the develop ment of …
distributed systems. Software engineering is a valuable discipline in the develop ment of …
Model transformation by example using inductive logic programming
Z Balogh, D Varró - Software & Systems Modeling, 2009 - Springer
Abstract Model transformation by example is a novel approach in model-driven software
engineering to derive model transformation rules from an initial prototypical set of …
engineering to derive model transformation rules from an initial prototypical set of …
[HTML][HTML] From software architecture to analysis models and back: Model-driven refactoring aimed at availability improvement
Context With the ever-increasing evolution of software systems, their architecture is subject
to frequent changes due to multiple reasons, such as new requirements. Appropriate …
to frequent changes due to multiple reasons, such as new requirements. Appropriate …
Stochastic dependability analysis of system architecture based on UML models
The work in this paper 1 is devoted to the definition of a dependability modeling and model
based evaluation approach based on UML models. It is to be used in the early phases of the …
based evaluation approach based on UML models. It is to be used in the early phases of the …
Multi-step learning and adaptive search for learning complex model transformations from examples
I Baki, H Sahraoui - ACM Transactions on Software Engineering and …, 2016 - dl.acm.org
Model-driven engineering promotes models as main development artifacts. As several
models may be manipulated during the software-development life cycle, model …
models may be manipulated during the software-development life cycle, model …
4 Semantics of UML Models for Dynamic Behavior: A Survey of Different Approaches
Abstract Models are used for a number of different purposes, from the requirements capture
and design of a new system, to the testing of an existing system. Many different modeling …
and design of a new system, to the testing of an existing system. Many different modeling …
Representing temporal information in UML
The UML is a non-temporal conceptual modeling language. Conceptual schemas in the
UML assume that the information base contains the current instances of entity and …
UML assume that the information base contains the current instances of entity and …
Model-driven assessment of system dependability
Designers of complex real-time systems need to address dependability requirements early
on in the development process. This paper presents a model-based approach that allows …
on in the development process. This paper presents a model-based approach that allows …
Dependability concerns in model-driven engineering
L Montecchi, P Lollini… - 2011 14th IEEE …, 2011 - ieeexplore.ieee.org
Model-Driven engineering (MDE) aims to elevate models in the engineering process to a
central role in the specification, design, integration, validation, and operation of a system …
central role in the specification, design, integration, validation, and operation of a system …
A QoS-oriented extension of UML statecharts
Performance, dependability and quality of service (QoS) are prime aspects of the UML
modeling domain. To capture these aspects effectively in a modeling language requires …
modeling domain. To capture these aspects effectively in a modeling language requires …