4752 search results - page 276 / 951 » Dependability in Web Software |
158
click to vote
ISESE
2005
IEEE
16 years 5 days ago
2005
IEEE
The success of software projects depends on the ability of a human planner to understand the relationships of tasks and their temporal uncertainty and hence the visualization ther...
172
click to vote
WCRE
2005
IEEE
16 years 4 days ago
2005
IEEE
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
151
click to vote
KBSE
2003
IEEE
15 years 12 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 ...
204
click to vote
ATVA
2006
Springer
15 years 10 months 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...
174
click to vote
EDO
2000
Springer
15 years 10 months 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....