Sciweavers

367 search results - page 42 / 74
» tools 1997
Sort
View
DBPL
1997
Springer
133views Database» more  DBPL 1997»
14 years 28 days ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
ICS
1997
Tsinghua U.
14 years 27 days ago
Compiler and Run-Time Support for Semi-Structured Applications
Adaptive mesh re nement (AMR) is a very important scienti c application. Several libraries implementing speci c distribution policies havebeen written for AMR. In this paper, we p...
Nikos Chrisochoides, Induprakas Kodukula, Keshav P...
ICSE
1997
IEEE-ACM
14 years 27 days ago
A Theory of Probabilistic Functional Testing
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
ICSE
1997
IEEE-ACM
14 years 27 days ago
Communication Metrics for Software Development
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
Bernd Brügge, Allen H. Dutoit
ICSE
1997
IEEE-ACM
14 years 27 days ago
A Case Study of Distributed, Asynchronous Software Inspection
Traditional software inspection requires participants to meet together at the same time in the same place. Distributed, asynchronous inspection allows participants to conduct meet...
Michael Stein, John Riedl, Sören J. Harner, V...