On the construction of engineering handbooks : with an illustration from the railway safety domain /
Saved in:
Author / Creator: | Gruner, Stefan, Ph. D. |
---|---|
Edition: | 1st ed. 2020. |
Imprint: | Cham, Switzerland : Springer, [2020] |
Description: | 1 online resource |
Language: | English |
Series: | SpringerBriefs in computer science, 2191-5776 SpringerBriefs in computer science. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12605216 |
Table of Contents:
- 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.