Sciweavers

5900 search results - page 1 / 1180
» Dependable Systems
Sort
View
JSS
2006
88views more  JSS 2006»
13 years 5 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
13 years 11 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»
13 years 5 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
13 years 6 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»
13 years 11 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