Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [REPOST] (3834806692)

Like Book123?! Give us +1

More

Stephan Kleuker, "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation”

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.

Download: 2.4 MB, rar'd PDF

Buy Book at Lowest Price on Amazon

NO POSTING MIRROR, PLEASE!

Rating:
2.5 out of 5 by Book123

Download Links
Server	Status
Direct Download Link 1	Alive
Direct Download Link 2	Alive
Download Link (Filesonic.com)	Alive
Download Link (Fileserve.com)	Alive
Buy This Book at Best Price >>

Like this article?! Give us +1:

	Model Checking Software Model Checking Software by Susanne Graf, Laurent MounierSpringer \| ISBN 3540213147 \| 2004 \| PDF \| 309 pages \| 5.4 MbMirror -> Mirror -> Mirror:
	Programming Principles of Model Checking Christel Baier, Joost-Pieter Katoen “Principles of Model Checking" The MIT Press \| 2008-05-31 \| ISBN: 026202649X \| 975 pages \| PDF \| 4,7 MB Rapidshare Mirror Rapidshare Mirror
	Business/Investing Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken Markus Rabe, Sven Spieckermann, Sigrid Wenzel “Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken" Springer \| 2008-10-01 \| ISBN: 3540352813 \| 238 pages \| PDF \| 2,09 MB Ablaufsimu ...
	Science/Engineering Verification, Model Checking, and Abstract Interpretation Neil D. Jones, Markus Müller-Olm, "Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. " Springer \| 2009-01-01 \| ISBN: 3540938990 \| 381 pages \| PDF ...
	Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Stephan Kleuker, "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation" Vieweg+Teubner \| 2009 \| ISBN: 3834806692 \| 299 pages \| PDF \| 2,4 MB Software muss funktionieren, um von Kunden akzeptiert zu ...
	Verifikation und Validierung f¨¹r die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken Markus Rabe, Sven Spieckermann, Sigrid Wenzel ¡°Verifikation und Validierung f¨¹r die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken" Springer \| 2008-10-01 \| ISBN: 3540352813 \| 238 pages \| PDF \| 2,09 MB Ablauf ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)

DISCLAIMER:

This site does not store Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [REPOST] on its server. We only index and link to Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [REPOST] provided by other sites. Please contact the content providers to delete Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [REPOST] if any and email us, we'll remove relevant links or contents immediately.

	Model Checking Software Model Checking Software by Susanne Graf, Laurent MounierSpringer \| ISBN 3540213147 \| 2004 \| PDF \| 309 pages \| 5.4 MbMirror -> Mirror -> Mirror:
	Programming Principles of Model Checking Christel Baier, Joost-Pieter Katoen “Principles of Model Checking" The MIT Press \| 2008-05-31 \| ISBN: 026202649X \| 975 pages \| PDF \| 4,7 MB Rapidshare Mirror Rapidshare Mirror
	Business/Investing Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken Markus Rabe, Sven Spieckermann, Sigrid Wenzel “Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken" Springer \| 2008-10-01 \| ISBN: 3540352813 \| 238 pages \| PDF \| 2,09 MB Ablaufsimu ...
	Science/Engineering Verification, Model Checking, and Abstract Interpretation Neil D. Jones, Markus Müller-Olm, "Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. " Springer \| 2009-01-01 \| ISBN: 3540938990 \| 381 pages \| PDF ...
	Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Stephan Kleuker, "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation" Vieweg+Teubner \| 2009 \| ISBN: 3834806692 \| 299 pages \| PDF \| 2,4 MB Software muss funktionieren, um von Kunden akzeptiert zu ...
	Verifikation und Validierung f¨¹r die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken Markus Rabe, Sven Spieckermann, Sigrid Wenzel ¡°Verifikation und Validierung f¨¹r die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken" Springer \| 2008-10-01 \| ISBN: 3540352813 \| 238 pages \| PDF \| 2,09 MB Ablauf ...

Book123

Categories

Share With Friends

Archive by Date

Search Tag

Newest

Useful Links

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

Related Articles

DISCLAIMER:

Comments (0) All