Sciweavers

2969 search results - page 161 / 594
» The Case for User-Centered CASE Tools
Sort
View
BIRTHDAY
2005
Springer
16 years 1 days ago
Agents with Exact Foreknowledge
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
Jim Doran
CBSE
2004
Springer
15 years 12 months ago
A Framework for Reliability Assessment of Software Components
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 11 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
EWCBR
1998
Springer
15 years 10 months ago
Virtual Reality as an Environment for CBR
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
Ian Watson, Leonardo Oliveira
ISSTA
1996
ACM
15 years 10 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon