Sciweavers

1597 search results - page 52 / 320
» A Design Method for Object-Oriented Programming
Sort
View
SIGMOD
1996
ACM
120views Database» more  SIGMOD 1996»
15 years 2 months ago
Query Execution Techniques for Caching Expensive Methods
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
Joseph M. Hellerstein, Jeffrey F. Naughton
DAGSTUHL
2006
14 years 11 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
SEKE
2001
Springer
15 years 2 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
JOT
2008
144views more  JOT 2008»
14 years 10 months ago
JAPROSIM: A Java framework for Process Interaction Discrete Event Simulation
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
Bourouis Abdelhabib, Belattar Brahim
IFIP
1993
Springer
15 years 2 months ago
A Synthetic Reasoning Method for Conceptual Design
Masaki Ishii, Tetsuo Tomiyama, Hiroyuki Yoshikawa