Sciweavers

1231 search results - page 53 / 247
» A Model Transformation Approach for Design Pattern Evolution...
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 9 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ICSM
1999
IEEE
15 years 4 months ago
Restructuring Legacy C Code into C++
In this paper, we describe restructuring of C code into new C++ classes. Such restructuring is done to facilitate both software reuse and software evolution. The restructuring is ...
Richard Fanta, Václav Rajlich
SOSYM
2010
176views more  SOSYM 2010»
14 years 10 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ENTCS
2008
98views more  ENTCS 2008»
14 years 12 months ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 6 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...