3311 search results - page 178 / 663 » Deductive Object Programming |
105
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
112
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
101
click to vote
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
129
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...
113
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...