171 search results - page 2 / 35 » Precise Documentation of Critical Software |
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
13 years 11 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
ICSE
2003
IEEE-ACM
13 years 11 months ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...
SAFECOMP
2007
Springer
14 years 11 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
ICSE
2003
IEEE-ACM
14 years 6 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
UML
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...