Sciweavers

5900 search results - page 1 / 1180
» Dependable Systems
Sort
View
JSS
2006
88views more  JSS 2006»
14 years 10 months ago
A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability
The dependability of a system is contextually subjective and reflects the particular stakeholder
Paolo Donzelli, Victor R. Basili
IEEEARES
2006
IEEE
15 years 4 months ago
E-voting: Dependability Requirements and Design for Dependability
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, L...
JFP
2007
112views more  JFP 2007»
14 years 10 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
MODELLIERUNG
2001
14 years 11 months ago
Dependency Charts as a Means to Model Inter-Scenario Dependencies
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
Johannes Ryser, Martin Glinz
DATE
2005
IEEE
148views Hardware» more  DATE 2005»
15 years 3 months ago
A Dependability-Driven System-Level Design Approach for Embedded Systems
The objective of this paper is to introduce dependability as an optimization criterion in the system-level design process of embedded systems. Given the pervasiveness of embedded ...
Arshad Jhumka, Stephan Klaus, Sorin A. Huss