596 search results - page 39 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
144
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
153
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
198
click to vote
CIBSE
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
157
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We analyze the problem of detecting a road target in background clutter and investigate the amount of prior (i.e. target specific) knowledge needed to perform this search task. Th...
153
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...