2825 search results - page 19 / 565 » Support for Object-Oriented Testing |
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
CSCW
1996
ACM
14 years 26 days ago
1996
ACM
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
ASC
2000
13 years 10 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
TKDE
1998
13 years 8 months ago
1998
—We present a new access method, called the path dictionary index (PDI) method, for supporting nested queries on object-oriented databases. PDI supports object traversal and asso...