Mathematical reasoning in software engineering education

Communications of the ACM

Volumn 46, Issue 9, 2003, Pages 45-50

  Henderson, Peter B ^a  

^a BUTLER UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT ARTIFACTS; DISCRETE MATHEMATICS; MATHEMATICAL CIRCUIT DESIGN;

ALGORITHMS; CAPACITANCE; COMPUTER SOFTWARE; DIFFERENTIAL EQUATIONS; ELECTRICAL ENGINEERING; ENGINEERING EDUCATION; ENGINEERS; INTEGRATED CIRCUITS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROGRAM DEBUGGING;

SOFTWARE ENGINEERING;

EID: 2642524301     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/903893.903919     Document Type: Review

References (10)

1. Bentley, J. Programming pearls: Writing correct programs. Commun. ACM 26, 12 (Dec. 1983), 1040-1045.
2. Clark, E., Grumberg, O., and Peled, D. Model Checking. MIT Press, Cambridge, MA, 1999.
3. Devlin, K. The real reason why software engineers need math. Commun. ACM 44, 10 (Oct. 2001), 21-22.
4. Glass, R. A new answer to 'How important is mathematics to the software practitioner?' IEEE Software 17, 6 (Nov./Dec. 2000), 135-136.
5. Henderson, P. et al. Striving for mathematical thinking. SIGCSE Bulletin (Inroads) 33, 4 (Dec. 2001), 114-124.
6. Hinchey, M. and Bowen, J., Eds. Applications of Formal Methods. Prentice-Hall, London, U.K., 1995.
7. LeBlanc, R. and Sobel, A., Eds. Computing Curricula 2001: Software Engineering Volume (1st Draft), June 25, 2003; see sites.computer.org/ccse/ volume/FirstDraft.pdf.
8. Lethbridge, T. What knowledge is important to a software professional? IEEE Comput. 33, 5 (May 2000), 44-50.
9. Parnas, D. Software engineering programmes are not computer science programmes. Annals Software Engin. 6, 1-4 (1998), 19-37.
10. Roberts, E., Ed. Computing Curricula 2001: Computer Science Final Report. IEEE Computer Society, New York, April 2002.