328 search results - page 32 / 66 » Software engineering for safety: a roadmap |
142
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
139
click to vote
ECSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
159
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
191
click to vote
REFSQ
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
165
Voted
CODES
2008
IEEE
16 years 8 days ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...