474 search results - page 58 / 95 » Assurance Based Development of Critical Systems |
134
click to vote
SCS
2004
15 years 5 months ago
2004
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
137
click to vote
RE
2002
Springer
15 years 4 months ago
2002
Springer
The elicitation or communication of user requirements comprises an early and critical but highly error-prone stage in system development. Socially-oriented methodologies provide m...
180
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
169
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
140
click to vote
WECWIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Market players that can respond to critical business events faster than their competitors will end up as winners in the fast moving economy. Event-based systems have been develope...