Sciweavers

1597 search results - page 52 / 320
» A Design Method for Object-Oriented Programming
Sort
View
130
Voted
SIGMOD
1996
ACM
120views Database» more  SIGMOD 1996»
15 years 7 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
15 years 4 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 7 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»
15 years 2 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 7 months ago
A Synthetic Reasoning Method for Conceptual Design
Masaki Ishii, Tetsuo Tomiyama, Hiroyuki Yoshikawa