Sciweavers

1231 search results - page 53 / 247
» A Model Transformation Approach for Design Pattern Evolution...
Sort
View
145
Voted
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 1 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
116
Voted
ICSM
1999
IEEE
15 years 8 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
169
Voted
SOSYM
2010
176views more  SOSYM 2010»
15 years 2 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, ...
117
Voted
ENTCS
2008
98views more  ENTCS 2008»
15 years 3 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
170
Voted
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 10 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...