-
4
-
-
0018014988
-
Software engineering - the turning point
-
Sep
-
Anthony I. Wasserman, L.A. Belady, “Software engineering - the turning point”, Computer, 1978 Sep, pp 30-41.
-
(1978)
Computer
, pp. 30-41
-
-
Wasserman, A.I.1
Belady, L.A.2
-
5
-
-
84939700655
-
-
unpublished private correspondence
-
R.O. Lewis, unpublished private correspondence.
-
-
-
Lewis, R.O.1
-
8
-
-
0005542325
-
-
IIT Research Institute, Catalog No. RDH-376 March
-
R.T. Anderson, Reliability Design Handbook, IIT Research Institute, Catalog No. RDH-376, 1976 March.
-
(1976)
Reliability Design Handbook
-
-
Anderson, R.T.1
-
9
-
-
84939728453
-
-
TRW Software Technology Series North-Holland Publishing Co New York
-
T.A. Thayer, M. Lipow, E.C. Nelson, Software Reliability - A Study of Large Large Project Reality, TRW Software Technology Series, Volume 2, North-Holland Publishing Co., New York, 1978.
-
(1978)
Software Reliability A Study of Large Large Project Reality
, vol.2
-
-
Thayer, T.A.1
Lipow, M.2
Nelson, E.C.3
-
10
-
-
84939747729
-
Lloyd, Myron Lipow
-
Second Edition Published by the Authors, Redondo Beach California
-
David K. Lloyd, Myron Lipow, Reliability: Management, Methods, and Mathematics, Second Edition, Published by the Authors, Redondo Beach, California, 1977, p 502.
-
(1977)
Reliability: Management, Methods, and Mathematics
, pp. 502.
-
-
David1
-
12
-
-
84865356083
-
-
TRW-SS-77-04 November
-
R.J. Lano, The N2 Chart, TRW-SS-77-04, 1977 November.
-
(1977)
The N2 Chart
-
-
Lano, R.J.1
-
13
-
-
84939753315
-
Use of symbolic execution in verification and validation
-
NASA Conf. Publ. 2064 Nov
-
M.S. Fuju, M.A. Ikezawa, “Use of symbolic execution in verification and validation”, Tools for Embedded Computer System Software, NASA Conf. Publ. 2064, 1978 Nov, pp 113–116.
-
(1978)
Tools for Embedded Computer System Software
, pp. 113-116
-
-
Fuju, M.S.1
Ikezawa, M.A.2
-
14
-
-
0016779598
-
A view of program verification
-
IEEE Catalog No. 75CH0940- 7CSR Apr.
-
R.L. London, “A view of program verification,” in Proc. International Conf. Reliable Software, IEEE Catalog No. 75CH0940- 7CSR, 1975 Apr, pp 534–545.
-
(1975)
Proc. International Conf. Reliable Software
, pp. 534-545
-
-
London, R.L.1
-
15
-
-
84939718958
-
A panel session-formal methods in programming ming - when will they be practical?
-
Jun
-
K.N. Levitt, et al., “A panel session-formal methods in programming ming - when will they be practical?” Proc. 1978 National Computer Conf. AFIPS Press, 1978 Jun, pp 665–668.
-
(1978)
Proc. National Computer Conf AFIPS Press
, pp. 665-668
-
-
Levitt, K.N.1
-
17
-
-
84915063617
-
An approach to error resistant software design
-
IEEE Cat. No. 76CH1125-4C Oct.
-
S.S. Yau, R.C. Cheung, D.C. Cochrane, “An approach to error resistant software design,” Proc. 2nd International Conf Software Engineering, IEEE Cat. No. 76CH1125-4C, 1976 Oct, pp 429–436.
-
(1976)
Proc. 2nd International Conf Software Engineering
, pp. 429-436
-
-
Yau, S.S.1
Cheung, R.C.2
Cochrane, D.C.3
-
18
-
-
0017215219
-
Fault-tolerant software for real-time applications
-
Dec.
-
H. Hecht, “Fault-tolerant software for real-time applications,” ACM Computing Surveys, vol 8, 1976 Dec, pp 391–407.
-
(1976)
ACM Computing Surveys
, vol.8
, pp. 391
-
-
Hecht, H.1
-
19
-
-
0016522101
-
System structure for software fault tolerance
-
Jun
-
B. Randall, “System structure for software fault tolerance,” IEEE Trans. Software Engineering, vol 1, 1975 Jun, pp 220–232.
-
(1975)
IEEE Trans. Software Engineering
, vol.1
, pp. 220-232
-
-
Randall, B.1
-
20
-
-
84908632429
-
Software failure modes and effects analysis
-
Los Angleles Apr.
-
A. Frimtzis, M. Lipow, D. Reifer, “Software failure modes and effects analysis,” Proc. Industry/SAMSO Conf. and Workshop on Mission Assurance, Los Angleles, 1978 Apr, pp 154–154.
-
(1978)
Proc. Industry/SAMSO Conf. and Workshop on Mission Assurance
, pp. 154
-
-
Frimtzis, A.1
Lipow, M.2
Reifer, D.3
|