Sciweavers

3555 search results - page 28 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
SAFECOMP
2004
Springer
15 years 6 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
WORDS
2005
IEEE
15 years 6 months ago
Error Recovery for a Boiler System with OTS PID Controller
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Ro...
IFIP
2007
Springer
15 years 7 months ago
Extending GQM by Argument Structures
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
Lukasz Cyra, Janusz Górski
SAC
2005
ACM
15 years 6 months ago
A case study on building COTS-based system using aspect-oriented programming
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
Axel Anders Kvale, Jingyue Li, Reidar Conradi
HICSS
2003
IEEE
119views Biometrics» more  HICSS 2003»
15 years 6 months ago
A First Person IP over HDSL Case Study
As many authors have articulated, the “last mile problem” is often cited as a persistent engineering obstacle in deploying residential broadband solutions. Additionally, some ...
Wayne Smith