772 search results - page 55 / 155 » From Graph Transformation to Software Engineering and Back |
110
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
141
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
118
click to vote
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
115
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
111
click to vote
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...