898 search results - page 42 / 180 » The Certification of Software Tools with respect to Software... |
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
APSEC
2001
IEEE
14 years 4 days ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
RE
2006
Springer
13 years 8 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
OSS
2009
Springer
14 years 1 months ago
2009
Springer
Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the ...
NAR
2010
13 years 3 months ago
2010
The Freiburg RNA tools web server integrates three tools for the advanced analysis of RNA in a common webbased user interface. The tools IntaRNA, ExpaRNA, and LocARNA support the ...