1073 search results - page 36 / 215 » Formal Program Development with Approximations |
IRI
2003
IEEE
14 years 1 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
BCS
2008
13 years 10 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
During the last years, speed-up techniques for DIJKSTRA’s algorithm have been developed that make the computation of shortest paths a matter of microseconds even on huge road net...