Mathematical reasoning in software engineering education

Authors:
Peter B. Henderson
Affiliations:
Butler University, Indianapolis, IN
Venue:
Communications of the ACM - Why CS students need math
Year:
2003

Citing 8
Cited 16

Software engineering programmes are not computer science programmes

Annals of Software Engineering - Special issue on software engineering education
Model checking

Model checking
Programming pearls: Writing correct programs

Communications of the ACM
Viewpoint: the real reason why software engineers need math

Communications of the ACM
Applications of Formal Methods

Applications of Formal Methods
Striving for mathematical thinking

ACM SIGCSE Bulletin
What Knowledge Is Important to a Software Professional?

Computer
A New Answer to "How Important is Mathematics to the Software Practitioner?"

IEEE Software

We claim this class for computer science: a non-mathematician's discrete structures course

Proceedings of the 35th SIGCSE technical symposium on Computer science education
Software engineering education (SEEd)

ACM SIGSOFT Software Engineering Notes
Workshop: foundational mathematics for CS and SE educators

Proceedings of the 2nd annual conference on Mid-south college computing
Panel discussion: mathematical thinking in computer science

Proceedings of the 2nd annual conference on Mid-south college computing
Use and assessment of a rigorous approach to CS1

Proceedings of the 36th SIGCSE technical symposium on Computer science education
An investigation of software engineering curricula

Journal of Systems and Software
An Experimental Investigation of Formality in UML-Based Development

IEEE Transactions on Software Engineering
Discrete partnership: a case for a full year of discrete math

Proceedings of the 37th SIGCSE technical symposium on Computer science education
Constructing contracts: Making discrete mathematics relevant to beginning programmers

Journal on Educational Resources in Computing (JERIC)
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design

Communications of the ACM
Evaluating information systems and business informatics curriculum

CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Injecting rapid feedback and collaborative reasoning in teaching specifications

Proceedings of the 40th ACM technical symposium on Computer science education
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation

ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
Making Temporal Logic Calculational: A Tool for Unification and Discovery

FM '09 Proceedings of the 2nd World Congress on Formal Methods
An experimental comparison of ER and UML class diagrams for data modelling

Empirical Software Engineering
Mathematics throughout the CS curriculum

Journal of Computing Sciences in Colleges

Quantified Score

Hi-index	0.02

Visualization

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.