171 search results - page 19 / 35 » Precise Documentation of Critical Software |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
HCI
2009
13 years 5 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
ER
2006
Springer
13 years 9 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional techniques of traceability detection and management are not equipped to handle evolution. This is a problem for the field of software architecture, where it is critica...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...