[图书][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 …

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 …

[HTML][HTML] From software architecture to analysis models and back: Model-driven refactoring aimed at availability improvement

V Cortellessa, R Eramo, M Tucci - Information and Software Technology, 2020 - Elsevier
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 …

Stochastic dependability analysis of system architecture based on UML models

I Majzik, A Pataricza, A Bondavalli - Architecting dependable systems, 2007 - Springer
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 …

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 …

4 Semantics of UML Models for Dynamic Behavior: A Survey of Different Approaches

MS Lund, A Refsdal, K Stølen - … Workshop on Model-Based Engineering of …, 2007 - Springer
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 …

Representing temporal information in UML

J Cabot, A Olivé, E Teniente - International Conference on the Unified …, 2003 - Springer
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 …

Model-driven assessment of system dependability

S Mustafiz, X Sun, J Kienzle, H Vangheluwe - Software & Systems …, 2008 - Springer
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 …

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 …

A QoS-oriented extension of UML statecharts

DN Jansen, H Hermanns, JP Katoen - International Conference on the …, 2003 - Springer
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 …