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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक:	Simpson, A
स्वरूप:	Conference item
भाषा:	English
प्रकाशित:	Springer Nature 2019

समान संसाधन

Formal Methods in Software Engineering
द्वारा: Hoare, C
प्रकाशित: (1986)

Introduction to discrete mathematics for software engineering /
द्वारा: 219071 Denvir, Tim
प्रकाशित: (1986)

Teaching Formal Methods in Context
द्वारा: Davies, J, और अन्य
प्रकाशित: (2004)

Teaching Formal Methods in Context
द्वारा: Davies, J, और अन्य
प्रकाशित: (2004)

Teaching Formal Methods in Context
द्वारा: Davies, J, और अन्य
प्रकाशित: (2004)

Formal foundations for software engineering methods /
द्वारा: Hussmann, Heinrich, 1959-
प्रकाशित: (1997)

Intelligent Systems and Formal Methods in Software Engineering
द्वारा: Beckert, B, और अन्य
प्रकाशित: (2006)

Automated proof checking in introductory discrete mathematics classes
द्वारा: Haven, Andrew J
प्रकाशित: (2014)

Teaching Formal Methods
प्रकाशित: (2009)

A survey on refinement in formal methods and software engineering
द्वारा: Said, Mar Yah @ Mek Yah, और अन्य
प्रकाशित: (2019)

Introductory mathematics : an applied approach /
द्वारा: 418174 Brett, William F., और अन्य
प्रकाशित: (1971)

Discrete Mathematics by Example
द्वारा: Simpson, A
प्रकाशित: (2002)

Mathematics: the formal tools of engineering /
द्वारा: 347137 Smyth, Michael P.
प्रकाशित: (1974)

Formal engineering for industrial software development : using the sofl method /
द्वारा: 263222 Liu, Shaoying
प्रकाशित: (2004)

Discrete mathematics for engineers/
द्वारा: 448354 Kuznetsov,O P, और अन्य
प्रकाशित: (1985)

Formality, evolution, and model-driven software engineering
द्वारा: Davies, J, और अन्य
प्रकाशित: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
द्वारा: Davies, J, और अन्य
प्रकाशित: (2005)

Introductory mathematical statistics: principles and methods /
द्वारा: Kreyszig, Erwin 1922-2008 209477
प्रकाशित: (1970)

Development of software to interpretate radiographs of F5 wing spars focussing on crack recognition
द्वारा: Seah, Daphne Xinrui.
प्रकाशित: (2013)

Introductory mathematics /
द्वारा: Cook, Nigel P., 1961-
प्रकाशित: (2004)

Focussing and levelling in the Auckland voices project
द्वारा: Meyerhoff, M, और अन्य
प्रकाशित: (2023)

Focussed issue - Biophysics of excitable tissues
द्वारा: Trevelyan, A, और अन्य
प्रकाशित: (2005)

Focussed issue: Annotating the genome - Preface
द्वारा: Noble, D
प्रकाशित: (2002)

Focussed issue: computational biophysics - Preface
द्वारा: Noble, D
प्रकाशित: (2002)

Practical formal software engineering : wanting the software you get /
द्वारा: 402782 Mills, Bruce
प्रकाशित: (2009)

A computer approach to introductory college mathematics /
द्वारा: 406016 Scalzo, Frank, और अन्य
प्रकाशित: (1977)

Teaching introductory physics/
द्वारा: American Association of Physics Teachers. Comittee on Physics in Pre-College Education
प्रकाशित: (1974)

Effectiveness Of Blended Discrete Mathematics Model In The Teaching & Learning Of Calculus
द्वारा: Ramasamy, Rajasegeran
प्रकाशित: (2020)

Status report: "focussing of intense ion beams"
द्वारा: Chen, J., और अन्य
प्रकाशित: (2015)

Focussed wave groups on deep and shallow water
द्वारा: Taylor, P, और अन्य
प्रकाशित: (1998)

Chronic fatigue syndrome and an illness-focussed approach to care: controversy, morality and paradox
द्वारा: Sharpe, M, और अन्य
प्रकाशित: (2019)

Introductory mathematics for technicians /
द्वारा: 332404 Auerbach, Alvin B., और अन्य
प्रकाशित: (1972)

Introductory mathematical analysis /
द्वारा: 350352 Eaves, Edgar D., और अन्य
प्रकाशित: (1978)

Introductory computer mathematics /
द्वारा: Cook, Nigel P., 1961-
प्रकाशित: (2003)

Prepare for science : introductory mathematics for physical and engineering sciences/
द्वारा: 175537 Hansson, C. B.
प्रकाशित: (1980)

An introductory course in teaching and training methods for management development
प्रकाशित: (1972)

Discrete mathematics : a unified approach /
द्वारा: 223105 Wiitala, Stephen A.
प्रकाशित: (1987)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
द्वारा: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), और अन्य
प्रकाशित: (2005)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
द्वारा: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), और अन्य
प्रकाशित: (2007)

Complete safety software testing : a formal method
द्वारा: Lunglhofer, Jon R. (Jon Richard)
प्रकाशित: (2014)