4880 search results - page 90 / 976 » Manuals as Structured Programs |
149
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
137
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
131
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
110
click to vote
JOT
2007
15 years 3 months ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
203
click to vote
DLS
2009
15 years 1 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...