3311 search results - page 181 / 663 » Deductive Object Programming |
100
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
107
click to vote
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
113
click to vote
IRREGULAR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We describe the design and implementation of the Distributed ObjectOriented Threads System (DOTS). This system is a complete redesign of the Distributed Threads System (D...
119
Voted
POS
1998
Springer
15 years 6 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
136
click to vote
ECOOP
1994
Springer
15 years 6 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...