Mathematical Principles for a First Course in Software Engineering英文电子书.pdf

550 IEEE TRANSACTIONS O N SOFTWARE ENGINEERING. VOL 15. NO. S. MAY IYXY Mathematical Principles for a First Course in Software Engineering HARLAN D. MILLS, SENIOR MEMBER, IEEE, VICTOR R. BASILI, SENIOR MEMBER, IEEE, JOHN D. GANNON, AND RICHARD G. HAMLET, MEMBER, IEEE Abslract-The discipline of software engineering has transferred the ematical foundations. This work continues to inspire ad- commonsense methods of good programming and management to large vances in formal specification, programming language se- software projects. It has been less successful in acquiring a solid the- mantics, and program verification. Because our oretical foundation for these methods. We have developed an intro- ductory computer science course, much as calculus is a basic course understandings of these topics are quite recent, people re- for mathematics and the physical sciences, concerned primarily with gard them as subjects fit for graduate classes. Our belief theoretical foundations and methodology rather than apprenticeship is that the time has come for computer science students to through applications. This paper describes the principles taught in the start out with these ideas, not end up with them. At their course and gives a small example illustrating them. roots, these deep simplicities can be formulated in dis- Index Terms-Formal specification, programming language seman- crete mathematics. This is material