IUI
1998
ACM
14 years 6 days ago
1998
ACM
IUI
1998
ACM
14 years 6 days ago
1998
ACM
Expectation-Driven Event Monitoring (EDEM) provides developers with a platform for creating software agents to collect usage data and increase user involvement in the development ...
IUI
1998
ACM
14 years 6 days ago
1998
ACM
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
IUI
1998
ACM
14 years 6 days ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
IUI
1998
ACM
14 years 6 days ago
1998
ACM
Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affectin...
B
1998
Springer
14 years 6 days ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
B
1998
Springer
14 years 6 days ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
B
1998
Springer
14 years 6 days ago
1998
Springer
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
B
1998
Springer
14 years 6 days ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
ISSTA
1998
ACM
14 years 6 days ago
1998
ACM
