643 search results - page 50 / 129 » tools 1998 |
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
CHI
1998
ACM
14 years 2 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...
CHI
1998
ACM
14 years 2 months ago
1998
ACM
Designing computer-based learning environments must account for the context in which activity occurs, the tasks that students perform, and the tools that facilitate these tasks. W...
AMAST
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...