Sciweavers

44 search results - page 3 / 9
» tools 1991
Sort
View
TOOLS
1991
IEEE
13 years 9 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...
VISUALIZATION
1991
IEEE
13 years 9 months ago
A Tool for Visualizing the Topology of Three-Dimensional Vector Fields
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...
Al Globus, C. Levit, T. Lasinski
ZUM
1991
Springer
13 years 9 months ago
The Use of Z
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
Rosalind Barden, Susan Stepney, David Cooper
COMPASS
1991
13 years 9 months ago
Label Algebras: A Systematic Use of Terms
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
Gilles Bernot, Pascale Le Gall
SIGGRAPH
1991
ACM
13 years 9 months ago
Sculpting: an interactive volumetric modeling technique
We present a new interactive modeling technique based on the notion of sculpting a solid material. A sculpting tool is controlled by a 3D input device and the material is represen...
Tinsley A. Galyean, John F. Hughes