- Hauptmenü-

Katalogdatenanzeige

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

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
Erscheinungsjahr	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

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.