Searching for "Software Safety Why, What, and How." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Software safety: Why, what and how
- …Software Safety: Why, What, and How NANCY G. LEVESON Department of Information and Computer…
- Cited by 44 (2 self) – Add To MetaCart
-
Critical System Properties: Survey and Taxonomy
- … 1984. [Lev86] Nancy G. Leveson. Software safety: Why, what and how. ACM Computing Surveys, 18…
- Cited by 54 (2 self) – Add To MetaCart
-
Quality Measures and Assurance for AI Software
- …, SE-9(5):569--579, September 1983. [121] Nancy G. Leveson. Software safety: Why, what and how. ACM…
- Cited by 4 (1 self) – Add To MetaCart
-
Schema Types
- …(10):845--857. Leveson, N. (1986). Software safety: Why, what, and how. Computing Surveys, 18(2):125--163. Leveson, N…
- Add To MetaCart
-
System and Software Safety in Critical Systems
- …'s classic paper Software Safety: Why, What, and How [71] was published. During this time, the use…
- Cited by 4 (0 self) – Add To MetaCart
-
Measures and Techniques for Software Quality Assurance
- … of faults. Journal of the ACM, 32(1):52--78, January 1985. [83] Nancy G. Leveson. Software safety: Why, what…
- Add To MetaCart
-
A functional correctness model of program verification
- …, June 1990, pp. 636-648. 6. N. Leveson, “Software Safety: Why, What and How,” Computing Surveys, Vol. 18…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
