No Cover Image

Book 542 views 115 downloads

On the Construction of Engineering Handbooks

Markus Roggenbach Orcid Logo, Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

SpringerBriefs in Computer Science

Swansea University Author: Markus Roggenbach Orcid Logo

Check full text

DOI (Published version): 10.1007/978-3-030-44648-2

Abstract

Established engineering disciplines (and, in a similar way, thediscipline of medicine) have desktop handbooks which are partlydescriptive and partly normative: they give the practitioners of thosedisciplines a systematic overview of their disciplines' knowledge,which comprises both topic knowle...

Full description

Published in: SpringerBriefs in Computer Science
ISBN: 9783030446475 9783030446482
ISSN: 2191-5768 2191-5776
Published: Cham Springer International Publishing 2020
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa54031
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2020-04-23T19:32:26Z
last_indexed 2020-09-17T03:17:36Z
id cronfa54031
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-04-23T15:45:37.7598398</datestamp><bib-version>v2</bib-version><id>54031</id><entry>2020-04-23</entry><title>On the Construction of Engineering Handbooks</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2020-04-23</date><deptcode>SCS</deptcode><abstract>Established engineering disciplines (and, in a similar way, thediscipline of medicine) have desktop handbooks which are partlydescriptive and partly normative: they give the practitioners of thosedisciplines a systematic overview of their disciplines' knowledge,which comprises both topic knowledge (about the objects which are inthe scope of the discipline), as well as method knowledge (about how toproceed in order to solve problems which often and typically arisewithin those scopes). For newly `emerging' domains or disciplines,however, for which no Handbook (HB) withnormative authority has yet been defined, the question arises of how to do this systematically and in a non arbitrary manner; this is the focus of this book.Its meta methodological tasks entail: clarification of what actually a `HB' is,the systematicidentification of what ought to be considered as `settled' knowledge(extracted from historic repositories) for inclusion into such a HB, and the`assembly' of such identified knowledge into a form which is`fit' for the purpose and conforms to the formal characteristics of {HBs} as a`literary genre'. This book is the first to reflect upon the question of how toconstruct a desktop HB. 'Settled knowledge' is defined and identifiedas the key ingredient for HB production. It is demonstrated how conceptanalysis can be used for identifying settled knowledge by utilizingthe assembled data for classification; a presentation scheme for HBarticles is developed and demonstrated to be suitable.Modern society increasingly utilizes computer systems, presuming themto be dependable, i.e., safe and secure. Railway control is a typicalexample. Computer Science needs to address the challenges of (1)designing dependable systems and (2) providing evidence for safety andsecurity properties of such, often complex, systems. Formal Methodsare one important means to address both of these questions. However,actual Formal Methods HBs are scarce or nonexistent. A HB wouldencourage and enable practitioners to use Formal Methods as anapplicable, every day tool for software development.This book is rooted in the philosophy and methodology ofengineering. It provides a clear definition of settled knowledge andconcise presentation of methodologies for HB development, exemplifiedin the railway domain. These cover the question of how to identifysettled knowledge and also of how to transform such identifiedknowledge into a set of informative handbook articles. Finally, thelimitations of these methods are discussed.With the recently emerging `discipline' of `Formal Methods in therailway domain' as our motivating and illustrative example, this bookshows, in principle, how a HB can be reasonably constructed.</abstract><type>Book</type><journal>SpringerBriefs in Computer Science</journal><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030446475</isbnPrint><isbnElectronic>9783030446482</isbnElectronic><issnPrint>2191-5768</issnPrint><issnElectronic>2191-5776</issnElectronic><keywords/><publishedDay>23</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-04-23</publishedDate><doi>10.1007/978-3-030-44648-2</doi><url>http://dx.doi.org/10.1007/978-3-030-44648-2</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-04-23T15:45:37.7598398</lastEdited><Created>2020-04-23T15:45:37.7598398</Created><authors><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>1</order></author><author><firstname>Stefan</firstname><surname>Gruner</surname><order>2</order></author><author><firstname>Apurva</firstname><surname>Kumar</surname><order>3</order></author><author><firstname>Tom</firstname><surname>Maibaum</surname><order>4</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>5</order></author></authors><documents><document><filename>54031__17124__59ef1839e38e4d8da7398ba5cb77bd87.pdf</filename><originalFilename>SpringerBrief-14.pdf</originalFilename><uploaded>2020-04-23T15:51:35.0918764</uploaded><type>Output</type><contentLength>1378239</contentLength><contentType>application/pdf</contentType><version>Author's Original</version><cronfaStatus>true</cronfaStatus><embargoDate>2022-04-23T00:00:00.0000000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2020-04-23T15:45:37.7598398 v2 54031 2020-04-23 On the Construction of Engineering Handbooks 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2020-04-23 SCS Established engineering disciplines (and, in a similar way, thediscipline of medicine) have desktop handbooks which are partlydescriptive and partly normative: they give the practitioners of thosedisciplines a systematic overview of their disciplines' knowledge,which comprises both topic knowledge (about the objects which are inthe scope of the discipline), as well as method knowledge (about how toproceed in order to solve problems which often and typically arisewithin those scopes). For newly `emerging' domains or disciplines,however, for which no Handbook (HB) withnormative authority has yet been defined, the question arises of how to do this systematically and in a non arbitrary manner; this is the focus of this book.Its meta methodological tasks entail: clarification of what actually a `HB' is,the systematicidentification of what ought to be considered as `settled' knowledge(extracted from historic repositories) for inclusion into such a HB, and the`assembly' of such identified knowledge into a form which is`fit' for the purpose and conforms to the formal characteristics of {HBs} as a`literary genre'. This book is the first to reflect upon the question of how toconstruct a desktop HB. 'Settled knowledge' is defined and identifiedas the key ingredient for HB production. It is demonstrated how conceptanalysis can be used for identifying settled knowledge by utilizingthe assembled data for classification; a presentation scheme for HBarticles is developed and demonstrated to be suitable.Modern society increasingly utilizes computer systems, presuming themto be dependable, i.e., safe and secure. Railway control is a typicalexample. Computer Science needs to address the challenges of (1)designing dependable systems and (2) providing evidence for safety andsecurity properties of such, often complex, systems. Formal Methodsare one important means to address both of these questions. However,actual Formal Methods HBs are scarce or nonexistent. A HB wouldencourage and enable practitioners to use Formal Methods as anapplicable, every day tool for software development.This book is rooted in the philosophy and methodology ofengineering. It provides a clear definition of settled knowledge andconcise presentation of methodologies for HB development, exemplifiedin the railway domain. These cover the question of how to identifysettled knowledge and also of how to transform such identifiedknowledge into a set of informative handbook articles. Finally, thelimitations of these methods are discussed.With the recently emerging `discipline' of `Formal Methods in therailway domain' as our motivating and illustrative example, this bookshows, in principle, how a HB can be reasonably constructed. Book SpringerBriefs in Computer Science Springer International Publishing Cham 9783030446475 9783030446482 2191-5768 2191-5776 23 4 2020 2020-04-23 10.1007/978-3-030-44648-2 http://dx.doi.org/10.1007/978-3-030-44648-2 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2020-04-23T15:45:37.7598398 2020-04-23T15:45:37.7598398 Markus Roggenbach 0000-0002-3819-2787 1 Stefan Gruner 2 Apurva Kumar 3 Tom Maibaum 4 Markus Roggenbach 5 54031__17124__59ef1839e38e4d8da7398ba5cb77bd87.pdf SpringerBrief-14.pdf 2020-04-23T15:51:35.0918764 Output 1378239 application/pdf Author's Original true 2022-04-23T00:00:00.0000000 false
title On the Construction of Engineering Handbooks
spellingShingle On the Construction of Engineering Handbooks
Markus Roggenbach
title_short On the Construction of Engineering Handbooks
title_full On the Construction of Engineering Handbooks
title_fullStr On the Construction of Engineering Handbooks
title_full_unstemmed On the Construction of Engineering Handbooks
title_sort On the Construction of Engineering Handbooks
author_id_str_mv 7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Markus Roggenbach
author2 Markus Roggenbach
Stefan Gruner
Apurva Kumar
Tom Maibaum
Markus Roggenbach
format Book
container_title SpringerBriefs in Computer Science
publishDate 2020
institution Swansea University
isbn 9783030446475
9783030446482
issn 2191-5768
2191-5776
doi_str_mv 10.1007/978-3-030-44648-2
publisher Springer International Publishing
url http://dx.doi.org/10.1007/978-3-030-44648-2
document_store_str 1
active_str 0
description Established engineering disciplines (and, in a similar way, thediscipline of medicine) have desktop handbooks which are partlydescriptive and partly normative: they give the practitioners of thosedisciplines a systematic overview of their disciplines' knowledge,which comprises both topic knowledge (about the objects which are inthe scope of the discipline), as well as method knowledge (about how toproceed in order to solve problems which often and typically arisewithin those scopes). For newly `emerging' domains or disciplines,however, for which no Handbook (HB) withnormative authority has yet been defined, the question arises of how to do this systematically and in a non arbitrary manner; this is the focus of this book.Its meta methodological tasks entail: clarification of what actually a `HB' is,the systematicidentification of what ought to be considered as `settled' knowledge(extracted from historic repositories) for inclusion into such a HB, and the`assembly' of such identified knowledge into a form which is`fit' for the purpose and conforms to the formal characteristics of {HBs} as a`literary genre'. This book is the first to reflect upon the question of how toconstruct a desktop HB. 'Settled knowledge' is defined and identifiedas the key ingredient for HB production. It is demonstrated how conceptanalysis can be used for identifying settled knowledge by utilizingthe assembled data for classification; a presentation scheme for HBarticles is developed and demonstrated to be suitable.Modern society increasingly utilizes computer systems, presuming themto be dependable, i.e., safe and secure. Railway control is a typicalexample. Computer Science needs to address the challenges of (1)designing dependable systems and (2) providing evidence for safety andsecurity properties of such, often complex, systems. Formal Methodsare one important means to address both of these questions. However,actual Formal Methods HBs are scarce or nonexistent. A HB wouldencourage and enable practitioners to use Formal Methods as anapplicable, every day tool for software development.This book is rooted in the philosophy and methodology ofengineering. It provides a clear definition of settled knowledge andconcise presentation of methodologies for HB development, exemplifiedin the railway domain. These cover the question of how to identifysettled knowledge and also of how to transform such identifiedknowledge into a set of informative handbook articles. Finally, thelimitations of these methods are discussed.With the recently emerging `discipline' of `Formal Methods in therailway domain' as our motivating and illustrative example, this bookshows, in principle, how a HB can be reasonably constructed.
published_date 2020-04-23T04:07:20Z
_version_ 1763753528013094912
score 11.014224

Similar Items