2021-03-11
AUTHORSFaron Moller , Liam O’Reilly , Stewart Powell , Casey Denner
ABSTRACTIn 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. More... »
PAGES173-190
Formal Methods – Fun for Everybody
ISBN
978-3-030-71373-7
978-3-030-71374-4
http://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9
DOIhttp://dx.doi.org/10.1007/978-3-030-71374-4_9
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1136272358
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Swansea University, Swansea, UK",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, UK"
],
"type": "Organization"
},
"familyName": "Moller",
"givenName": "Faron",
"id": "sg:person.010425236217.29",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Swansea University, Swansea, UK",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, UK"
],
"type": "Organization"
},
"familyName": "O\u2019Reilly",
"givenName": "Liam",
"id": "sg:person.013067667365.05",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013067667365.05"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Swansea University, Swansea, UK",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, UK"
],
"type": "Organization"
},
"familyName": "Powell",
"givenName": "Stewart",
"id": "sg:person.015133431077.70",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015133431077.70"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Swansea University, Swansea, UK",
"id": "http://www.grid.ac/institutes/grid.4827.9",
"name": [
"Swansea University, Swansea, UK"
],
"type": "Organization"
},
"familyName": "Denner",
"givenName": "Casey",
"id": "sg:person.016357005151.55",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016357005151.55"
],
"type": "Person"
}
],
"datePublished": "2021-03-11",
"datePublishedReg": "2021-03-11",
"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 \u2013 particularly girls \u2013 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\u2019s undergraduate computer science and software engineering degree programmes. Also, the performance of the students on first-year formal methods modules \u2013 which has historically been poor \u2013 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.",
"editor": [
{
"familyName": "Cerone",
"givenName": "Antonio",
"type": "Person"
},
{
"familyName": "Roggenbach",
"givenName": "Markus",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-030-71374-4_9",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-030-71373-7",
"978-3-030-71374-4"
],
"name": "Formal Methods \u2013 Fun for Everybody",
"type": "Book"
},
"keywords": [
"undergraduate computer science",
"computer science",
"software engineering degree programs",
"computational thinking",
"school engagement",
"software engineering",
"pipeline of students",
"engineering degree programs",
"formal methods",
"non-trivial extent",
"student enrollment",
"degree programs",
"school leavers",
"undergraduate programs",
"university courses",
"methods module",
"students",
"thinking",
"engagement",
"program",
"pipeline",
"past number",
"science",
"schools",
"pupils",
"leavers",
"module",
"disciplines",
"workshop",
"enrollment",
"course",
"perception",
"girls",
"engineering",
"topic",
"boys",
"performance",
"way",
"vast majority",
"efforts",
"method",
"principles",
"number",
"approach",
"majority",
"years",
"trends",
"extent",
"paper",
"influence",
"evidence"
],
"name": "Teaching Them Early: Formal Methods in School",
"pagination": "173-190",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1136272358"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-030-71374-4_9"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-030-71374-4_9",
"https://app.dimensions.ai/details/publication/pub.1136272358"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:42",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_147.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-030-71374-4_9"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9'
This table displays all metadata directly associated to this object as RDF triples.
137 TRIPLES
23 PREDICATES
76 URIs
69 LITERALS
7 BLANK NODES
Subject | Predicate | Object | |
---|---|---|---|
1 | sg:pub.10.1007/978-3-030-71374-4_9 | schema:about | anzsrc-for:08 |
2 | ″ | ″ | anzsrc-for:0803 |
3 | ″ | schema:author | N9c0f5fbee06b4184a7ffe690609d72d0 |
4 | ″ | schema:datePublished | 2021-03-11 |
5 | ″ | schema:datePublishedReg | 2021-03-11 |
6 | ″ | schema: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. |
7 | ″ | schema:editor | Ne910f47723c242b3a5c8834535e55a64 |
8 | ″ | schema:genre | chapter |
9 | ″ | schema:inLanguage | en |
10 | ″ | schema:isAccessibleForFree | false |
11 | ″ | schema:isPartOf | N1ee4b8191df34cd0932ec5066af8bd13 |
12 | ″ | schema:keywords | approach |
13 | ″ | ″ | boys |
14 | ″ | ″ | computational thinking |
15 | ″ | ″ | computer science |
16 | ″ | ″ | course |
17 | ″ | ″ | degree programs |
18 | ″ | ″ | disciplines |
19 | ″ | ″ | efforts |
20 | ″ | ″ | engagement |
21 | ″ | ″ | engineering |
22 | ″ | ″ | engineering degree programs |
23 | ″ | ″ | enrollment |
24 | ″ | ″ | evidence |
25 | ″ | ″ | extent |
26 | ″ | ″ | formal methods |
27 | ″ | ″ | girls |
28 | ″ | ″ | influence |
29 | ″ | ″ | leavers |
30 | ″ | ″ | majority |
31 | ″ | ″ | method |
32 | ″ | ″ | methods module |
33 | ″ | ″ | module |
34 | ″ | ″ | non-trivial extent |
35 | ″ | ″ | number |
36 | ″ | ″ | paper |
37 | ″ | ″ | past number |
38 | ″ | ″ | perception |
39 | ″ | ″ | performance |
40 | ″ | ″ | pipeline |
41 | ″ | ″ | pipeline of students |
42 | ″ | ″ | principles |
43 | ″ | ″ | program |
44 | ″ | ″ | pupils |
45 | ″ | ″ | school engagement |
46 | ″ | ″ | school leavers |
47 | ″ | ″ | schools |
48 | ″ | ″ | science |
49 | ″ | ″ | software engineering |
50 | ″ | ″ | software engineering degree programs |
51 | ″ | ″ | student enrollment |
52 | ″ | ″ | students |
53 | ″ | ″ | thinking |
54 | ″ | ″ | topic |
55 | ″ | ″ | trends |
56 | ″ | ″ | undergraduate computer science |
57 | ″ | ″ | undergraduate programs |
58 | ″ | ″ | university courses |
59 | ″ | ″ | vast majority |
60 | ″ | ″ | way |
61 | ″ | ″ | workshop |
62 | ″ | ″ | years |
63 | ″ | schema:name | Teaching Them Early: Formal Methods in School |
64 | ″ | schema:pagination | 173-190 |
65 | ″ | schema:productId | N4a54d3628e29403ba15004ef7e771c17 |
66 | ″ | ″ | N7239eaeee13c45f68801b90f855f9098 |
67 | ″ | schema:publisher | N937d5a769ce94a72b9c45789f6a424f2 |
68 | ″ | schema:sameAs | https://app.dimensions.ai/details/publication/pub.1136272358 |
69 | ″ | ″ | https://doi.org/10.1007/978-3-030-71374-4_9 |
70 | ″ | schema:sdDatePublished | 2022-05-20T07:42 |
71 | ″ | schema:sdLicense | https://scigraph.springernature.com/explorer/license/ |
72 | ″ | schema:sdPublisher | Nc5ccb91bfe90422b95884f7727fbd10d |
73 | ″ | schema:url | https://doi.org/10.1007/978-3-030-71374-4_9 |
74 | ″ | sgo:license | sg:explorer/license/ |
75 | ″ | sgo:sdDataset | chapters |
76 | ″ | rdf:type | schema:Chapter |
77 | N12fd47fc480a47de90006139a8403679 | rdf:first | sg:person.015133431077.70 |
78 | ″ | rdf:rest | N141fb691ba6c46168ba5e31327ce41a1 |
79 | N141fb691ba6c46168ba5e31327ce41a1 | rdf:first | sg:person.016357005151.55 |
80 | ″ | rdf:rest | rdf:nil |
81 | N1ee4b8191df34cd0932ec5066af8bd13 | schema:isbn | 978-3-030-71373-7 |
82 | ″ | ″ | 978-3-030-71374-4 |
83 | ″ | schema:name | Formal Methods – Fun for Everybody |
84 | ″ | rdf:type | schema:Book |
85 | N4a54d3628e29403ba15004ef7e771c17 | schema:name | doi |
86 | ″ | schema:value | 10.1007/978-3-030-71374-4_9 |
87 | ″ | rdf:type | schema:PropertyValue |
88 | N5613727626644275b30a5ccfb39a3db8 | rdf:first | Necd350fcc8a34eabb806069182731c3b |
89 | ″ | rdf:rest | rdf:nil |
90 | N7239eaeee13c45f68801b90f855f9098 | schema:name | dimensions_id |
91 | ″ | schema:value | pub.1136272358 |
92 | ″ | rdf:type | schema:PropertyValue |
93 | N937d5a769ce94a72b9c45789f6a424f2 | schema:name | Springer Nature |
94 | ″ | rdf:type | schema:Organisation |
95 | N9c0f5fbee06b4184a7ffe690609d72d0 | rdf:first | sg:person.010425236217.29 |
96 | ″ | rdf:rest | Nd6e5aaf0786649fda3dce8f835d34fa0 |
97 | Nb93074eb6f18419e936e64cc84b26593 | schema:familyName | Cerone |
98 | ″ | schema:givenName | Antonio |
99 | ″ | rdf:type | schema:Person |
100 | Nc5ccb91bfe90422b95884f7727fbd10d | schema:name | Springer Nature - SN SciGraph project |
101 | ″ | rdf:type | schema:Organization |
102 | Nd6e5aaf0786649fda3dce8f835d34fa0 | rdf:first | sg:person.013067667365.05 |
103 | ″ | rdf:rest | N12fd47fc480a47de90006139a8403679 |
104 | Ne910f47723c242b3a5c8834535e55a64 | rdf:first | Nb93074eb6f18419e936e64cc84b26593 |
105 | ″ | rdf:rest | N5613727626644275b30a5ccfb39a3db8 |
106 | Necd350fcc8a34eabb806069182731c3b | schema:familyName | Roggenbach |
107 | ″ | schema:givenName | Markus |
108 | ″ | rdf:type | schema:Person |
109 | anzsrc-for:08 | schema:inDefinedTermSet | anzsrc-for: |
110 | ″ | schema:name | Information and Computing Sciences |
111 | ″ | rdf:type | schema:DefinedTerm |
112 | anzsrc-for:0803 | schema:inDefinedTermSet | anzsrc-for: |
113 | ″ | schema:name | Computer Software |
114 | ″ | rdf:type | schema:DefinedTerm |
115 | sg:person.010425236217.29 | schema:affiliation | grid-institutes:grid.4827.9 |
116 | ″ | schema:familyName | Moller |
117 | ″ | schema:givenName | Faron |
118 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29 |
119 | ″ | rdf:type | schema:Person |
120 | sg:person.013067667365.05 | schema:affiliation | grid-institutes:grid.4827.9 |
121 | ″ | schema:familyName | O’Reilly |
122 | ″ | schema:givenName | Liam |
123 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013067667365.05 |
124 | ″ | rdf:type | schema:Person |
125 | sg:person.015133431077.70 | schema:affiliation | grid-institutes:grid.4827.9 |
126 | ″ | schema:familyName | Powell |
127 | ″ | schema:givenName | Stewart |
128 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015133431077.70 |
129 | ″ | rdf:type | schema:Person |
130 | sg:person.016357005151.55 | schema:affiliation | grid-institutes:grid.4827.9 |
131 | ″ | schema:familyName | Denner |
132 | ″ | schema:givenName | Casey |
133 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016357005151.55 |
134 | ″ | rdf:type | schema:Person |
135 | grid-institutes:grid.4827.9 | schema:alternateName | Swansea University, Swansea, UK |
136 | ″ | schema:name | Swansea University, Swansea, UK |
137 | ″ | rdf:type | schema:Organization |