|
REFERENCES
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.
| |
AKIY71
|
AKIYAMA, F. "An example of software system debugging," Proc. IFIP Congress, pp. 353-358, 1971.
|
| |
BARL75
|
BARLOW, R. E., AND PROSCHAN, F. Mathemattcal theory of rehabdtty, Holt, Rinehart and Winston, New York, 1975.
|
| |
BASI75
|
BASILI, V. R., AND TURNER, A J. "A transportable extendable compiler," Software--Practwe and Experience 5 (July 1975), 269-278.
|
| |
BELA76
|
BELADY, L. A., ANt) LEHMANN, M. M. "A model of large program development," IBM Syst. J. 3 (1976), 225-252.
|
| |
BERG73
|
BEROE, C. Graphs and hypergraphs, American Elsevier, New York, 1973.
|
| |
BLAZ69
|
BLAZER, R.H. "EXDAMS--extensible debugging and monitoring system," in Proc. AFIPS 1969 Spring Jt. Computer Conf., Vol. 34, AFIPS Press, Montvale, N.J., pp. 567-580, 1969.
|
| |
BOEH73a
|
BOEHM, B.W. "Software and its impact; a quantitative assessment," Datamation, (May 1973), 48-59.
|
| |
BOEH73b
|
BOEHM, B.W. "The high cost of software," in Proc. Symp. High Cost of Software, Jack Goldberg (Ed.), SRI International, Menlo Park, Calif., 1973, pp. 27--40
|
| |
BROW75
|
BROWN, J R., AND LIPOW, M. Testing for software rehabd~ty, TRW Rep. TRW- SS-75-02, TRW, Redondo Beach, Cahf, Jan 1975.
|
| |
CHAN73
|
|
| |
CHAN74
|
|
| |
DEO74
|
|
| |
DILW50
|
DILWORTH, R. P "A decomposition theorem for partially ordered sets," Ann. Math. 51, 1 (Jan. 1950).
|
 |
FITZ78
|
|
| |
FUNA76
|
FUSAMI, Y., AND HALSTEAD, M. H "A software physics analysis of Aklyama's debugging data," m Proc. MRI Symp. Computer Software Engmeering, J Fox (Ed), Polytechnic Press, New York, 1976, pp. 133-138.
|
 |
GILE74
|
|
| |
GORD67
|
GORDON, C. K JR. Introductton to mathematical structures, Dmkenson Publishing Co., Belmont, Calif., 1967.
|
 |
HALS72
|
|
| |
HALS75a
|
HALSTEAD, M. H. Software physws basw principles, IBM Res. Rep. RJ 1582, IBM Research Lab., San Jose, Calif, May 1975
|
 |
HALS75b
|
|
| |
HALS77
|
|
| |
HAMI78
|
|
| |
HAML77
|
HAMLET, R.G. "Testing programs with the aid of a compiler," IEEE Trans Cornput. SE-3, 4 (July 1977).
|
| |
HELL72
|
HELLERMAN, L. "A Measure of computational work," IEEE Trans. Comput. C-21, 5 (May 1972), 439-446.
|
| |
HETC77
|
HETCHT, H. Measurement esttmatmn and prediction of software reliabdtty, NASA-CR-145205, NASA Langley Research Center, Jan. 1977.
|
| |
HETZ73
|
HETZEL, W.C. "Principles of computer program testing," in Program test methods, Prentice-Hall, Englewood Cliffs, N.J., 1973, pp. 17-28.
|
 |
HOAR71
|
|
| |
HOWD76
|
HOWDEN, W.E. "Rehabflity of the path analysis testing strategy," IEEE Trans. Software Eng. SE-2, 3 (Sept. 1976).
|
| |
JELI72
|
JELINSKI, J., AND MORANDA, P. B. "Software rehabillty research," m Probabdtstic models for software, W. Freiberger (Ed), Academic Press, New York, 1972, pp. 485-502.
|
| |
KING70
|
KING, J. C "A verifying compiler," m Debugging techntques m large systems, R. Rustin (Ed), Prentice-Hall, Englewood Chffs, N.J., 1970, pp. 17-39.
|
| |
KLOB77
|
KLOBERT, R. K. "Calculatmn of error process of computer program," m Proc. Computers m Aerospace Conf., Los Angeles, Nov. 1977, pp 422-426.
|
| |
LAEM77
|
LAEMMEL, A, AND SHOOMAN, M. Statistical (natural) language theory and computer program complextty, Poly-EE/ EP-76-020, Dept Electrical Engineering and Electrophysics, Polytechmc Inst. of New York, Brooklyn, N Y., Aug 1977.
|
| |
LIPO73
|
LIPOW, M. Applwatmn of algebraw methods to computer program analysis, TRW 2260 1.9-73B9, TRW, Redondo Beach, Cahf, May 1973.
|
| |
LITT73
|
LITTLEWOOD, B., AND VERRALL, J. L "A Bayesmn reliabihty growth model for computer software," in 1973 IEEE Syrup. Computer Software Reliabd~ty, New York, April 1973, pp. 70-77.
|
| |
LITT78
|
|
| |
LLOY77
|
LLOYD, D. K., AND LIPOW, M. Rehabdity: management, methods and mathematws, TRW Systems and Energy Group, Redondo Beach, Cahf, 1977
|
| |
MCCA77
|
MCCALL, J A, RICHARDS, P. K., AND WALTERS, G. F. "Factors in software quahty," RADC-TR-77-369, Rome Air Development Center, Rome, N Y., Nov. 1977.
|
| |
MCMU69
|
MCMULLEN, C. W. Communwatmn theory principles, McMtllan, New York, 1969. '
|
| |
MEYE76
|
MEYERS, G. J. Software rehabd~ty: principles and practtces, Wiley, New York, 1976.
|
| |
MEYE78
|
MEYERS, G.J. "Software rehabfllty is not an equatmn," Computer 11, 6 (June 1978), 82-83.
|
| |
MILL76
|
MILLS, H. D "Software development," IEEE Trans. Syst. Eng. 2, 4 (1976), 265- 273.
|
| |
MOHA76a
|
MOHANTY, S. N., AND ADAMOWICZ, M "Proposed measures for the evaluatmn of software," in Computer software engtneerlng, J. Fox (Ed.), Polytechmc Press, New York, 1976, pp 485-497.
|
| |
MOHA76b
|
MOHANTY, S. N. "AutoraaUc program testing," Ph.D. dissertation, Dept. Electrical Engineering and Electrophysics, Polytechmc Inst. of New York, Brooklyn, N.Y., June 1976.
|
| |
MORA78a
|
MORANDA, P. B. "Software rehabihty revisited," Computer 11, 4 (April 1978), 92-94.
|
| |
MORA78b
|
MORANDA, P.B. "Critique of an analys~s of computing software rehabdlty models by Schmk and Wolverton," Computer Reposttory R78-B1, July 1978.
|
| |
MUSA75
|
MUSA, J D "A theory of software rehabfllty and its apphcatlon," IEEE Trans Software Eng SE-1, 3 (Sept. 1975), 312- 327
|
| |
PARN71
|
PARNAS, D L. "Information distmbuhon aspects of design methodology," m Proc. IFIP Congress, 1971
|
| |
PETE76
|
PETERSON, R. J "TESTER/l" an abstract model for the automatm synthesis of program test case specifications," m Computer software engtneertng, J. Fox (Ed.), Polytechmc Press, New York, 1976, pp 465-484
|
 |
RUBE68
|
|
| |
SCHI72
|
SCHICK, G. J., AND WOLVERTON, R. W. "Assessment of software reliability," llth Annum Meeting, German Operation Research Socmty, Hamburg, Germany, Sept 1972
|
| |
SCHI78
|
SCHICK, G. J., AND WOLVERTON, R. W. "An analysis of competing software rehabfllty models," IEEE Trans. Software Eng SE-4, 2 (1978), 104-120.
|
| |
SCHN77
|
SCHNEIDEWIND, N F., "The use ofsamulation in the evaluation of software," Computer 10, 4 (April 1977), 47-53.
|
| |
SCHT77
|
SCHUTT, D. "On a hypergraph ormnted measure for apphed computer scmnce," m Proc. COMPCON, 1977, pp 295-296.
|
| |
SHOO68
|
SHOOMAN, M.L. Probabd~sttc rehabdsty: an engtneertng approach," McGraw- Hill, New York, 1968
|
| |
SHOO73
|
SHOOMAN, M. L. "Operational testing and software rehabihty estnnation during program development," 1973 IEEE Symp. Computer Software Reliabthty, April 1973, pp. 51-57.
|
| |
SHOO75
|
SI-IOOMAN, M. L., AND POPKIN, G. S. "On the number of tests necessary to verify a computer program," m Summary of Technical Progress ~n Software Modelmg Studies, Poly EE/EP-25-004, Dept. Electrmal Engineering and Electrophysms, Polytechmc Inst. of New York, Brooklyn, N.Y., June 1975.
|
| |
SHOO76
|
|
| |
SHOO77a
|
SHOOMAN, M.L. "The spectre of software rehabfllty and Its exorcism," m Proc. 1977 Jt. Automattc Control Conf, June 1977, pp. 225-231.
|
| |
SHOO77b
|
SHOOMAS, M.L. "The role of rehablhty analysis and measurement," in Proc. 1977 Jt Automatic Control Conf, June 1977, pp. 466-471
|
| |
STRO66
|
STROUD, J. M "The fine structure of psychological tame," in Ann. New York Academy of Sctences, 1966, pp 623-631.
|
| |
SUKE77
|
SUKERT, A. N "A multi-proJect comparison of software reliabihty models," m Proc AIAA Computers m Aerospace Conf., Nov. 1977, pp. 413-455.
|
| |
WORK78
|
Workshop dtgest on software testtng and test documentation, Ft. Lauderdale, Fla, Dec. 1978.
|
 |
ZELK78
|
|
| |
ZIPF49
|
ZIPF, G.K. Human behavtour and the prtnctple of least effort, Addison-Wesley, Reading, Mass., 1949.
|
| |
ZIPF65
|
ZIPF, G K The psycho-btology of language, an tntroductmn to dynamtc phdology, MIT Press, 1965 (first Houghton Mifflin ed, 1935)
|
CITED BY 21
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Takeshi Sunohara , Akira Takano , Kenji Uehara , Tsutomu Ohkawa, Program complexity measure for software development management, Proceedings of the 5th international conference on Software engineering, p.100-106, March 09-12, 1981, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|