1700 search results - page 143 / 340 » Specifying and implementing refactorings |
116
Voted
RSP
1999
IEEE
15 years 9 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
152
Voted
GCSE
1999
Springer
15 years 9 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
187
Voted
ACSD
1998
IEEE
15 years 9 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
169
click to vote
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
116
Voted
MA
1999
Springer
15 years 9 months ago
1999
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efï...