1940 search results - page 111 / 388 » Dependable Software: An Oxymoron |
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
ATVA
2006
Springer
14 years 21 days ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
EDO
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
PTS
2007
13 years 10 months ago
2007
The interrelationship between software faults and failures is quite intricate and obtaining a meaningful characterization of it would definitely help the testing community in decid...
ICEB
2004
13 years 10 months ago
2004
This research gives empirically grounded insights into e-business adoption in conjunction with factors usually considered in SWOT (Strengths, Weaknesses, Opportunities, and Threat...