6343 search results - page 991 / 1269 » Development of a Cartographic Language |
186
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
165
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
203
click to vote
SCESM
2006
ACM
16 years 19 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
270
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
176
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...