Teaching Them Early: Formal Methods in School View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2021-03-11

AUTHORS

Faron Moller , Liam O’Reilly , Stewart Powell , Casey Denner

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

PAGES

173-190

Book

TITLE

Formal Methods – Fun for Everybody

ISBN

978-3-030-71373-7
978-3-030-71374-4

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_9

DOI

http://dx.doi.org/10.1007/978-3-030-71374-4_9

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1136272358


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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

HOW TO GET THIS DATA PROGRAMMATICALLY:

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
 




Preview window. Press ESC to close (or click here)


...