-
3
-
-
0004285392
-
-
Englewood Cliffs, New Jersey: Prentice Hall Inc.
-
Boehm, B. W. 1981. Software Engineering Economics. Englewood Cliffs, New Jersey: Prentice Hall Inc.
-
(1981)
Software Engineering Economics
-
-
Boehm, B.W.1
-
5
-
-
0026865681
-
Estimating software fault content before coding
-
Melborne, Australia
-
Eick, S. G., Loader, C. R., Long, M. D., Vander Wiel, S. A., and Votta, L. G. 1992. Estimating software fault content before coding. Proceedings of the Fourteenth International Conference on Software Engineering. Melborne, Australia, 59-65.
-
(1992)
Proceedings of the Fourteenth International Conference on Software Engineering
, pp. 59-65
-
-
Eick, S.G.1
Loader, C.R.2
Long, M.D.3
Vander Wiel, S.A.4
Votta, L.G.5
-
6
-
-
0017292244
-
Design and code inspections to reduce errors in program development
-
Fagan, M. E. 1976. Design and code inspections to reduce errors in program development. IBM Systems Journal 15(2): 182-211.
-
(1976)
IBM Systems Journal
, vol.15
, Issue.2
, pp. 182-211
-
-
Fagan, M.E.1
-
7
-
-
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 11(1): 21-28.
-
(1994)
IEEE Software
, vol.11
, Issue.1
, pp. 21-28
-
-
Gerhart, S.1
Craigen, D.2
Ralston, T.3
-
9
-
-
0018918712
-
Specifying software requirements for complex systems: New techniques and their applications
-
Heninger, K. L. 1980. Specifying software requirements for complex systems: New techniques and their applications. IEEE Transactions on Software Engineering 6: 2-13.
-
(1980)
IEEE Transactions on Software Engineering
, vol.6
, pp. 2-13
-
-
Heninger, K.L.1
-
10
-
-
0004010083
-
-
Reading, Massachusetts: Addison-Wesley Publishing Co.
-
Humphery, W. S. 1989. Managing the Software Process. Reading, Massachusetts: Addison-Wesley Publishing Co.
-
(1989)
Managing the Software Process
-
-
Humphery, W.S.1
-
11
-
-
0004993377
-
-
Soft. Eng. Tech. Comm. of the IEEE Computer Society. IEEE Std 830-1984
-
IEEE. 1984. IEEE Guide to Software Requirements Specifications. Soft. Eng. Tech. Comm. of the IEEE Computer Society. IEEE Std 830-1984.
-
(1984)
IEEE Guide to Software Requirements Specifications
-
-
-
12
-
-
0005259051
-
-
Soft. Eng. Tech. Comm. of the IEEE Computer Society. IEEE Std 1028-1988
-
IEEE. 1989. IEEE Standard for Software Reviews and Audits. Soft. Eng. Tech. Comm. of the IEEE Computer Society. IEEE Std 1028-1988.
-
(1989)
IEEE Standard for Software Reviews and Audits
-
-
-
13
-
-
0004200824
-
-
Fort Worth, Texas: Holt, Rinehart and Winston, Inc.
-
Judd, C. M., Smith, E. R., and Kidder, L. H. 1991. Research Methods in Social Relations. Fort Worth, Texas: Holt, Rinehart and Winston, Inc.
-
(1991)
Research Methods in Social Relations
-
-
Judd, C.M.1
Smith, E.R.2
Kidder, L.H.3
-
16
-
-
0029325011
-
Comparing detection methods for software requirement inspections: A replicated experiment
-
Porter, A. A., Votta, L. G., and Basili, V. R. 1994. Comparing detection methods for software requirement inspections: A replicated experiment. IEEE Transactions on Software Engineering 21: 563-575.
-
(1994)
IEEE Transactions on Software Engineering
, vol.21
, pp. 563-575
-
-
Porter, A.A.1
Votta, L.G.2
Basili, V.R.3
-
17
-
-
84976738164
-
An experimental study of fault detection in user requirements
-
Schneider, G. M., Martin, J., and Tsai, W. T. 1992. An experimental study of fault detection in user requirements. ACM Transactions on Software Engineering and Methodology 1: 188-204.
-
(1992)
ACM Transactions on Software Engineering and Methodology
, vol.1
, pp. 188-204
-
-
Schneider, G.M.1
Martin, J.2
Tsai, W.T.3
-
18
-
-
10844246845
-
-
Queen's University, Kingston, Ontario, Canada, TR-90-276
-
vanSchouwen, J. 1990. The A-7 requirements model: Re-examination for real-time systems and an application to monitoring systems. Queen's University, Kingston, Ontario, Canada, TR-90-276.
-
(1990)
The A-7 Requirements Model: Re-examination for Real-time Systems and An Application to Monitoring Systems
-
-
VanSchouwen, J.1
-
21
-
-
1842483270
-
-
Software Engineering Institute, Pittsburgh, PA, CMU/SEI-89-TR-24
-
Wood, W. G. 1989. Temporal logic case study. Software Engineering Institute, Pittsburgh, PA, CMU/SEI-89-TR-24.
-
(1989)
Temporal Logic Case Study
-
-
Wood, W.G.1
|