596 search results - page 40 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
150
click to vote
TIME
2000
IEEE
15 years 10 months ago
2000
IEEE
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...
160
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Ð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...
177
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
171
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
137
click to vote
CVHI
2007
15 years 7 months ago
2007
: 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...