Sciweavers

738 search results - page 41 / 148
» Object Orientation and Formal Techniques
Sort
View
ICDE
1996
IEEE
126views Database» more  ICDE 1996»
16 years 10 days ago
Using Object-Oriented Principles to Optimize Update Propagation to Materialized Views
View materialization is known to be a valuable technique for performance optimization in relational databases, and much work has been done addressing the problem of consistently m...
Harumi A. Kuno, Elke A. Rundensteiner
WCRE
2008
IEEE
15 years 5 months ago
Discovering New Change Patterns in Object-Oriented Systems
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
Stéphane Vaucher, Houari A. Sahraoui, Jean ...
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
15 years 4 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
HICSS
1999
IEEE
152views Biometrics» more  HICSS 1999»
15 years 3 months ago
Incorporating Semantic Relationships into an Object-Oriented Database System
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...
Li-min Liu, Michael Halper
ICSM
1999
IEEE
15 years 3 months ago
Hot Spot Recovery in Object-Oriented Software with Inheritance and Composition Template Methods
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...
Reinhard Schauer, Sébastien Robitaille, Fra...