8132 search results - page 199 / 1627 » Dependability, Abstraction, and Programming |
168
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
195
click to vote
TSE
2008
15 years 6 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
144
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
127
click to vote
SLP
1990
15 years 7 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
149
click to vote
JOT
2006
15 years 6 months ago
2006
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...