1031 search results - page 47 / 207 » On the Formal Development of Safety-Critical Software |
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic diļ¬erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
ACOM
2006
Springer
14 years 1 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
JOT
2010
13 years 6 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...