Sciweavers

596 search results - page 40 / 120
» On the Use of Visualization in Formal Requirements Specifica...
Sort
View
TIME
2000
IEEE
15 years 10 months ago
A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
Robert Kosara, Silvia Miksch
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 10 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
HASE
1999
IEEE
15 years 10 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
15 years 10 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...
CVHI
2007
15 years 7 months ago
Design Implications for a Ubiquitous Ambient Sound Display for the Deaf
: Previous work already investigated the value of ambient sound visualizations for deaf and hearing-impaired people. Our work builds upon these results and specifically explores th...
Martin Tomitsch, Thomas Grechenig