Sciweavers

7213 search results - page 35 / 1443
» Automated model grouping
Sort
View
CADE
2004
Springer
14 years 10 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
AGTIVE
2007
Springer
14 years 3 months ago
Applying a Grouping Operator in Model Transformations
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
Daniel Balasubramanian, Anantha Narayanan, Sandeep...
ICEIS
2000
IEEE
14 years 2 months ago
"Decision Can": A Database of Decision Cases
This paper describes a support system for group decision-making. The system is based on a database of typical decision cases and also an underlying model of the group decision pro...
Nuno M. V. Pine Goncalves, Pedro Antunes
COMPSAC
2002
IEEE
14 years 2 months ago
Object Identification in Legacy Code as a Grouping Problem
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
Houari A. Sahraoui, Petko Valtchev, Idrissa Konkob...
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 4 months ago
Automated co-evolution of GMF editor models
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
Davide Di Ruscio, Ralf Lämmel, Alfonso Pieran...