Perspectives in Software Engineering

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AHO72	Alfred V. Aho , Jeffrey D. Ullman, The Theory of Parsing, Translation, and Compiling, Prentice Hall Professional Technical Reference, 1972
	ANSI66	American Standard FORTRAN, American Natl. Standards Inst., x3.9-1966, March, 1966.
	ANSI76	American Standard PL/1, American Natl. Standards Inst., x.53-1976, Aug., 1976.
	BAKE72	BAKER, F. T. "Chief programmer team management of production programmmg," IBM Syst. J. 11, 1 (1972), 56-73.
	BASI78	Victor R. Basili , Marvin V. Zelkowitz, Analyzing medium-scale software development, Proceedings of the 3rd international conference on Software engineering, p.116-123, May 10-12, 1978, Atlanta, Georgia, United States
	BASI75	BASILI, V.; AND TURNER, A. J. "Iterative enhancement: a practical technique for software development," IEEE Trans. Softw. Eng. 1, 4 (Dec. 1975), 390-396.
	BOEH75	B. W. Boehm , R. K. McClean , D. B. Urfrig, Some experience with automated aids to the design of large-scale reliable software, Proceedings of the international conference on Reliable software, p.105-113, April 21-23, 1975, Los Angeles, California
	BOEH77	BOEHM, B. "Seven basic principles of software engineering," in Infotech state of the art report on software engineering techniques, 1977, Infotech International Ltd., Maidenhead, UK, 1976.
	BRIN77	Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
	BROO75	Frederick P. Brooks, Jr., The mythical man-month (anniversary ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	CAIN75	CHINE, S. I'I., AND GORDON, E. K. "PDL--a tool for software design," m Proc. 1975 AFIPS Natl. Computer Conf., Vol. 44, AFIPS Press, Montvale, N. J., pp. 271-276.
	CONW78	CONWAY, R. A primer on d~sc~phned programming, Winthrop Publishers, Cambridge, Mass., 1978.
	CONW73	Richard W. Conway , Thomas R. Wilcox, Design and implementation of a diagnostic compiler for PL/I, Communications of the ACM, v.16 n.3, p.169-179, March 1973 [doi>10.1145/361972.361992]
	COOL65	COOLEY, J. W.; AND TUKEY, J. W. "An algorithm for the machine calculation of complex Fourier series," Math. Comput. 19, 90 (1965), 299-301.
	DAVI77	DAVIS, C. G.; AND VICK, C. R. "The software development system," IEEE Trans. Soflw. Eng. 3, 1 (Jan., 1977), 69-84.
	DENN76a	DENNING, P. J. "A hard look at structured programming," in Infotech state of the art report on structured programm~ng, 1976, Infotech International Ltd., Maidenhead, UK, pp. 183-202.
	DENN76b	Peter J. Denning, Fault Tolerant Operating Systems, ACM Computing Surveys (CSUR), v.8 n.4, p.359-389, Dec. 1976 [doi>10.1145/356678.356680]
	DIJK68	Edsger W. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, v.11 n.3, p.147-148, March 1968 [doi>10.1145/362929.362947]
	DIJK76	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	DOLO76	T. A. Dolotta , J. R. Mashey, An introduction to the Programmer's Workbench, Proceedings of the 2nd international conference on Software engineering, p.164-168, October 13-15, 1976, San Francisco, California, United States
	ENR61	"Everything about the Narrows Bridge is big, bigger, or biggest," Eng. News Record 166, June 29, 1961, 24-28.
	ENR64	"Narrows Bridge opens to traffic," Eng. News Record 173, Nov. 19, 1964, 33.
	ENR77	"Alaskan pipe cost probe hits snag," Eng. News Record 198, April 7, 1977, 14.
	FIFE77	FIFE, D. Computer software management: a primer for project management and qualtty control, Natl. Bureau of Standards, Inst. Computer Sciences and Technology, Special Publicatmns, April 1977.
	GALL65	GALLAGHER, P. F. Project est~mattng by engineering methods, Hayden Book Co., New York, 1965.
	GERH76	GERHART, S.; AND YELOWITZ, L. "Observations of fallibility in applications of modern programming methodologies," IEEE Trans. Soflw. Eng. 2, 3 (Sept. 1976), 195-207.
	GOOD75	GOODENOUGH, J. B.; AND GERHART, S. "Toward a theory of test data selection," IEEE Trans. Softw. Eng. 1, 2 (June 1975), 156-173.
	HALS77	Maurice H. Halstead, Elements of Software Science (Operating and programming systems series), Elsevier Science Inc., New York, NY, 1977
	HAMI76	HAMILTON, M.; AND ZELDIN, S. "Higher order software--a methodology for defimng software," IEEE Trans. Softw. Eng. 2, 1 (March 1976), 9-32.
	HOAR69	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	HUAN75	J. C. Huang, An Approach to Program Testing, ACM Computing Surveys (CSUR), v.7 n.3, p.113-128, Sept. 1975 [doi>10.1145/356651.356652]
	JEFF77	JEFFERY, S., AND LINDEN, T "Software engineering is engineering," in IEEE Computer Science and Engineering Curricula Workshop, 1977, IEEE, New York, pp. 112-115.
	KING69	James Cornelius King, A program verifier, 1970
	KNUT71	KNUTH, D. "An empirical study of FOR- TRAN programs." Softw. Pract Exper. 1, 2 (1971), 105-133.
	KNUT74	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974 [doi>10.1145/356635.356640]
	LISK75	LISKOV, B.; AND ZILLES, S. "Specification techniques for data abstractions," IEEE Trans. Softw Eng. 1, 1 (1975}, 9-19.
	LISK77	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	LOWR69	Edward S. Lowry , C. W. Medlock, Object code optimization, Communications of the ACM, v.12 n.1, p.13-22, Jan. 1969 [doi>10.1145/362835.362838]
	MILL76	MILLS, H. D. "Software development," IEEE Trans Softw. Eng. 2, 4 (1976), 265-273
	PARN72	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	PARN75	D. L. Parnas, The influence of software structure on reliability, Proceedings of the international conference on Reliable software, p.358-362, April 21-23, 1975, Los Angeles, California
	POPE77	G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, Proceedings of an ACM conference on Language design for reliable software, p.11-18, March 28-30, 1977, Raleigh, North Carolina
	PUTN77	PUTNAM, L.; AND WOLVERTON, a. Quantltatwe management, software cost estlmatmg, (tutorial), IEEE Computer Socmty, Nov. 1977, IEEE, New York..
	RAMA75	RAMAMOORTHY, C. V., AND HO, S. F "Testing large software with automated software evaluation systems," IEEE Trans. Softw Eng. 1, 1 (1975), 46-58.
	REIF76	Donald J. Reifer, The structured Fortran dilemma, ACM SIGPLAN Notices, v.11 n.2, p.30-32, February 1976 [doi>10.1145/956015.956018]
	RITC74	Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
	TEIC77	TEICHROEW, D.; AND HERSHEY, E. A. "PSL/PSA. a computer aided technique for structured documentahon and analys~s of information processing systems," IEEE Trans Softw Eng. 3, 1 (1977), 41-48.
	WALS77	WALSTON, C. E, AND FELIX, C. P. "A method of programming measurements and estimation," IBM Syst. J. 16, 1 (1977), 54-73.
	WEID77	Bruce Weide, A Survey of Analysis Techniques for Discrete Algorithms, ACM Computing Surveys (CSUR), v.9 n.4, p.291-313, Dec. 1977 [doi>10.1145/356707.356711]
	WEIN71	G. M. Weinberg, The psychology of computer programming, Van Nostrand Reinhold Co., New York, NY, 1988
	WIRT71	Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
	WIRT74	Niklaus Wirth, On the Composition of Well-Structured Programs, ACM Computing Surveys (CSUR), v.6 n.4, p.247-259, Dec. 1974 [doi>10.1145/356635.356639]
	WOLV74	WOLVERTON, R W. "The cost of developing large scale software," IEEE Trans. Comput. 23, 6 (1974), 615-636.
	WULF76	WULF. W.; LONDON, R, SHAW, M. "An introductmn to the constructmn and verification of ALPHARD programs," IEEE Trans Softw. Eng. 2, 4 (1976}, 253-264.
	YOUN67	YOUNGER, D. "Recognition and parsing of context-free languages in time n**3," Inf Control 10, 2 {1967), 189-208.
	ZELK75	Marvin V. Zelkowitz, Third generation compiler design, Proceedings of the 1975 annual conference, p.253-258, January 1975 [doi>10.1145/800181.810332]