596 search results - page 44 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
150
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
161
click to vote
COSIT
2009
Springer
16 years 18 days ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
130
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
160
click to vote
RAS
2000
15 years 5 months ago
2000
We address the problem of visual-based navigation of a mobile robot in indoors environments. The robot control system is based on a single camera to provide the required visual fe...
144
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....