338 search results - page 32 / 68 » Safety Methods in Software Process Improvement |
IHM
2009
ACM
14 years 3 months ago
2009
ACM
This paper introduces a “design mixer” approach to usercentred interactive software design. This method overcomes the limits of a design process that favours the handling/mana...
DAGSTUHL
2006
13 years 10 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
ASE
2008
13 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...