No Cover Image

Book chapter 1225 views 169 downloads

Teaching Them Early: Formal Methods in School

Faron Moller Orcid Logo, Liam O'Reilly Orcid Logo, Stewart Powell, Casey Hopkins Orcid Logo

Communications in Computer and Information Science, Pages: 173 - 190

Swansea University Authors: Faron Moller Orcid Logo, Liam O'Reilly Orcid Logo, Stewart Powell, Casey Hopkins Orcid Logo

Check full text

DOI (Published version): 10.1007/978-3-030-71374-4_9

Abstract

In this paper, we describe a programme of school engagement aimed at instilling a discipline of computational thinking within pupils before they embark on a university course. The workshops we deliver are designed mainly to increase the pipeline of school leavers going on to study computer science o...

Full description

Published in: Communications in Computer and Information Science
ISBN: 9783030713737 9783030713744
ISSN: 1865-0929 1865-0937
Published: Cham Springer International Publishing 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa53032
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2019-12-15T19:13:35Z
last_indexed 2023-03-14T04:07:16Z
id cronfa53032
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-03-13T14:21:32.6789655</datestamp><bib-version>v2</bib-version><id>53032</id><entry>2019-12-15</entry><title>Teaching Them Early: Formal Methods in&#xA0;School</title><swanseaauthors><author><sid>bf25e0b52fe7c11c473cc48d306073f7</sid><ORCID>0000-0001-9535-8053</ORCID><firstname>Faron</firstname><surname>Moller</surname><name>Faron Moller</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>5eca7cf79b7384130a1feef384d90508</sid><ORCID>0000-0002-4894-2158</ORCID><firstname>Liam</firstname><surname>O'Reilly</surname><name>Liam O'Reilly</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>65070af98811fb701f17078102c4e7ac</sid><firstname>Stewart</firstname><surname>Powell</surname><name>Stewart Powell</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>b53d8cbafcda09146b2b79c44be41425</sid><ORCID>0000-0003-0640-7728</ORCID><firstname>Casey</firstname><surname>Hopkins</surname><name>Casey Hopkins</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-12-15</date><deptcode>SCS</deptcode><abstract>In this paper, we describe a programme of school engagement aimed at instilling a discipline of computational thinking within pupils before they embark on a university course. The workshops we deliver are designed mainly to increase the pipeline of school leavers going on to study computer science or software engineering, specifically by changing perceptions on what this means amongst the vast majority &#x2013; particularly girls &#x2013; who think it is just a geeky topic for boys.Over the past number of years, student enrollment has been increasing dramatically in our university&#x2019;s undergraduate computer science and software engineering degree programmes. Also, the performance of the students on first-year formal methods modules &#x2013; which has historically been poor &#x2013; has risen substantially. Whilst there are many influences contributing towards these trends, we present evidence that our efforts with school engagement has to a non-trivial extent contributed towards these: both through the way the undergraduate programme has been adapted to incorporate the Technocamps approach, and through providing a pipeline of students who understand the principles of computational thinking.</abstract><type>Book chapter</type><journal>Communications in Computer and Information Science</journal><volume/><journalNumber/><paginationStart>173</paginationStart><paginationEnd>190</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030713737</isbnPrint><isbnElectronic>9783030713744</isbnElectronic><issnPrint>1865-0929</issnPrint><issnElectronic>1865-0937</issnElectronic><keywords>Formal methods, School engagement, Computer science education.</keywords><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-01-01</publishedDate><doi>10.1007/978-3-030-71374-4_9</doi><url>http://dx.doi.org/10.1007/978-3-030-71374-4_9</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-03-13T14:21:32.6789655</lastEdited><Created>2019-12-15T12:34:15.6933886</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>1</order></author><author><firstname>Liam</firstname><surname>O'Reilly</surname><orcid>0000-0002-4894-2158</orcid><order>2</order></author><author><firstname>Stewart</firstname><surname>Powell</surname><order>3</order></author><author><firstname>Casey</firstname><surname>Hopkins</surname><orcid>0000-0003-0640-7728</orcid><order>4</order></author></authors><documents><document><filename>53032__16096__d99460bcbfbe4a3f94109154ea5c32b4.pdf</filename><originalFilename>FMFun.pdf</originalFilename><uploaded>2019-12-15T12:40:21.7313982</uploaded><type>Output</type><contentLength>14809299</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2023-03-13T14:21:32.6789655 v2 53032 2019-12-15 Teaching Them Early: Formal Methods in School bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 5eca7cf79b7384130a1feef384d90508 0000-0002-4894-2158 Liam O'Reilly Liam O'Reilly true false 65070af98811fb701f17078102c4e7ac Stewart Powell Stewart Powell true false b53d8cbafcda09146b2b79c44be41425 0000-0003-0640-7728 Casey Hopkins Casey Hopkins true false 2019-12-15 SCS In this paper, we describe a programme of school engagement aimed at instilling a discipline of computational thinking within pupils before they embark on a university course. The workshops we deliver are designed mainly to increase the pipeline of school leavers going on to study computer science or software engineering, specifically by changing perceptions on what this means amongst the vast majority – particularly girls – who think it is just a geeky topic for boys.Over the past number of years, student enrollment has been increasing dramatically in our university’s undergraduate computer science and software engineering degree programmes. Also, the performance of the students on first-year formal methods modules – which has historically been poor – has risen substantially. Whilst there are many influences contributing towards these trends, we present evidence that our efforts with school engagement has to a non-trivial extent contributed towards these: both through the way the undergraduate programme has been adapted to incorporate the Technocamps approach, and through providing a pipeline of students who understand the principles of computational thinking. Book chapter Communications in Computer and Information Science 173 190 Springer International Publishing Cham 9783030713737 9783030713744 1865-0929 1865-0937 Formal methods, School engagement, Computer science education. 1 1 2021 2021-01-01 10.1007/978-3-030-71374-4_9 http://dx.doi.org/10.1007/978-3-030-71374-4_9 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-03-13T14:21:32.6789655 2019-12-15T12:34:15.6933886 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Faron Moller 0000-0001-9535-8053 1 Liam O'Reilly 0000-0002-4894-2158 2 Stewart Powell 3 Casey Hopkins 0000-0003-0640-7728 4 53032__16096__d99460bcbfbe4a3f94109154ea5c32b4.pdf FMFun.pdf 2019-12-15T12:40:21.7313982 Output 14809299 application/pdf Accepted Manuscript true false
title Teaching Them Early: Formal Methods in School
spellingShingle Teaching Them Early: Formal Methods in School
Faron Moller
Liam O'Reilly
Stewart Powell
Casey Hopkins
title_short Teaching Them Early: Formal Methods in School
title_full Teaching Them Early: Formal Methods in School
title_fullStr Teaching Them Early: Formal Methods in School
title_full_unstemmed Teaching Them Early: Formal Methods in School
title_sort Teaching Them Early: Formal Methods in School
author_id_str_mv bf25e0b52fe7c11c473cc48d306073f7
5eca7cf79b7384130a1feef384d90508
65070af98811fb701f17078102c4e7ac
b53d8cbafcda09146b2b79c44be41425
author_id_fullname_str_mv bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
5eca7cf79b7384130a1feef384d90508_***_Liam O'Reilly
65070af98811fb701f17078102c4e7ac_***_Stewart Powell
b53d8cbafcda09146b2b79c44be41425_***_Casey Hopkins
author Faron Moller
Liam O'Reilly
Stewart Powell
Casey Hopkins
author2 Faron Moller
Liam O'Reilly
Stewart Powell
Casey Hopkins
format Book chapter
container_title Communications in Computer and Information Science
container_start_page 173
publishDate 2021
institution Swansea University
isbn 9783030713737
9783030713744
issn 1865-0929
1865-0937
doi_str_mv 10.1007/978-3-030-71374-4_9
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://dx.doi.org/10.1007/978-3-030-71374-4_9
document_store_str 1
active_str 0
description In this paper, we describe a programme of school engagement aimed at instilling a discipline of computational thinking within pupils before they embark on a university course. The workshops we deliver are designed mainly to increase the pipeline of school leavers going on to study computer science or software engineering, specifically by changing perceptions on what this means amongst the vast majority – particularly girls – who think it is just a geeky topic for boys.Over the past number of years, student enrollment has been increasing dramatically in our university’s undergraduate computer science and software engineering degree programmes. Also, the performance of the students on first-year formal methods modules – which has historically been poor – has risen substantially. Whilst there are many influences contributing towards these trends, we present evidence that our efforts with school engagement has to a non-trivial extent contributed towards these: both through the way the undergraduate programme has been adapted to incorporate the Technocamps approach, and through providing a pipeline of students who understand the principles of computational thinking.
published_date 2021-01-01T04:05:47Z
_version_ 1763753431076438016
score 11.037603

Similar Items