AMAST
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
ESEM
2007
ACM
14 years 4 months ago
2007
ACM
Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirica...
OOPSLA
1990
Springer
14 years 4 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
SCAM
2005
IEEE
14 years 6 months ago
2005
IEEE
The concept of software cohesion in both the procedural and object-oriented paradigm is well known and documented. What is not so well known or documented is the perception of wha...