Sciweavers

5439 search results - page 120 / 1088
» Patterns: from system design to software testing
Sort
View
IJCCBS
2010
105views more  IJCCBS 2010»
13 years 7 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
14 years 3 months ago
Automated Testing of Generic Computational Science Libraries
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
Kirk Sayre, Jesse H. Poore
ERLANG
2008
ACM
13 years 10 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
WER
2004
Springer
14 years 2 months ago
A pattern language to join early and late requirements
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
Alicia Martínez, Oscar Pastor, Hugo Estrada
AOSD
2007
ACM
14 years 29 days ago
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, W...