Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (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.

Buy Book at Lowest Price on Amazon

Not all books ... appear on the homepage.

In order not to miss many of them follow Download Link (Ebooks section) (see top of each page on AH)

and visit too :)

Rating:
2.5 out of 5 by Book123

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

Like this article?! Give us +1:

	Programming Abstraction Refinement for Large Scale Model Checking Chao Wang , Gary D. Hachtel , Fabio Somenzi , "Abstraction Refinement for Large Scale Model Checking "Springer; 1 edition (July 20, 2006) \| ISBN: 0387341552 \| 186 pages \| PDF \| 6,9 MbAbstraction Refinement for Large Scale Model Checking su ...
	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 ...
	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 Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation on its server. We only index and link to Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation provided by other sites. Please contact the content providers to delete Programming Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation if any and email us, we'll remove relevant links or contents immediately.

	Programming Abstraction Refinement for Large Scale Model Checking Chao Wang , Gary D. Hachtel , Fabio Somenzi , "Abstraction Refinement for Large Scale Model Checking "Springer; 1 edition (July 20, 2006) \| ISBN: 0387341552 \| 186 pages \| PDF \| 6,9 MbAbstraction Refinement for Large Scale Model Checking su ...
	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 ...
	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

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

Related Articles

DISCLAIMER:

Comments (0) All