3799 search results - page 62 / 760 » An Engineering Approach to Formal Methods |
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ESEM
2007
ACM
13 years 9 months ago
2007
ACM
The quality of software measurement data affects the accuracy of project manager’s decision making using estimation or prediction models and the understanding of real project st...
JOT
2006
13 years 7 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
FASE
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...