Ontology type: schema:Chapter Open Access: True
2021-03-11
AUTHORSAntonio Cerone , Markus Roggenbach , James Davenport , Casey Denner , Marie Farrell , Magne Haveraaen , Faron Moller , Philipp Körner , Sebastian Krings , Peter Csaba Ölveczky , Bernd-Holger Schlingloff , Nikolay Shilov , Rustam Zhumagambetov
ABSTRACTThis white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocatesimproved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula.These recommendations are based on the observations thatformal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry.This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe. More... »
PAGES1-26
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_1
DOIhttp://dx.doi.org/10.1007/978-3-030-71374-4_1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1136272347
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/0802",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computation Theory and Mathematics",
"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": "Nazarbayev University, Nur-Sultan, Kazakhstan",
"id": "http://www.grid.ac/institutes/grid.428191.7",
"name": [
"Nazarbayev University, Nur-Sultan, Kazakhstan"
],
"type": "Organization"
},
"familyName": "Cerone",
"givenName": "Antonio",
"id": "sg:person.011055353062.81",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011055353062.81"
],
"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": "Roggenbach",
"givenName": "Markus",
"id": "sg:person.014634147051.77",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "University of Bath, Bath, UK",
"id": "http://www.grid.ac/institutes/grid.7340.0",
"name": [
"University of Bath, Bath, UK"
],
"type": "Organization"
},
"familyName": "Davenport",
"givenName": "James",
"id": "sg:person.013172023677.55",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013172023677.55"
],
"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"
},
{
"affiliation": {
"alternateName": "University of Manchester, Manchester, UK",
"id": "http://www.grid.ac/institutes/grid.5379.8",
"name": [
"University of Manchester, Manchester, UK"
],
"type": "Organization"
},
"familyName": "Farrell",
"givenName": "Marie",
"id": "sg:person.07653733751.48",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07653733751.48"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "University of Bergen, Bergen, Norway",
"id": "http://www.grid.ac/institutes/grid.7914.b",
"name": [
"University of Bergen, Bergen, Norway"
],
"type": "Organization"
},
"familyName": "Haveraaen",
"givenName": "Magne",
"id": "sg:person.01301622473.31",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01301622473.31"
],
"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": "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": "Heinrich-Heine-Universit\u00e4t, D\u00fcsseldorf, Germany",
"id": "http://www.grid.ac/institutes/grid.411327.2",
"name": [
"Heinrich-Heine-Universit\u00e4t, D\u00fcsseldorf, Germany"
],
"type": "Organization"
},
"familyName": "K\u00f6rner",
"givenName": "Philipp",
"id": "sg:person.015772655102.98",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015772655102.98"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Niederrhein University of Applied Sciences, Krefeld, Germany",
"id": "http://www.grid.ac/institutes/grid.440943.e",
"name": [
"Niederrhein University of Applied Sciences, Krefeld, Germany"
],
"type": "Organization"
},
"familyName": "Krings",
"givenName": "Sebastian",
"id": "sg:person.016171040373.31",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016171040373.31"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "University of Oslo, Oslo, Norway",
"id": "http://www.grid.ac/institutes/grid.5510.1",
"name": [
"University of Oslo, Oslo, Norway"
],
"type": "Organization"
},
"familyName": "\u00d6lveczky",
"givenName": "Peter Csaba",
"id": "sg:person.013121443071.38",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013121443071.38"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany",
"id": "http://www.grid.ac/institutes/grid.7468.d",
"name": [
"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"
],
"type": "Organization"
},
"familyName": "Schlingloff",
"givenName": "Bernd-Holger",
"id": "sg:person.014236656041.20",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014236656041.20"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Innopolis University, Kazan, Russia",
"id": "http://www.grid.ac/institutes/grid.465471.5",
"name": [
"Innopolis University, Kazan, Russia"
],
"type": "Organization"
},
"familyName": "Shilov",
"givenName": "Nikolay",
"id": "sg:person.012272432743.44",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012272432743.44"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Nazarbayev University, Nur-Sultan, Kazakhstan",
"id": "http://www.grid.ac/institutes/grid.428191.7",
"name": [
"Nazarbayev University, Nur-Sultan, Kazakhstan"
],
"type": "Organization"
},
"familyName": "Zhumagambetov",
"givenName": "Rustam",
"id": "sg:person.015627537751.06",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015627537751.06"
],
"type": "Person"
}
],
"datePublished": "2021-03-11",
"datePublishedReg": "2021-03-11",
"description": "This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocatesimproved teaching of formal methods;systematic highlighting of formal methods within existing, \u2018classical\u2019 computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula.These recommendations are based on the observations thatformal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry.This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods \u2013 Fun for Everybody which was held in Bergen, Norway, 2\u20133 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.",
"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_1",
"inLanguage": "en",
"isAccessibleForFree": true,
"isPartOf": {
"isbn": [
"978-3-030-71373-7",
"978-3-030-71374-4"
],
"name": "Formal Methods \u2013 Fun for Everybody",
"type": "Book"
},
"keywords": [
"higher education curriculum",
"software engineering programs",
"formal methods",
"computer science",
"education curriculum",
"engineering programs",
"software engineering",
"TEACHING COMPUTER SCIENCE",
"computer science courses",
"software engineering curriculum",
"computer science graduates",
"formal methods courses",
"White Paper",
"methods course",
"science courses",
"engineering curriculum",
"science graduates",
"software quality",
"curriculum",
"adequate training",
"science",
"collective efforts",
"course",
"program",
"teaching",
"graduates",
"University",
"International Workshop",
"workshop",
"training",
"engineering",
"cost-effective means",
"method",
"recommendations",
"participants",
"Bergen",
"highlighting",
"authors",
"inclusion",
"efforts",
"paper",
"Norway",
"lack",
"quality",
"industry",
"insights",
"end",
"study",
"means",
"results",
"Europe"
],
"name": "Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering \u2014 A White Paper \u2014",
"pagination": "1-26",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1136272347"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-030-71374-4_1"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-030-71374-4_1",
"https://app.dimensions.ai/details/publication/pub.1136272347"
],
"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_130.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-030-71374-4_1"
}
]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_1'
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_1'
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_1'
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_1'
This table displays all metadata directly associated to this object as RDF triples.
231 TRIPLES
23 PREDICATES
77 URIs
69 LITERALS
7 BLANK NODES