Capturing and Characterising Notional Machines

Sally Fincher; Johan Jeuring; Craig S. Miller; Peter Donaldson; Benedict Du Boulay; Matthias Hauswirth; Arto Hellas; Felienne Hermans; Colleen Lewis; Andreas Mühling; Janice L. Pearce; Andrew Petersen

doi:10.1145/3341525.3394988

Capturing and Characterising Notional Machines

Sally Fincher
, Johan Jeuring
, Craig S. Miller
, Peter Donaldson
, Benedict Du Boulay
, Matthias Hauswirth
, Arto Hellas
, Felienne Hermans
, Colleen Lewis
, Andreas Mühling
, Janice L. Pearce
, Andrew Petersen

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

15 Citations (Scopus)

Abstract

A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. It is typically used to support explaining a programming construct, or the user-understandable semantics of a program. For example, a variable is like a box with a label, and assignment copies or moves a value into that box.

Original language	English
Title of host publication	ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education
Publisher	ACM
Pages	502-503
Number of pages	2
ISBN (Electronic)	9781450368742
DOIs	https://doi.org/10.1145/3341525.3394988
Publication status	Published - 15 Jun 2020
MoE publication type	A4 Conference publication
Event	Annual Conference on Innovation and Technology in Computer Science Education - Trondheim, Norway Duration: 15 Jun 2020 → 19 Jun 2020 Conference number: 25

Conference

Conference	Annual Conference on Innovation and Technology in Computer Science Education
Abbreviated title	ITiCSE
Country/Territory	Norway
City	Trondheim
Period	15/06/2020 → 19/06/2020

Keywords

Notional machines
PCK
pedagogical practice
signature pedagogies

Access to Document

10.1145/3341525.3394988

https://research.ou.nl/en/publications/capturing-and-characterising-notional-machinesLicence: Other

Cite this

Fincher, S., Jeuring, J., Miller, C. S., Donaldson, P., Du Boulay, B., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C., Mühling, A., Pearce, J. L., & Petersen, A. (2020). Capturing and Characterising Notional Machines. In ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education (pp. 502-503). ACM. https://doi.org/10.1145/3341525.3394988

@inproceedings{169c6def836b43848affa8a06da624c6,

title = "Capturing and Characterising Notional Machines",

abstract = "A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. It is typically used to support explaining a programming construct, or the user-understandable semantics of a program. For example, a variable is like a box with a label, and assignment copies or moves a value into that box.",

keywords = "Notional machines, PCK, pedagogical practice, signature pedagogies",

author = "Sally Fincher and Johan Jeuring and Miller, \{Craig S.\} and Peter Donaldson and \{Du Boulay\}, Benedict and Matthias Hauswirth and Arto Hellas and Felienne Hermans and Colleen Lewis and Andreas M{\"u}hling and Pearce, \{Janice L.\} and Andrew Petersen",

year = "2020",

month = jun,

day = "15",

doi = "10.1145/3341525.3394988",

language = "English",

pages = "502--503",

booktitle = "ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education",

publisher = "ACM",

address = "United States",

note = "Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE ; Conference date: 15-06-2020 Through 19-06-2020",

}

Fincher, S, Jeuring, J, Miller, CS, Donaldson, P, Du Boulay, B, Hauswirth, M, Hellas, A, Hermans, F, Lewis, C, Mühling, A, Pearce, JL & Petersen, A 2020, Capturing and Characterising Notional Machines. in ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. ACM, pp. 502-503, Annual Conference on Innovation and Technology in Computer Science Education, Trondheim, Norway, 15/06/2020. https://doi.org/10.1145/3341525.3394988

Capturing and Characterising Notional Machines. / Fincher, Sally; Jeuring, Johan; Miller, Craig S. et al.
ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. ACM, 2020. p. 502-503.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Capturing and Characterising Notional Machines

AU - Fincher, Sally

AU - Jeuring, Johan

AU - Miller, Craig S.

AU - Donaldson, Peter

AU - Du Boulay, Benedict

AU - Hauswirth, Matthias

AU - Hellas, Arto

AU - Hermans, Felienne

AU - Lewis, Colleen

AU - Mühling, Andreas

AU - Pearce, Janice L.

AU - Petersen, Andrew

N1 - Conference code: 25

PY - 2020/6/15

Y1 - 2020/6/15

N2 - A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. It is typically used to support explaining a programming construct, or the user-understandable semantics of a program. For example, a variable is like a box with a label, and assignment copies or moves a value into that box.

AB - A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. It is typically used to support explaining a programming construct, or the user-understandable semantics of a program. For example, a variable is like a box with a label, and assignment copies or moves a value into that box.

KW - Notional machines

KW - PCK

KW - pedagogical practice

KW - signature pedagogies

UR - https://www.scopus.com/pages/publications/85086474891

U2 - 10.1145/3341525.3394988

DO - 10.1145/3341525.3394988

M3 - Conference article in proceedings

AN - SCOPUS:85086474891

SP - 502

EP - 503

BT - ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education

PB - ACM

T2 - Annual Conference on Innovation and Technology in Computer Science Education

Y2 - 15 June 2020 through 19 June 2020

ER -

Capturing and Characterising Notional Machines

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this