Bibliography. [Baldwin 01] Baldwin, D., Gries, D., Henderson, P., Marion, B., Schwartz, D. Panel:

Transcription

1 Bibliography [Baber 97] Baber, R. L., The Ariane 5 Explosion: A Software Engineer s View, Technical Report, Computer Science, University of the Witwatersrand, South Africa, February 1997; [Baldwin 01] Baldwin, D., Gries, D., Henderson, P., Marion, B., Schwartz, D. Panel: How Mathematical Thinking Improves Problem Solving, Procs. 31 st SIGCSE Technical Symposium on Computer Science Education, ACM, [Bloom 56] Taxonomy of educational objectives: The classification of educational goals: Handbook I, cognitive domain, Ed. B. S. Bloom, [Bucci 00] Bucci, P., Long, T., and Weide, B. and Hollingsworth, J., "Toys Are Us: Presenting Mathematical Concepts in CS1/CS2", Proceedings of the 30 th Annual Frontiers in Education Conference, IEEE Computer Society Press, 2000, CD-ROM, 6 pp. [Cheon 02a] Cheon, Y. and Leavens, G. T., A Runtime Assertion Checker for the Java Modeling Langauge (JML), Procs. International Conference on Software Engineering Research and Practice (SERP'02), to appear; also Department of Computer Science, Iowa State University, Technical Report #02-03, February pages. [Cheon 02b] Cheon, Y. and Leavens, G. T., A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Procs. ECOOP, November 2002, to appear; Also Department of Computer Science, Iowa State University, Technical Report #01-12, November pages. Page D-1

2 [Clifton 02] Clifton, C. and Leavens, G. T., Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning, Procs. Foundations of Aspect-Oriented Languages Workshop, Enschede, The Netherlands, 2002; Also Department of Computer Science, Iowa State University, Technical Report #02-04, March pages. [Cormen 90] Cormen, T.H., Leiserson, C.E., Rivest, R.L., Introduction to Algorithms, The MIT Press, Cambridge, MA, [Edwards 01] Edwards, S. H., Sitaraman, M., Weide, B. W., and Hollingsworth, J., Contract-Checking Components: Principles and Practice, Technical Report, Department of Computer Science, Virginia Tech., Blacksburg, VA, 2001; submitted to IEEE Transactions on Software Engineering. [Elenbogen 02] Elenbogen, B. S., Enbody, R., Henderson, P. B., Laird, J., McDonald, C., Nau, R., and Tanimoto, S., Panel: Mathematics Preparation for Undergraduate Degrees in Computer Science, Procs. 32nd SIGCSE Technical Symposium on Computer Science Education, ACM, [Felleisen 01] Felleisen, M., Findler, R., Flatt, M., and Krishnamurthi, S., How to Design Programs An Introduction to Computing and Programming, MIT Press, [Ford 90] Ford, G., SEI Report on Undergraduate Software Engineering Education, Technical Report CMU/SEI-90-TR-003 ADA223881, Software Engineering Institute, Pittsburgh, PA, [Harms 91] Harms, D. E. and Weide, B. W. Copying and Swapping: Influences on the Design of Reusable Software Components. IEEE Transactions on Software Engineering 17, 5 (May 1991), Page D-2

3 [Henderson 02] Henderson, P. B., Almstrum V., De Palma, P., Hazzen, O., and Potter, K., Panel: Women, Mathematics and Computer Science, Procs. 32nd SIGCSE Technical Symposium on Computer Science Education, ACM, [Heym 95] Heym, W.D., Computer Program Verification: Improvements for Human Reasoning, Ph.D. Dissertation, Department of Computer and Information Science, The Ohio State University, Columbus, OH, [Hoare 89] Hoare, C. A. R., Hints on Programming Language Design, Essays in Computing Science, Eds. C. A. R. Hoare and C. B. Jones, Prentice Hall, NY, [Hogg 97] Hogg, J., Lea, D., Wills, A., dechampeaux, D., and Holt, R., The Geneva Convention On The Treatment of Object Aliasing, [Koening 00] Koenig, A., and Moo, B.E., Accelerate C++: Practical Programming by Example, Addison-Wesley, [Kulczycki 01] Kulczycki, G., Type Handling in a Fully-Integrated Programming and Specification Language, Proceedings of the ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems, October 2001; available at [Leavens 96] Leavens, G. T., An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Specification of Behavioral Semantics in Object-Oriented Information Modeling, Eds. H. Kilov and W. Harvey, Kluwer, 1996, [Leveson 93] Leveson, N. G. and Turner, C. S., An Investigation of the Therac-25 Accidents, IEEE Computer, July 1993, Page D-3

4 [Long 99] Long, T., Weide, B., Bucci, P., and Sitaraman, M., Client View First: An Exodus from Implementation-Biased Teaching, Proceedings of the 30th ACM SIGCSE Technical Symposium on Computer Science Education, ACM Press, 1999, [Long 98a] Long, T., Weide, B., Bucci, P., Gibson, D., Sitaraman, M., and Edwards, S., Providing Intellectual Focus to CS1/CS2, Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, ACM Press, 1998, [Long 98b] Long, T. and Weide, B., Weaving Software Engineering Into the Fabric of CS1 and CS2, Procs. 4th International Workshop on Software Engineering Education, Boston, Massachusetts, [Long 99] Long, T.J., Weide, B. W., Bucci, P., and Sitaraman, M., Client-View First: An Exodus from Implementation-Biased Teaching, Procs. 30th SIGCSE Technical Symposium on Computer Science Education, ACM, 1999, [Meyer 97] Meyer, B., Object-Oriented Software Construction, 2 nd Edition, Prentice Hall PTR, Upper Saddle River, New Jersey, [Minsky 96] Minsky, N.H., Towards Alias-Free Pointers, Proceedings ECOOP '96, LNCS 1098, Springer-Verlag, New York, 1996, [Muller 02] Muller, P. and Poetzsch-Heffter, A., and Leavens, G. T., Modular specification of frame properties in JML, Concurrency Practice and Experience, to appear.also Department of Computer Science, Iowa State University, Technical Report 02-02, February 2002, 30 pages. [Musser 01] D. R. Musser, G. J. Derge, and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, Boston, 2nd edition, Page D-4

5 [Parnas 95] Parnas, D.L., Teaching Programming as Engineering, In ZUM `95: The Z Formal Specification Notation, 9th International Conference of Z Users (LNCS 967), Eds. Bowen J.P., & Hinchey M.G., Springer-Verlag, 1995, [SEE 98] Software Engineering Education, Eds. Coulter, N. S., & Gibbs, N. E. Annals of Software Engineering, Vol. 6, 1-90, 1998, [Sitaraman 94] Special Feature: Component-Based Software Using RESOLVE, Eds. M. Sitaraman and B. W. Weide, ACM SIGSOFT Software Engineering Notes 19, 1994, [Sitaraman 97] Sitaraman, M., An Introduction to Software Engineering Using Properly Conceptualized Objects, WVU Publications, [Sitaraman 00a] Sitaraman, M., Weide, B. W., Long, T.J., and Ogden, W. F., A Data Abstraction Alternative to Data Structure/Algorithm Modularization, LNCS 1766 Volume on Generic Programming, Eds. D. Musser and M. Jazayeri, Springer- Verlag, [Sitaraman 00b] Sitaraman, M., Atkinson, S., Kulczycki, G., Weide, B., Long, T., Bucci, P., Pike, S., Heym, W., and Hollingsworth, J., "Reasoning About Software- Component Behavior," Proceedings of the 6th International Conference on Software Reuse, LCNS 1844, 2000, [Sitaraman 01] Sitaraman, M., Long, T. J., Weide, B. W., Harner, E. J., and Wang, L., Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation, Computer Science Education Journal, Swets & Zeitlinger, 2001; also in Procs. ICSE 01. Page D-5

6 [Sitaraman 02a] Sitaraman, M., Kulczycki, G., Ogden, W. F., Weide, B. W., Leavens, G. T., and Mehdat, A., Understanding and Minimizing the Impact of Reference-Value Distinction Simplifying Reasoning About Procedure Calls, in preparation for submission to IEEE Transactions on Software Engineering; available upon request. [Sitaraman 02b] Sitaraman, M., Weide, B. W., Ogden, W. F., Design and Analysis of Software Components (Subtitle: Data Structures and Algorithms: A Software Engineering Perspective), 2002; under review by publishers. [Tomer 98] Tomer, T.S., Baldwin, D., and Fox, C. J., Integration of Mathematical Topics in CS1 and CS2, Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, ACM, 1998, [Weide 01] Weide, B., Software Component Engineering, McGraw-Hill Custom Publishing, Page D-6