Sciweavers

1448 search results - page 112 / 290
» From Requirements to Code Revisited
Sort
View
POS
1994
Springer
15 years 8 months ago
Changing Persistent Applications
During the lifetime of an application, the objects and bindings in a persistent store may require modification in order to fix bugs or incorporate changes. Two mechanisms, Octopus...
Alex Farkas, Alan Dearle
133
Voted
ECMDAFA
2009
Springer
97views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
A Domain Specific Language for Extracting Models in Software Modernization
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
Javier Luis Cánovas Izquierdo, Jesús...
118
Voted
FOAL
2008
ACM
15 years 5 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ALENEX
2004
107views Algorithms» more  ALENEX 2004»
15 years 5 months ago
An Experimental Analysis of a Compact Graph Representation
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...
Daniel K. Blandford, Guy E. Blelloch, Ian A. Kash
IJPP
2006
82views more  IJPP 2006»
15 years 3 months ago
Supporting Microthread Scheduling and Synchronisation in CMPs
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
Ian Bell, Nabil Hasasneh, Chris R. Jesshope