Teaching introductory formal methods and discrete mathematics to software engineers: reflections on a modelling-focussed approach

Teaching introductory formal methods and discrete mathematics to software engineers: reflections on a modelling-focussed approach

Much has been written about the challenges of teaching discrete mathematics and formal methods. In this paper we discuss the experiences of delivering a course that serves as an introduction to both. The one-week intensive course, Software Engineering Mathematics, is delivered as part of the Univers...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Simpson, A
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Springer Nature 2019

Eitemau Tebyg

Formal Methods in Software Engineering
gan: Hoare, C
Cyhoeddwyd: (1986)

Introduction to discrete mathematics for software engineering /
gan: 219071 Denvir, Tim
Cyhoeddwyd: (1986)

Teaching Formal Methods in Context
gan: Davies, J, et al.
Cyhoeddwyd: (2004)

Teaching Formal Methods in Context
gan: Davies, J, et al.
Cyhoeddwyd: (2004)

Teaching Formal Methods in Context
gan: Davies, J, et al.
Cyhoeddwyd: (2004)

Formal foundations for software engineering methods /
gan: Hussmann, Heinrich, 1959-
Cyhoeddwyd: (1997)

Intelligent Systems and Formal Methods in Software Engineering
gan: Beckert, B, et al.
Cyhoeddwyd: (2006)

Automated proof checking in introductory discrete mathematics classes
gan: Haven, Andrew J
Cyhoeddwyd: (2014)

Teaching Formal Methods
Cyhoeddwyd: (2009)

A survey on refinement in formal methods and software engineering
gan: Said, Mar Yah @ Mek Yah, et al.
Cyhoeddwyd: (2019)

Introductory mathematics : an applied approach /
gan: 418174 Brett, William F., et al.
Cyhoeddwyd: (1971)

Discrete Mathematics by Example
gan: Simpson, A
Cyhoeddwyd: (2002)

Mathematics: the formal tools of engineering /
gan: 347137 Smyth, Michael P.
Cyhoeddwyd: (1974)

Formal engineering for industrial software development : using the sofl method /
gan: 263222 Liu, Shaoying
Cyhoeddwyd: (2004)

Discrete mathematics for engineers/
gan: 448354 Kuznetsov,O P, et al.
Cyhoeddwyd: (1985)

Formality, evolution, and model-driven software engineering
gan: Davies, J, et al.
Cyhoeddwyd: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
gan: Davies, J, et al.
Cyhoeddwyd: (2005)

Introductory mathematical statistics: principles and methods /
gan: Kreyszig, Erwin 1922-2008 209477
Cyhoeddwyd: (1970)

Development of software to interpretate radiographs of F5 wing spars focussing on crack recognition
gan: Seah, Daphne Xinrui.
Cyhoeddwyd: (2013)

Introductory mathematics /
gan: Cook, Nigel P., 1961-
Cyhoeddwyd: (2004)

Focussing and levelling in the Auckland voices project
gan: Meyerhoff, M, et al.
Cyhoeddwyd: (2023)

Focussed issue - Biophysics of excitable tissues
gan: Trevelyan, A, et al.
Cyhoeddwyd: (2005)

Focussed issue: Annotating the genome - Preface
gan: Noble, D
Cyhoeddwyd: (2002)

Focussed issue: computational biophysics - Preface
gan: Noble, D
Cyhoeddwyd: (2002)

Practical formal software engineering : wanting the software you get /
gan: 402782 Mills, Bruce
Cyhoeddwyd: (2009)

A computer approach to introductory college mathematics /
gan: 406016 Scalzo, Frank, et al.
Cyhoeddwyd: (1977)

Teaching introductory physics/
gan: American Association of Physics Teachers. Comittee on Physics in Pre-College Education
Cyhoeddwyd: (1974)

Effectiveness Of Blended Discrete Mathematics Model In The Teaching & Learning Of Calculus
gan: Ramasamy, Rajasegeran
Cyhoeddwyd: (2020)

Status report: "focussing of intense ion beams"
gan: Chen, J., et al.
Cyhoeddwyd: (2015)

Focussed wave groups on deep and shallow water
gan: Taylor, P, et al.
Cyhoeddwyd: (1998)

Chronic fatigue syndrome and an illness-focussed approach to care: controversy, morality and paradox
gan: Sharpe, M, et al.
Cyhoeddwyd: (2019)

Introductory mathematics for technicians /
gan: 332404 Auerbach, Alvin B., et al.
Cyhoeddwyd: (1972)

Introductory mathematical analysis /
gan: 350352 Eaves, Edgar D., et al.
Cyhoeddwyd: (1978)

Introductory computer mathematics /
gan: Cook, Nigel P., 1961-
Cyhoeddwyd: (2003)

Prepare for science : introductory mathematics for physical and engineering sciences/
gan: 175537 Hansson, C. B.
Cyhoeddwyd: (1980)

An introductory course in teaching and training methods for management development
Cyhoeddwyd: (1972)

Discrete mathematics : a unified approach /
gan: 223105 Wiitala, Stephen A.
Cyhoeddwyd: (1987)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
gan: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Cyhoeddwyd: (2005)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
gan: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Cyhoeddwyd: (2007)

Complete safety software testing : a formal method
gan: Lunglhofer, Jon R. (Jon Richard)
Cyhoeddwyd: (2014)