Sciweavers

53 search results - page 6 / 11
» User-Centered Methods Are Insufficient for Safety Critical S...
Sort
View
JTRES
2010
ACM
13 years 7 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
SIGMOD
2003
ACM
99views Database» more  SIGMOD 2003»
14 years 7 months ago
Research issues for data communication in mobile ad-hoc network database systems
Mobile Ad-hoc Networks (MANET) is an emerging area of research. Most current work is centered on routing issues. This paper discusses the issues associated with data communication...
Leslie D. Fife, Le Gruenwald
WIRTSCHAFTSINFORMATI
2003
13 years 8 months ago
Using Management Objectives to Specify Management Information Systems - A Contribution to MIS Success
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...
Jörg Becker, Alexander Dreiling, Michael Ribb...
HCI
2009
13 years 5 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
IEEEARES
2006
IEEE
14 years 1 months ago
Application of the Digraph Method in System Fault Diagnostics
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
E. M. Kelly, L. M. Bartlett