1041 search results - page 64 / 209 » Object Oriented Parallel Programming |
ISORC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ISORC
1998
IEEE
14 years 2 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...
OOPSLA
1999
Springer
14 years 2 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...