36320 search results - page 133 / 7264 » From Code to Models |
185
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
160
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Code duplication is considered as bad practice that complicates the maintenance and evolution of software. Detecting duplicated code is a difficult task because of the large amoun...
196
click to vote
ECCC
2010
15 years 1 months ago
2010
Trevisan [Tre03] suggested a transformation that allows amplifying the error rate a code can handle. We observe that this transformation, that was suggested in the non-local setti...
168
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
184
click to vote
APCCM
2008
15 years 7 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...