2274 search results - page 378 / 455 » Qualitative Modeling for Requirements Engineering |
192
Voted
IJVR
2006
15 years 5 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
174
click to vote
DEXAW
1999
IEEE
15 years 9 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
200
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
162
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Geospatial image data obtained by satellites and aircraft are increasingly important to a wide range of applications, such as disaster management, climatology, and environmental m...
147
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...