1724 search results - page 20 / 345 » Industrial applications |
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
FM
2009
Springer
15 years 4 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Bearing in mind the changeable and complicated needs of business environment, in this paper we examine the necessity of evolution in the traditional decision support techniques. Ou...
CSCWD
2008
Springer
14 years 11 months ago
2008
Springer
The industry requires innovative technologies to support the numeric design and simulation of manufactured products in order to reduce time to market delays and improve the perfor...
SSIRI
2010
15 years 1 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...