-
2
-
-
0005259051
-
-
Soft. Eng. Tech. Comm. of the IEEE Computer Society IEEE Std. 1028-1988
-
IEEE Standard for Software Reviews and Audits, Soft. Eng. Tech. Comm. of the IEEE Computer Society, 1989, IEEE Std. 1028-1988.
-
(1989)
IEEE Standard for Software Reviews and Audits
-
-
-
5
-
-
0017292244
-
Design and code inspections to reduce errors in program development
-
M.E. Fagan, “Design and code inspections to reduce errors in program development,” IBM Systems J., vol. 15, no. 3, pp. 182-211, 1976.
-
(1976)
IBM Systems J.
, vol.15
, Issue.3
, pp. 182-211
-
-
Fagan, M.E.1
-
7
-
-
0004200824
-
-
Fort Worth, Tex.: Holt, Rinehart and Winston, Inc., 6th edition
-
C.M. Judd, E.R. Smith, and L.H. Kidder, Research Methods in Social Relations, Fort Worth, Tex.: Holt, Rinehart and Winston, Inc., 6th edition, 1991.
-
(1991)
Research Methods in Social Relations
-
-
Judd, C.M.1
Smith, E.R.2
Kidder, L.H.3
-
8
-
-
0028565862
-
Lessons from using basic lottos
-
Sorrento, Italy, May
-
M.A. Ardis, “Lessons from using basic lottos,” Proc. 16th Int'l Conf. Software Eng., Sorrento, Italy, May 1994, pp. 5-14.
-
(1994)
Proc. 16th Int'l Conf. Software Eng.
, pp. 5-14
-
-
Ardis, M.A.1
-
9
-
-
0028194745
-
Experience with formal methods in critical systems
-
Jan.
-
S. Gerhart, D. Craigen, and T. Ralston, “Experience with formal methods in critical systems,” IEEE Software, vol. 11, no. 1, pp. 21-28, Jan. 1994.
-
(1994)
IEEE Software
, vol.11
, Issue.1
, pp. 21-28
-
-
Gerhart, S.1
Craigen, D.2
Ralston, T.3
-
10
-
-
0026865681
-
Estimating software fault content before coding
-
May
-
S.G. Eick, C.R. Loader, M.D. Long, S.A. Vander Wiel, and L.G. Votta, “Estimating software fault content before coding,” Proc. 14th Int'l Conf. Software Eng., May 1992, pp. 59-65.
-
(1992)
Proc. 14th Int'l Conf. Software Eng.
, pp. 59-65
-
-
Eick, S.G.1
Loader, C.R.2
Long, M.D.3
Vander Wiel, S.A.4
Votta, L.G.5
-
13
-
-
0018918712
-
Specifying software requirements fox complex systems: New techniques and their application
-
Jan.
-
K.L. Heninger, “Specifying software requirements fox complex systems: New techniques and their application,” IEEE Trans. Software Eng., vol. SE-6, no. 1, pp. 2-13, Jan. 1980.
-
(1980)
IEEE Trans. Software Eng.
, vol.SE-6
, Issue.1
, pp. 2-13
-
-
Heninger, K.L.1
-
14
-
-
1842483270
-
-
Tech. Report CMU/SEI-89-TR-24, Software Eng. Inst., Pittsburgh, Penn., Aug.
-
W.G. Wood, “Temporal logic case study,” Tech. Report CMU/SEI-89-TR-24, Software Eng. Inst., Pittsburgh, Penn., Aug. 1989.
-
(1989)
“Temporal logic case study,”
-
-
Wood, W.G.1
-
15
-
-
0003674924
-
-
Tech. Report TR-90-276, Queen's Univ., Kingston, Ont., Canada, May
-
J. van Schouwen, “The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems,” Tech. Report TR-90-276, Queen's Univ., Kingston, Ont., Canada, May 1990.
-
(1990)
“The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems,”
-
-
van Schouwen, J.1
-
17
-
-
84976738164
-
An experimental study of fault detection in user requirements
-
Apr.
-
G.M. Schneider, J. Martin, and W.T. Tsai, “An experimental study of fault detection in user requirements,” ACM Trans. Software Eng. and Methodology, vol. 1, no. 2, pp. 188-204, Apr. 1992.
-
(1992)
ACM Trans. Software Eng. and Methodology
, vol.1
, Issue.2
, pp. 188-204
-
-
Schneider, G.M.1
Martin, J.2
Tsai, W.T.3
-
18
-
-
0003615313
-
Evaluation of a software requirements document by analysis of change data
-
San Diego, Calif., Mar.
-
V.R. Basili and D.M. Weiss, “Evaluation of a software requirements document by analysis of change data,” Proc. Fifth Int'l Conf. Software Eng., San Diego, Calif., Mar. 1981, pp. 314-323.
-
(1981)
Proc. Fifth Int'l Conf. Software Eng.
, pp. 314-323
-
-
Basili, V.R.1
Weiss, D.M.2
-
19
-
-
0004993377
-
-
Soft. Eng. Tech. Comm. of the IEEE Computer Society IEEE Std. 830-1984
-
IEEE Guide to Software Requirements Specifications, Soft. Eng. Tech. Comm. of the IEEE Computer Society, 1984, IEEE Std. 830-1984.
-
(1984)
IEEE Guide to Software Requirements Specifications
-
-
|