Sciweavers

4800 search results - page 4 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
ECLIPSE
2006
ACM
14 years 1 months ago
MolhadoRef: a refactoring-aware infrastructure for OO programs
Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level t...
Danny Dig, Kashif Manzoor, Tien N. Nguyen, Ralph J...
SIGCSE
2006
ACM
133views Education» more  SIGCSE 2006»
14 years 1 months ago
Design of class hierarchies: an introduction to OO program design
Viera K. Proulx, Kathryn E. Gray
POPL
2008
ACM
14 years 7 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
DEXA
1997
Springer
179views Database» more  DEXA 1997»
13 years 11 months ago
Linking Object-Oriented Conceptual Modeling with Object-Oriented Implementation in Java
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
BIRTHDAY
2006
Springer
13 years 11 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski