-
1
-
-
0028257391
-
Critical system properties: Survey and taxonomy
-
Rushby, J. (1994) 'Critical system properties: survey and taxonomy', Reliability Engineering and System Safety, Vol. 43, No. 1, pp. 189-219.
-
(1994)
Reliability Engineering and System Safety
, vol.43
, Issue.1
, pp. 189-219
-
-
Rushby, J.1
-
4
-
-
0026188075
-
Safety verification of ADA programs using software fault trees
-
Leverson, N., Cha, S. and Shimeall, T. (1991) 'Safety verification of ADA programs using software fault trees', IEEE Software, Vol. 9, No. 7, pp.48-57.
-
(1991)
IEEE Software
, vol.9
, Issue.7
, pp. 48-57
-
-
Leverson, N.1
Cha, S.2
Shimeall, T.3
-
5
-
-
0025436318
-
Evaluation of safety critical software
-
Parnas, D., van Schouwen, A. and Kwan, S. (1990) 'Evaluation of safety critical software', Communications of the ACM, Vol. 33, No. 6, pp. 636-648.
-
(1990)
Communications of the ACM
, vol.33
, Issue.6
, pp. 636-648
-
-
Parnas, D.1
Van Schouwen, A.2
Kwan, S.3
-
7
-
-
85081433070
-
A growing gap in software
-
Newport, J. (1986) 'A growing gap in software', Fortune, Vol. 124, No. 15, pp.56-61.
-
(1986)
Fortune
, vol.124
, Issue.15
, pp. 56-61
-
-
Newport, J.1
-
8
-
-
85081428762
-
-
Washington, DC, US Government Printing Office
-
United States Department of Defence (1988) Military Standard 882B, Washington, DC, US Government Printing Office.
-
(1988)
Military Standard 882B
-
-
-
9
-
-
85081429315
-
-
Washington, DC, US Government Printing Office
-
United States Air Force (1991) Software Systems Safety Handbook (SSHI-1), Washington, DC, US Government Printing Office.
-
(1991)
Software Systems Safety Handbook (SSHI-1)
-
-
-
11
-
-
0028203155
-
Critical task of writing dependable software
-
Knight, J. and Littlewood, B. (1994) 'Critical task of writing dependable software', IEEE Sofware, Vol. 11, No. 1, pp.16-20.
-
(1994)
IEEE Sofware
, vol.11
, Issue.1
, pp. 16-20
-
-
Knight, J.1
Littlewood, B.2
-
12
-
-
0042023007
-
Formal methods: Use and relevance for the development of safety-critical systems
-
Barroca, L. and McDermid, J. (1992) 'Formal methods: Use and relevance for the development of safety-critical systems', The Computer Journal, Vol. 35, No. 6, pp.579-591.
-
(1992)
The Computer Journal
, vol.35
, Issue.6
, pp. 579-591
-
-
Barroca, L.1
McDermid, J.2
-
13
-
-
0028194745
-
Experience with formal methods in critical systems
-
Gerhart, S., Craigen, D. and Ralston, T. (1994) 'Experience with formal methods in critical systems', IEEE Software, Vol. 11, No. 1, pp.21-30.
-
(1994)
IEEE Software
, vol.11
, Issue.1
, pp. 21-30
-
-
Gerhart, S.1
Craigen, D.2
Ralston, T.3
-
14
-
-
85081423901
-
Comprehensive safety analysis technique
-
Allocco, M. (1992) 'Comprehensive safety analysis technique', Professional Safety, Vol. 37, No. 4, pp.26-29.
-
(1992)
Professional Safety
, vol.37
, Issue.4
, pp. 26-29
-
-
Allocco, M.1
-
15
-
-
85081424038
-
Design phase considerations for safety critical software systems
-
Gowen, L.D. and Collofello, J.S. (1995) 'Design phase considerations for safety critical software systems', Professional Safety, Vol. 40, No. 7, pp.20-25.
-
(1995)
Professional Safety
, vol.40
, Issue.7
, pp. 20-25
-
-
Gowen, L.D.1
Collofello, J.S.2
-
16
-
-
0027223780
-
Model Management: Issues and Directions
-
Chang, A., Holsapple, C. and Whinston, A.B. (1993) 'Model Management: Issues and Directions', Decision Support Systems, Vol. 9, No. 1, pp.19-37.
-
(1993)
Decision Support Systems
, vol.9
, Issue.1
, pp. 19-37
-
-
Chang, A.1
Holsapple, C.2
Whinston, A.B.3
-
17
-
-
0002890033
-
A hyperknowledge framework of decision support systems
-
Chang, A., Holsapple, C. and Whinston, A.B. (1994) 'A hyperknowledge framework of decision support systems', Information Processing and Management, Vol. 30, No. 4, pp.473-498.
-
(1994)
Information Processing and Management
, vol.30
, Issue.4
, pp. 473-498
-
-
Chang, A.1
Holsapple, C.2
Whinston, A.B.3
-
20
-
-
0003964033
-
-
Cambridge, MA, M.I.T. Center for Advanced Engineering Study, Cambridge University Press
-
Deming, W. (1988) Out of the Crisis, Cambridge, MA, M.I.T. Center for Advanced Engineering Study, Cambridge University Press.
-
(1988)
Out of the Crisis
-
-
Deming, W.1
-
21
-
-
0027634073
-
TQM in software development organizations
-
Powers, J. (1993) 'TQM in software development organizations', Quality Progress, Vol. 38, No. 11, pp.79-80.
-
(1993)
Quality Progress
, vol.38
, Issue.11
, pp. 79-80
-
-
Powers, J.1
-
22
-
-
0027677456
-
TQM for technical teams
-
Zultner, R.E. (1993) 'TQM for technical teams', Communications of the ACM, Vol. 36, No. 2, pp.79-90.
-
(1993)
Communications of the ACM
, vol.36
, Issue.2
, pp. 79-90
-
-
Zultner, R.E.1
-
25
-
-
84977289768
-
Total quality management for a large software project
-
Colson, J. and Prell, J. (1992) 'Total quality management for a large software project', AT & T Technical Journal, Vol. 71, No. 3, pp.4855.
-
(1992)
AT & T Technical Journal
, vol.71
, Issue.3
, pp. 4855
-
-
Colson, J.1
Prell, J.2
|