國立虎尾科技大學 |

On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	On the Construction of Engineering Handbooks/ by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach.
其他題名:	with an Illustration from the Railway Safety Domain /
作者:	Gruner, Stefan.
其他作者:	Kumar, Apurva.
面頁冊數:	XII, 83 p. 13 illus., 6 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-030-44648-2
ISBN:	9783030446482

On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain /
Gruner, Stefan.

On the Construction of Engineering Handbookswith an Illustration from the Railway Safety Domain /[electronic resource] :by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach. - 1st ed. 2020. - XII, 83 p. 13 illus., 6 illus. in color.online resource. - SpringerBriefs in Computer Science,2191-5768. - SpringerBriefs in Computer Science,.

I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. .

This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic repositories) for inclusion into such a handbook, and the “assembly” of such identified knowledge into a form which is fit for the purpose and conforms to the formal characteristics of handbooks as a “literary genre”. For many newly emerging domains or disciplines, for which no handbook with normative authority has yet been defined, the question arises of how to do this systematically and in a non-arbitrary manner. This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept analysis can be used for identifying settled knowledge as the key ingredient by utilizing the assembled data for classification; a presentation scheme for handbook articles is developed and demonstrated to be suitable. The sketched approach is then illustrated by an example from the railway safety domain. Finally, the limitations of the presented methods are discussed. The key contribution of this book is the (example illustrated) construction method itself, not the handbook, which would result from a highly detailed and thoroughly comprehensive application of the method. .

ISBN: 9783030446482

Standard No.: 10.1007/978-3-030-44648-2doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain /
LDR:03108nam a22003975i 4500 001 1026184
003 DE-He213
005 20210309005654.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030446482 $9 978-3-030-44648-2
024 7 $a 10.1007/978-3-030-44648-2 $2 doi
035 $a 978-3-030-44648-2
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
100 1 $a Gruner, Stefan. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1114527
245 1 0 $a On the Construction of Engineering Handbooks $h [electronic resource] : $b with an Illustration from the Railway Safety Domain / $c by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XII, 83 p. 13 illus., 6 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a SpringerBriefs in Computer Science, $x 2191-5768
505 0 $a I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. .
520 $a This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic repositories) for inclusion into such a handbook, and the “assembly” of such identified knowledge into a form which is fit for the purpose and conforms to the formal characteristics of handbooks as a “literary genre”. For many newly emerging domains or disciplines, for which no handbook with normative authority has yet been defined, the question arises of how to do this systematically and in a non-arbitrary manner. This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept analysis can be used for identifying settled knowledge as the key ingredient by utilizing the assembled data for classification; a presentation scheme for handbook articles is developed and demonstrated to be suitable. The sketched approach is then illustrated by an example from the railway safety domain. Finally, the limitations of the presented methods are discussed. The key contribution of this book is the (example illustrated) construction method itself, not the handbook, which would result from a highly detailed and thoroughly comprehensive application of the method. .
650 0 $a Software engineering. $3 562952
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 0 $a Computers. $3 565115
650 0 $a Law and legislation. $3 1069250
650 0 $a Transportation engineering. $3 633205
650 0 $a Traffic engineering. $3 639529
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Management of Computing and Information Systems. $3 593928
650 2 4 $a Legal Aspects of Computing. $3 669901
650 2 4 $a Transportation Technology and Traffic Engineering. $3 1069531
700 1 $a Kumar, Apurva. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1322475
700 1 $a Maibaum, Tom. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 680908
700 1 $a Roggenbach, Markus. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1197911
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030446475
776 0 8 $i Printed edition: $z 9783030446499
830 0 $a SpringerBriefs in Computer Science, $x 2191-5768 $3 1255334
856 4 0 $u https://doi.org/10.1007/978-3-030-44648-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)