. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9781849966894 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 90,90 €, größter Preis: 173,95 €, Mittelwert: 128,51 €
Formal Refinement for Operating System Kernels - Iain D. Craig
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Iain D. Craig:
Formal Refinement for Operating System Kernels - neues Buch

ISBN: 9781849966894

The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken. Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science. Books Books ~~ Computers~~ Software Development & Engineering ~~ General Formal-Refinement-for-Operating-System-Kernels~~Iain-D-Craig Springer London The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Refinement for Operating System Kernels - Iain D. Craig
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Iain D. Craig:
Formal Refinement for Operating System Kernels - neues Buch

ISBN: 9781849966894

ID: 137865025

This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon. Bothkernelstooklessthanthreemonthsworkingtimetoproduce(theactual time is rather hard to calculate because of frequent interruptions). Previous experience in re?ning kernels also paid o? in the sense that there was l- tle revision involved in their speci?cation or re?nement; the usual process of yo-yoing between levels of the derivation was absent. This appears to be an inevitable consequence of experience. Formal Refinement for Operating System Kernels Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.at
No. 25606547 Versandkosten:US (EUR 8.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Refinement for Operating System Kernels - Craig, Iain D.
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Craig, Iain D.:
Formal Refinement for Operating System Kernels - Taschenbuch

2010, ISBN: 1849966893, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD

ID: 9781849966894

Internationaler Buchtitel. In englischer Sprache. Verlag: Springer-Verlag GmbH, Paperback, 348 Seiten, L=235mm, B=155mm, H=18mm, Gew.=526gr, [GR: 16320 - HC/Informatik], Kartoniert/Broschiert, Klappentext: The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs. The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Neues Buch DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Refinement for Operating System Kernels - Iain D. Craig
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Iain D. Craig:
Formal Refinement for Operating System Kernels - neues Buch

ISBN: 9781849966894

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs. Iain D. Craig, Books, Computers, Formal Refinement for Operating System Kernels Books>Computers The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Neues Buch [USA] Indigo.ca
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Refinement for Operating System Kernels
Autor:

Craig, Iain D.

Titel:

Formal Refinement for Operating System Kernels

ISBN-Nummer:

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Detailangaben zum Buch - Formal Refinement for Operating System Kernels


EAN (ISBN-13): 9781849966894
ISBN (ISBN-10): 1849966893
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
348 Seiten
Gewicht: 0,526 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 18.11.2011 01:06:36
Buch zuletzt gefunden am 11.09.2016 15:11:06
ISBN/EAN: 9781849966894

ISBN - alternative Schreibweisen:
1-84996-689-3, 978-1-84996-689-4


< zum Archiv...
Benachbarte Bücher