Mathematical reasoning in software engineering education

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Mathematical reasoning in software engineering education

Full text

Pdf (116 KB)

Source

Communications of the ACM archive
Volume 46 , Issue 9 (September 2003) table of contents
Why CS students need math

SPECIAL ISSUE: Why universities require computer science students to take math table of contents

Pages: 45 - 50

Year of Publication: 2003

ISSN:0001-0782

Author

Peter B. Henderson

Butler University, Indianapolis, IN

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 23, Downloads (12 Months): 154, Citation Count: 13

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/903893.903919 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jon Bentley, Programming pearls: Writing correct programs, Communications of the ACM, v.26 n.12, p.1040-1045, Dec. 1983 [doi>10.1145/358476.358484]
	2	Edmund M. Clarke, Jr. , Orna Grumberg , Doron A. Peled, Model checking, MIT Press, Cambridge, MA, 2000
	3	Keith Devlin, Viewpoint: the real reason why software engineers need math, Communications of the ACM, v.44 n.10, p.21-22, Oct. 2001 [doi>10.1145/383845.383851]
	4	Robert L. Glass, A New Answer to "How Important is Mathematics to the Software Practitioner?", IEEE Software, v.17 n.6, p.136, November 2000
	5	Peter B. Henderson , Doug Baldwin , Venu Dasigi , Marcel Dupras , Jane Fritz , David Ginat , Don Goelman , John Hamer , Lew Hitchner , Will Lloyd , Bill Marion, Jr. , Charles Riedesel , Henry Walker, Striving for mathematical thinking, ACM SIGCSE Bulletin, v.33 n.4, December 2001 [doi>10.1145/572139.572180]
	6	Jonathan P. Bowen , Michael G. Hinchey, Applications of Formal Methods, Prentice Hall PTR, Upper Saddle River, NJ, 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	Timothy C. Lethbridge, What Knowledge Is Important to a Software Professional?, Computer, v.33 n.5, p.44-50, May 2000 [doi>10.1109/2.841783]
	9	David Lorge Parnas, Software engineering programmes are not computer science programmes, Annals of Software Engineering, v.6 n.1-4, p.19-37, April 1999 [doi>10.1023/A:1018949113292]
	10	Roberts, E., Ed. Computing Curricula 2001: Computer Science Final Report. IEEE Computer Society, New York, April 2002.

CITED BY 13

	Peter B. Henderson , Chenyi Hu , John Talburt , D. S. Tomer, Panel discussion: mathematical thinking in computer science, Proceedings of the 2nd annual conference on Mid-south college computing, p.210-212, April 02-03, 2004, Little Rock, Arkansas
	John P. Dougherty , David G. Wonnacott, Use and assessment of a rigorous approach to CS1, ACM SIGCSE Bulletin, v.37 n.1, 2005
	Peter B. Henderson, Software engineering education (SEEd), ACM SIGSOFT Software Engineering Notes, v.29 n.5, September 2004
	Adrienne Decker , Phil Ventura, We claim this class for computer science: a non-mathematician's discrete structures course, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	Barbara Kitchenham , David Budgen , Pearl Brereton , Philip Woodall, An investigation of software engineering curricula, Journal of Systems and Software, v.74 n.3, p.325-335, February 2005
	Mark D. LeBlanc , Rochelle Leibowitz, Discrete partnership: a case for a full year of discrete math, ACM SIGCSE Bulletin, v.38 n.1, March 2006
	Ray Giguette, Building objects out of Plato: applying philosophy, symbolism, and analogy to software design, Communications of the ACM, v.49 n.10, p.66-71, October 2006
	Timothy S. Gegg-Harrison, Constructing contracts: Making discrete mathematics relevant to beginning programmers, Journal on Educational Resources in Computing (JERIC), v.5 n.2, p.3-es, June 2005
	Peter B. Henderson, Workshop: foundational mathematics for CS and SE educators, Proceedings of the 2nd annual conference on Mid-south college computing, p.3-4, April 02-03, 2004, Little Rock, Arkansas
	Markus Helfert , Howard Duncan, Evaluating information systems and business informatics curriculum, Proceedings of the 2007 international conference on Computer systems and technologies, June 14-15, 2007, Bulgaria
	Dana P. Leonard , Jason O. Hallstrom , Murali Sitaraman, Injecting rapid feedback and collaborative reasoning in teaching specifications, Proceedings of the 40th ACM technical symposium on Computer science education, March 04-07, 2009, Chattanooga, TN, USA
	Murali Sitaraman , Jason O. Hallstrom , Jarred White , Svetlana Drachova-Strang , Heather K. Harton , Dana Leonard , Joan Krone , Rich Pak, Engaging students in specification and reasoning: "hands-on" experimentation and evaluation, ACM SIGCSE Bulletin, v.41 n.3, September 2009
	Lionel C. Briand , Yvan Labiche , Massimiliano Di Penta , Han (Daphne) Yan-Bondoc, An Experimental Investigation of Formality in UML-Based Development, IEEE Transactions on Software Engineering, v.31 n.10, p.833-849, October 2005