Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Zweigstelleninformation
Katalogdatenanzeige
Katalogdatenanzeige
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
.
Bookmark für diesen Satz setzen
Katalogdatensatz500144975
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500144975
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Hinweise auf parallele Ausgaben
286129310 Buchausg. u.d.T.: ‡Kleuker, Stephan, 1967 - : Formale Modelle der Softwareentwicklung
ISBN
978-3-8348-0669-7
Name
Kleuker, Stephan
T I T E L
Formale Modelle der Softwareentwicklung
Zusatz zum Titel
Model-Checking, Verifikation, Analyse und Simulation
Verlagsort
Wiesbaden
Verlag
Vieweg+Teubner
Erscheinungsjahr
2009
2009
Umfang
Online-Ressource (X, 301S. 206 Abb, digital)
Reihe
SpringerLink. Bücher
Titelhinweis
Buchausg. u.d.T.: ‡Kleuker, Stephan, 1967 - : Formale Modelle der Softwareentwicklung
ISBN
ISBN 978-3-8348-9595-0
Klassifikation
UMZ
UL
COM051230
*68N99
68Q60
68-01
68Q85
68M14
UM
COM051000
005.1
005.1015113
QA76.758
ST 230
Kurzbeschreibung
Motivation von Formalen Modellen -- Modelchecking mit PROMELA und SPIN -- Modelchecking mit Timed Automata und Uppaal -- Petrinetze -- Programmverifikation -- Installationsbeschreibungen -- Kurzeinführung in Java.
2. Kurzbeschreibung
Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund. Der Inhalt: Motivation von formalen Modellen – Model Checking mit Promela und Spin – Timed Automata – Petrinetze – Semantik und Verifikation sequenzieller und paralleler Programme Die Zielgruppe: - Informatik-Studierende ab 4. Semester - Studierende in Informatik-orientierten Master-Studiengängen - Entwickler kritischer Software-Systeme - An Qualitätssicherung Interessierte Der Autor: Prof. Dr. Stephan Kleuker hat im Themengebiet "formale Methoden" promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.
1. Schlagwortkette
Softwareentwicklung
Korrektheit
Beweis
Formale Methode
SWB-Titel-Idn
313877432
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-8348-9595-0
Internetseite / Link
Volltext
Siehe auch
Cover
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500144975
.
Kategorien-Anzeige
Katalogdatensatz500144975
.
Verwandte Werke
Katalogdatensatz500144975
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500144975
.
Kataloginformation500144975
Datensatzanfang
.
Kataloginformation500144975
Seitenanfang
.
Titel vormerken
Katalogdatensatz500144975
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach