On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain
暫譯: 工程手冊的建構:以鐵路安全領域為例

Gruner, Stefan, Kumar, Apurva, Maibaum, Tom

  • 出版商: Springer
  • 出版日期: 2020-04-14
  • 售價: $2,290
  • 貴賓價: 9.5$2,176
  • 語言: 英文
  • 頁數: 83
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030446476
  • ISBN-13: 9783030446475
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

這本書專注於澄清什麼實際上是一本手冊,系統性地識別應該被視為「確定知識」(從歷史資料庫中提取)以納入這樣的手冊,以及將這些識別出的知識「組裝」成適合目的並符合手冊作為「文學類型」的正式特徵的形式。對於許多新興領域或學科,尚未定義具有規範權威的手冊,因而出現了如何以系統性和非任意的方式進行這一工作的問題。

這本書首次反思如何構建桌面手冊的問題。它展示了如何利用概念分析來識別確定知識,作為關鍵成分,並利用組裝的數據進行分類;同時開發並展示了一個適合手冊文章的呈現方案。然後,通過一個來自鐵路安全領域的例子來說明這種概念。最後,討論了所提出方法的局限性。

這本書的主要貢獻在於(示例說明的)構建方法本身,而不是手冊,因為手冊將是該方法高度詳細和徹底應用的結果。

作者簡介

Stefan Gruner is an Associate Professor of Computer Science at the University of Pretoria, Republic of South Africa. Together with Tom Maibaum, he co-supervised Apurva Kumar during her Master's project, on the results of which some parts of this book are based. He has also collaborated with Markus Roggenbach for many years, particularly on questions concerning the formal semantics of CSP. At the University of Pretoria, Stefan Gruner lectures mostly theory based courses such as compiler construction or formal methods. With his additional qualification in philosophy, he is also active in interdisciplinary fields such as philosophy of science, philosophy of technology, and philosophy of informatics (meta informatics).

Apurva Kumar completed her Masters in Applied Science from McMaster University in 2015 under the supervision of Stefan Gruner and Tom Maibaum. Many of the findings in her Master's thesis are incorporated in this book. Apurva Kumar is currently a security researcher on the Threat Intelligence team at Lookout Inc. She spends most of her time uncovering and tracking threats as they emerge in and around the mobile space. Her main focus is on exposing and defending against nation state surveillance campaigns. Apurva's current work incorporates threat hunting, reverse engineering and penetration testing.

Tom Maibaum is an Emeritus Professor of the Foundations of Software Engineering in the Department of Computing and Software, McMaster University, Canada. He now lives in The United Kingdom. Previously, he held similarly named Chairs at King's College London and Imperial College London. Throughout his career, his research has focused on the logical and categorical bases of software engineering and on the applications of these topics to software engineering methods. He has studied the philosophical and epistemological bases of engineering and, in particular, software engineering. Over the past 15 years he has worked with Mark Lawford and Alan Wassyng at McMaster University in the context of the McMaster Centre for Software Certification, developing new logical and epistemological foundations of safety reasoning.
Markus Roggenbach is a Professor of Computer Science at Swansea University, The United Kingdom. His research foci are formal methods for safety and for cyber security, their semantics, how to utilise them throughout the software life cycle, how to support them with tools, and their application in industrial contexts. For more than a decade, he has been collaborating with Siemens Rail Automation (formerly Invensys Rail) to answer questions concerning safety with regard to railway signalling systems. He leads the Swansea Railway Verification Group, the European Technical Working Group on Formal Methods in Railway Control, and chairs the International Federation for Information Processing (IFIP) Working Group 1.3 "Foundations of System Specification".

作者簡介(中文翻譯)

斯特凡·格魯納(Stefan Gruner)是南非普利托利亞大學(University of Pretoria)計算機科學的副教授。他與湯姆·邁巴姆(Tom Maibaum)共同指導了阿普瓦·庫馬爾(Apurva Kumar)的碩士專案,這本書的某些部分基於該專案的結果。他還與馬庫斯·羅根巴赫(Markus Roggenbach)合作多年,特別是在有關CSP的形式語義問題上。在普利托利亞大學,斯特凡·格魯納主要教授理論基礎的課程,如編譯器構造或形式方法。憑藉他在哲學方面的額外資格,他也活躍於跨學科領域,如科學哲學、技術哲學和資訊哲學(元資訊學)。

阿普瓦·庫馬爾(Apurva Kumar)於2015年在麥克馬斯特大學(McMaster University)完成應用科學碩士學位,指導教授為斯特凡·格魯納和湯姆·邁巴姆。她碩士論文中的許多發現被納入本書。阿普瓦·庫馬爾目前是Lookout Inc.的威脅情報團隊的安全研究員。她大部分時間都在揭露和追蹤在移動領域中出現的威脅。她的主要重點是揭露和防禦國家監控行動。阿普瓦目前的工作包括威脅獵捕、逆向工程和滲透測試。

湯姆·邁巴姆(Tom Maibaum)是加拿大麥克馬斯特大學計算與軟體系所的軟體工程基礎名譽教授。他目前居住在英國。此前,他在倫敦國王學院(King's College London)和倫敦帝國學院(Imperial College London)擔任類似職位。在他的職業生涯中,他的研究專注於軟體工程的邏輯和範疇基礎,以及這些主題在軟體工程方法中的應用。他研究了工程,特別是軟體工程的哲學和認識論基礎。在過去的15年中,他與麥克馬斯特大學的馬克·勞福德(Mark Lawford)和艾倫·瓦辛(Alan Wassyng)合作,開發安全推理的新邏輯和認識論基礎,這是在麥克馬斯特軟體認證中心的背景下進行的。
馬庫斯·羅根巴赫(Markus Roggenbach)是英國斯旺西大學(Swansea University)的計算機科學教授。他的研究重點是安全和網絡安全的形式方法、它們的語義、如何在軟體生命週期中利用它們、如何用工具支持它們,以及它們在工業背景中的應用。十多年來,他一直與西門子鐵路自動化(前身為Invensys Rail)合作,解答有關鐵路信號系統安全的問題。他領導斯旺西鐵路驗證小組、歐洲鐵路控制形式方法技術工作組,並擔任國際資訊處理聯合會(IFIP)工作組1.3「系統規範基礎」的主席。