1426 search results - page 126 / 286 » Specification of nonmonotonic reasoning |
205
click to vote
VL
2006
IEEE
16 years 26 days ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
187
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
173
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Specifications of data computations may not necessarily describe the ranges of the intermediate results that can be generated. However, such information is critical to determine t...
179
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
185
click to vote
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
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...