Peter B. Henderson
Skip Abstract Section
Abstract
Discrete mathematics, especially logic, plays an implicit role in software engineering similar to the role of continuous mathematics in traditional physically based engineering disciplines.
- Bentley, J. Programming pearls: Writing correct programs. Commun. ACM 26, 12 (Dec. 1983), 1040--1045. Google Scholar
Digital Library
- Clark, E., Grumberg, O., and Peled, D. Model Checking. MIT Press, Cambridge, MA, 1999. Google ScholarDigital Library
- Devlin, K. The real reason why software engineers need math. Commun. ACM 44, 10 (Oct. 2001), 21--22. Google ScholarDigital Library
- Glass, R. A new answer to 'How important is mathematics to the software practitioner?' IEEE Software 17, 6 (Nov./Dec. 2000), 135--136. Google ScholarDigital Library
- Henderson, P. et al. Striving for mathematical thinking. SIGCSE Bulletin (Inroads) 33, 4 (Dec. 2001), 114--124. Google ScholarDigital Library
- Hinchey, M. and Bowen, J., Eds. Applications of Formal Methods. Prentice-Hall, London, U.K., 1995. Google ScholarDigital Library
- 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.Google Scholar
- Lethbridge, T. What knowledge is important to a software professional? IEEE Comput. 33, 5 (May 2000), 44--50. Google ScholarDigital Library
- Parnas, D. Software engineering programmes are not computer science programmes. Annals Software Engin. 6, 1--4 (1998), 19--37. Google ScholarDigital Library
- Roberts, E., Ed. Computing Curricula 2001: Computer Science Final Report. IEEE Computer Society, New York, April 2002.Google Scholar
Index Terms
- Mathematical reasoning in software engineering education
Recommendations
Software engineering education: Rôles of formal specification and design calculi
Special issue on software engineering educationThis paper analyses current principles of software development: from domains via requirements to design. On the basis of this analysis we outline a structure and contents of professional software engineering. From this we extract some requirements to a ...
Reflections on Software Engineering Education
In recent years, the software engineering community has focused on organizing its existing knowledge and finding opportunities to transform that knowledge into a university curriculum. SWEBOK (the Guide to the Software Engineering Body of Knowledge) and ...
Comments