Verfügbarkeit: Using event-B for critical device software systems

Gespeichert in:

Bibliographische Detailangaben
Titel:	Using event-B for critical device software systems
Von:	Neeraj Kumar Singh
Person:	Singh, Neeraj Kumar Verfasser aut
Hauptverfasser:	Singh, Neeraj Kumar (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	London [u.a.] Springer 2013
Online-Zugang:	https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 https://doi.org/10.1007/978-1-4471-5260-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	1 Online-Ressource
ISBN:	9781447152590 9781447152606
DOI:	10.1007/978-1-4471-5260-6

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV041198419
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	130801s2013 xx o\|\|\|\| 00\|\|\| eng d
015			\|a 13,O07 \|2 dnb
016	7		\|a 1036265129 \|2 DE-101
020			\|a 9781447152590 \|9 978-1-4471-5259-0
020			\|a 9781447152606 \|c Online \|9 978-1-4471-5260-6
024	7		\|a 10.1007/978-1-4471-5260-6 \|2 doi
024	3		\|a 9781447152606
035			\|a (OCoLC)855543845
035			\|a (DE-599)DNB1036265129
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-634 \|a DE-739 \|a DE-355
082	0		\|a 005.131
100	1		\|a Singh, Neeraj Kumar \|e Verfasser \|4 aut
245	1	0	\|a Using event-B for critical device software systems \|c Neeraj Kumar Singh
264		1	\|a London [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
856	4	0	\|u https://doi.org/10.1007/978-1-4471-5260-6 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026173354
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-5260-6 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-UBR_katkey	6612179
_version_	1835111279875850240
adam_text	USING EVENT-B FOR CRITICAL DEVICE SOFTWARE SYSTEMS / SINGH, NEERAJ KUMAR : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS PREFACE INTRODUCTION BACKGROUND THE MODELLING FRAMEWORK: EVENT-B CRITICAL SYSTEM DEVELOPMENT METHODOLOGY REAL-TIME ANIMATOR AND REQUIREMENTS TRACEABILITY REFINEMENT CHART EB2ALL: AN AUTOMATIC CODE GENERATOR TOOL FORMAL LOGIC BASED HEART-MODEL THE CARDIAC PACEMAKER ELECTROCARDIOGRAM (ECG) CONCLUSION APPENDIX A: CERTIFICATION STANDARDS INDEX DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. USING EVENT-B FOR CRITICAL DEVICE SOFTWARE SYSTEMS / SINGH, NEERAJ KUMAR : 2013 ABSTRACT / INHALTSTEXT DEFINING A NEW DEVELOPMENT LIFE-CYCLE METHODOLOGY, TOGETHER WITH A SET OF ASSOCIATED TECHNIQUES AND TOOLS TO DEVELOP HIGHLY CRITICAL SYSTEMS USING FORMAL TECHNIQUES, THIS BOOK ADOPTS A RIGOROUS SAFETY ASSESSMENT APPROACH EXPLORED VIA SEVERAL LAYERS (FROM REQUIREMENTS ANALYSIS TO AUTOMATIC SOURCE CODE GENERATION). THIS IS ASSESSED AND EVALUATED VIA A STANDARD CASE STUDY: THE CARDIAC PACEMAKER. ADDITIONALLY A FORMALISATION OF AN ELECTROCARDIOGRAM (ECG) IS USED TO IDENTIFY ANOMALIES IN ORDER TO IMPROVE EXISTING MEDICAL PROTOCOLS. THIS ALLOWS THE KEY ISSUE - THAT FORMAL METHODS ARE NOT CURRENTLY INTEGRATED INTO ESTABLISHED CRITICAL SYSTEMS DEVELOPMENT PROCESSES- TO BE DISCUSSED IN A HIGHLY EFFECTIVE AND INFORMATIVE WAY. USING EVENT-B FOR CRITICAL DEVICE SOFTWARE SYSTEMS SERVES AS A VALUABLE RESOURCE FOR RESEARCHERS AND STUDENTS OF FORMAL METHODS. THE ASSESSMENT OF CRITICAL SYSTEMS DEVELOPMENT IS APPLICABLE TO ALL INDUSTRIES, BUT ENGINEERS AND PHYSICIANS FROM THE HEALTH DOMAIN WILL FIND THE CARDIAC PACEMAKER CASE STUDY OF PARTICULAR VALUE DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Singh, Neeraj Kumar
author_facet	Singh, Neeraj Kumar
author_role	aut
author_sort	Singh, Neeraj Kumar
author_variant	n k s nk nks
building	Verbundindex
bvnumber	BV041198419
collection	ZDB-2-SCS
ctrlnum	(OCoLC)855543845 (DE-599)DNB1036265129
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-1-4471-5260-6
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02689nam a2200505zc 4500</leader><controlfield tag="001">BV041198419</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">130801s2013 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1036265129</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447152590</subfield><subfield code="9">978-1-4471-5259-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447152606</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-5260-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-5260-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781447152606</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)855543845</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1036265129</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Singh, Neeraj Kumar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Using event-B for critical device software systems</subfield><subfield code="c">Neeraj Kumar Singh</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026173354</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-5260-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV041198419
illustrated	Not Illustrated
indexdate	2024-12-20T16:33:00Z
institution	BVB
isbn	9781447152590 9781447152606
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026173354
oclc_num	855543845
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR
physical	1 Online-Ressource
psigel	ZDB-2-SCS
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
spellingShingle	Singh, Neeraj Kumar Using event-B for critical device software systems
title	Using event-B for critical device software systems
title_auth	Using event-B for critical device software systems
title_exact_search	Using event-B for critical device software systems
title_full	Using event-B for critical device software systems Neeraj Kumar Singh
title_fullStr	Using event-B for critical device software systems Neeraj Kumar Singh
title_full_unstemmed	Using event-B for critical device software systems Neeraj Kumar Singh
title_short	Using event-B for critical device software systems
title_sort	using event b for critical device software systems
url	https://doi.org/10.1007/978-1-4471-5260-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026173354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT singhneerajkumar usingeventbforcriticaldevicesoftwaresystems

Verfügbarkeit

‌

Per Ortsleihe bestellen Per Ortsleihe bestellen Inhaltsverzeichnis

EBook an UBR verfügbar
Sie können dieses EMedium vor Ort an der UBR beziehen