4418 search results - page 1 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
HYBRID
1992
Springer
13 years 8 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
13 years 10 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...
VSTTE
2010
Springer
13 years 3 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
SAC
2002
ACM
13 years 5 months ago
2002
ACM
INDIASE
2009
ACM
13 years 10 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...