Sciweavers

2105 search results - page 240 / 421
» Decoupling in Object Orientation
Sort
View
VMCAI
2004
Springer
15 years 11 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
148
Voted
ICEIS
2003
IEEE
15 years 11 months ago
A Bitemporal Storage Structure for a Corporate Data Warehouse
: This paper brings together two research areas, i.e. “Data Warehouses” and “Temporal Databases”, involving representation of time. Looking at temporal aspects within a dat...
Alberto Abelló, Carme Martín
181
Voted
TOOLS
2000
IEEE
15 years 10 months ago
Automating Delegation in Class-Based Languages
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...
John Viega, Paul Reynolds, Reimer Behrends
ECOOPW
1999
Springer
15 years 10 months ago
The GOODLY Design Language for MOOD2 Metrics Collection
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
Fernando Brito e Abreu, Luis Ochoa, Miguel Goul&at...
SIGADA
1998
Springer
15 years 10 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford