| 期刊論文1. | Cohen, J.(1981)。Computer-Assisted Microanalysis of Programs。Communication of ACM,25(16),724-733。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 2. | Yuval, G.(1975)。Gathering run-time statistics without black magic。Software: Practice and Experience,5,105-108。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 3. | Edward, J. G.(1982)。The Wolf Fence algorithm for debugging。Communication of ACM,25(11)。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 4. | Matwin, S.(1976)。A simple, machine independent tool for obtaining rough measures of PASCAL programs。SIGPLAN Notices,11(8),42-45。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 5. | Mickel, A.(1978)。Argument and Analyze。Pascal News,12,23-32。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 6. | Power, L. R.(1983)。Design and Use of a Program Execution Analyzer。IBM Systems Journal,22(3),271-294。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 7. | Weiser, M.(1982)。Programmers use slices when debugging。Communications of the ACM,25(7),446-452。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 會議論文1. | Ramamoorthy, C. V.(1975)。Testing Large Software with Automated Software Evaluation Systems。1975 International Conference on Reliable Software。Los Angeles, California。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 2. | Ramamoorthy, C. V.(1973)。Design and Construction of an Automated Software Evaluation System。The 1973 IEEE Symposium on Computer Software Reliability。New York, NY。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 3. | Yau, S. S.(1982)。A Methodology for Software Maintenance447-458。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 圖書1. | Jensen, K.、Wirth, N.(1978)。PASCAL: User Manual and Report。New York:Springer-Verlag。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 2. | Yeh, R. T.(1977)。Current Trends in Programming Methodology。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 3. | Conway, R.(1980)。Programming for poets。Winthrop Publishers。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 4. | Conway, R.(1977)。A Primer on PASCAL。Winthrop Publishers。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 5. | Donovan, J. J.(1978)。Systems Programming。McGraw-Hill。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 6. | Goodman, S. E.(1977)。Introduction to the Design and Analysis of Algorithms。McGraw-Hill。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 7. | Grogono, P.(1981)。Programming in PASCAL。Addison-Wesley Publishing Company。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 8. | Hewlett-Packard Company(1981)。PASCAL/3000 Reference Manual。Hewlett-Packard Company。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 9. | Pyster, Arthur B.(1979)。Compiler Design and Construction。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 10. | Shelly, G. B.(1982)。Introduction to Computers and Data Processing。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 11. | Van Tassel, D.(1978)。Program Style, Design, Efficiency, Debugging, and Testing。Prentice-Hall。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | 12. | Weinberg, Gerald M.(1977)。High Level COBOL Programming。Winthrop Publishers。 ![](/gs32/thssjcncl/image/nclsfx.gif) ![new window](/gs32/images/newin.png) | |