• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Teknik och industri
    3. Teknik: allmänt

    On the Construction of Engineering Handbooks

    with an Illustration from the Railway Safety Domain

    AvStefan Gruner,Apurva Kumar

    Häftad, Engelska, 2020

    Del i serien SpringerBriefs in Computer Science

    542 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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 approachis 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.

    Produktinformation

    • Utgivningsdatum:2020-04-14
    • Mått:155 x 235 x 6 mm
    • Vikt:160 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:SpringerBriefs in Computer Science
    • Antal sidor:83
    • Förlag:Springer Nature Switzerland AG
    • ISBN:9783030446475

    Utforska kategorier

    • Teknik: allmänt inom Naturvetenskap och teknik
    • Skrivande och redigering inom Språk och ordböcker

    Mer om författaren

    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”.

    Innehållsförteckning

    • 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.
    Hoppa över listan

    Mer från samma författare

    Salah Kabanda, Hussein Suleman, Stefan Gruner - ICT Education, Häftad
    Del 963

    ICT Education

    Salah Kabanda, Hussein Suleman, Stefan Gruner

    Häftad, 2019

    527 kr

    Stefan Gruner, Hussein Suleman, Salah Kabanda - ICT Education, E-bok

    ICT Education

    Stefan Gruner, Hussein Suleman, Salah Kabanda

    E-bok
    2018

    690 kr

    Bobby Tait, Jan Kroeze, Stefan Gruner - ICT Education, Häftad
    Del 1136

    ICT Education

    Bobby Tait, Jan Kroeze, Stefan Gruner

    Häftad, 2019

    527 kr

    Stefan Gruner, Jan Kroeze, Bobby Tait - ICT Education, E-bok

    ICT Education

    Stefan Gruner, Jan Kroeze, Bobby Tait

    E-bok
    2019

    690 kr

    Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner - On the Construction of Engineering Handbooks, E-bok

    On the Construction of Engineering Handbooks

    Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner

    E-bok
    2020

    710 kr

    Alexander Denzler, Stefan Grüner, Markus Raasch - Kinder und Krieg, Häftad
    Del 68

    Kinder und Krieg

    Alexander Denzler, Stefan Grüner, Markus Raasch

    Häftad, 2016

    1 510 kr

    Markus Raasch, Stefan Gruner, Alexander Denzler - Kinder und Krieg, E-bok

    Kinder und Krieg

    Markus Raasch, Stefan Gruner, Alexander Denzler

    E-bok
    2016

    1 529 kr

    Markus Raasch, Stefan Gruner, Alexander Denzler - Kinder und Krieg, E-bok

    Kinder und Krieg

    Markus Raasch, Stefan Gruner, Alexander Denzler

    E-bok
    2016

    1 533 kr

    Stefan Grüner, Sabine Mecking - Wirtschaftsräume und Lebenschancen, Häftad
    Del 114

    Wirtschaftsräume und Lebenschancen

    Stefan Grüner, Sabine Mecking

    Häftad, 2017

    372 kr

    Stefan Gruner - ICT Education, Häftad
    Del 642

    ICT Education

    Stefan Gruner

    Häftad, 2016

    527 kr

    Hoppa över listan

    Mer från samma serie

    Cristian Axenie, Roman Bauer, Oliver López Corona, Jeffrey West - Applied Antifragility in Natural Systems, Häftad

    Applied Antifragility in Natural Systems

    Cristian Axenie, Roman Bauer, Oliver López Corona, Jeffrey West

    Häftad, 2025

    542 kr

    Adriano Veloso, Wagner Meira Jr. - Demand-Driven Associative Classification, Häftad

    Demand-Driven Associative Classification

    Adriano Veloso, Wagner Meira Jr.

    Häftad, 2011

    559 kr

    Angelos D. Keromytis - Voice over IP Security, Häftad

    Voice over IP Security

    Angelos D. Keromytis

    Häftad, 2011

    559 kr

    Rafael Silva Pereira, Karin K. Breitman - Video Processing in the Cloud, Häftad

    Video Processing in the Cloud

    Rafael Silva Pereira, Karin K. Breitman

    Häftad, 2011

    559 kr

    Cameron Browne - Evolutionary Game Design, Häftad

    Evolutionary Game Design

    Cameron Browne

    Häftad, 2011

    559 kr

    Thomas Plötz, Gernot A. Fink - Markov Models for Handwriting Recognition, Häftad

    Markov Models for Handwriting Recognition

    Thomas Plötz, Gernot A. Fink

    Häftad, 2011

    559 kr

    Simone Campanoni - Guide to ILDJIT, Häftad

    Guide to ILDJIT

    Simone Campanoni

    Häftad, 2011

    559 kr

    K K Shukla, M.V. Prasad - Lossy Image Compression, Häftad

    Lossy Image Compression

    K K Shukla, M.V. Prasad

    Häftad, 2011

    559 kr

    Sergio Escalera, Xavier Baró, Oriol Pujol, Jordi Vitrià, Petia Radeva - Traffic-Sign Recognition Systems, Häftad

    Traffic-Sign Recognition Systems

    Sergio Escalera, Xavier Baró, Oriol Pujol, Jordi Vitrià, Petia Radeva

    Häftad, 2011

    559 kr

    Georg Wittenburg, Jochen Schiller - Service Placement in Ad Hoc Networks, Häftad

    Service Placement in Ad Hoc Networks

    Georg Wittenburg, Jochen Schiller

    Häftad, 2012

    559 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner - On the Construction of Engineering Handbooks, E-bok

    On the Construction of Engineering Handbooks

    Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner

    E-bok
    2020

    710 kr

    Tom Maibaum - Fundamental Approaches to Software Engineering, E-bok

    Fundamental Approaches to Software Engineering

    Tom Maibaum

    E-bok
    2003

    732 kr

    Tom Maibaum, Jorge Cuellar - FM 2008: Formal Methods, E-bok

    FM 2008: Formal Methods

    Tom Maibaum, Jorge Cuellar

    E-bok
    2008

    732 kr

    Keijiro Araki, Tom Maibaum, Shaoying Liu - Formal Methods and Software Engineering, E-bok

    Formal Methods and Software Engineering

    Keijiro Araki, Tom Maibaum, Shaoying Liu

    E-bok
    2008

    732 kr

    Tom Maibaum - Fundamental Approaches to Software Engineering, Häftad

    Fundamental Approaches to Software Engineering

    Tom Maibaum

    Häftad, 2000

    559 kr

    Tom Maibaum, Bernhard K. Aichernig - Formal Methods at the Crossroads. From Panacea to Foundational Support, E-bok

    Formal Methods at the Crossroads. From Panacea to Foundational Support

    Tom Maibaum, Bernhard K. Aichernig

    E-bok
    2011

    732 kr

    Jorge Cuellar, Tom Maibaum - FM 2008: Formal Methods, Häftad

    FM 2008: Formal Methods

    Jorge Cuellar, Tom Maibaum

    Häftad, 2008

    559 kr

    Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support, Häftad

    Formal Methods at the Crossroads. From Panacea to Foundational Support

    Bernhard K. Aichernig, Tom Maibaum

    Häftad, 2003

    559 kr

    Shaoying Liu, Tom Maibaum, Keijiro Araki - Formal Methods and Software Engineering, Häftad

    Formal Methods and Software Engineering

    Shaoying Liu, Tom Maibaum, Keijiro Araki

    Häftad, 2008

    559 kr

    Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft, Övrigt

    Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft

    Bernhard K. Aichernig, Tom Maibaum

    667 kr