Objekt Sys rar (3896751492)

Like Book123?! Give us +1

More

Bernhard Rumpe “Formale Methodik des Entwurfs verteilter objektorientierter Systeme"

In dieser Arbeit wird eine formale Grundlage für eine objektorientierte Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter objektorientierter Systeme werden Beschreibungstechniken für Objektmodelle, Klassen und Transitionssysteme definiert. Für die zustandsbasierte Beschreibung nichtdeterministischen Komponentenverhaltens wird die Theorie buchstabierender Automaten entwickelt. Es werden eine konkrete Darstellungsform, eine abstrakte Syntax, eine denotationelle und eine operationelle Semantik angegeben und gezeigt, daß beide Semantiken übereinstimmen. Für buchstabierende Automaten wird ein Verfeinerungskalkül definiert, der zur Transformation von abstrakten in detaillierte Verhaltensbeschreibungen verwendet werden kann. Es wird gezeigt, daß dieser Kalkül bezüglich der Semantikdefinition korrekt ist. Der Kalkül wird für die Spezialisierung und die Vererbung von Verhaltensbeschreibungen in verteilten objektorientierten Systemen eingesetzt. Ein Systemmodell charakterisiert eine Menge von verteilten objektorientierten Systemen, die aus asynchron kommunizierenden Agenten aufgebaut sind. Das Systemmodell dient als Basis für die Definition einer integrierten, formalen Semantik für die oben genannten Beschreibungstechniken. Methodische Entwicklungsschritte erlauben die Verfeinerung von Dokumenten dieser Beschreibungstechniken. Basierend auf der formalen Semantik der Verfeinerungsschritte werden präzise Aussagen über das Zusammenspiel der verwendeten Beschreibungstechniken definiert. Die Verbindung graphischer Beschreibungstechniken mit einer integrierten, formalen Semantik nutzt Synergieeffekte formaler und praxisorientierter Ansätze der Softwaretechnik.

Buy Book at Lowest Price on Amazon

--- Want to thank - download from my links ---

"

Rating:
2.5 out of 5 by Book123

Download Links
Server	Status
Direct Download Link 1	Alive
Direct Download Link 2	Alive
depositfiles.com	Alive
letitbit	Alive
fast-load.net	Alive
Buy This Book at Best Price >>

Like this article?! Give us +1:

	Programming Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Hopcroft,Motwani,Ullman “Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, 2.Auflage" Pearson Studium \| 2003-02-03 \| ISBN: 3827370205 \| PDF \| 528 pages \| 3,5 MB depositfiles.com
	Programming Useware-Engineering für technische Systeme: Mensch-Maschine-Systeme für die Praxis Detlef Zühlke “Useware-Engineering für technische Systeme: Mensch-Maschine-Systeme für die Praxis" Springer \| 2004-04-27 \| ISBN: 3540206477 \| 302 pages \| PDF \| 6,63 MB Dieses Buch gibt Entwicklern aus der Industrie einen Leitfaden z ...
	Economics/Finances Das V Modell XT Grundlagen Methodik und Anwendungen Das V-Modell XT Grundlagen Methodik und AnwendungenSpringer Verlag \| 04-2008 \| ISBN-10: 3540302492 \| 11 MB \| PDF \| Retail \| 628 Seiten \| germanNote : Das V-Modell XT ist ein umfassendes Prozessmodell für die Planung und Durchführung der S ...
	Programming Konzepte objektorientierter Programmierung: Mit einer Einführung in Java (German Edition) Arnd Poetzsch-Heffter "Konzepte objektorientierter Programmierung: Mit einer Einführung in Java (German Edition)"Springer \| German \| 2009-02-19 \| ISBN: 3540894705 \| 352 pages \| PDF \| 1,9 MBDas Buch bietet eine kompakte Einführung in die K ...
	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 ...
	Programming Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung Christian Wagenknecht, Michael Hielscher, "Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung" Vieweg+Teubner \| 2009 \| ISBN: 3834806242 \| 243 pages \| PDF \| 3,4 MB Die eher abstrak ...

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

DISCLAIMER:

This site does not store Programming Formale Methodik des Entwurfs verteilter objektorientierter Systeme on its server. We only index and link to Programming Formale Methodik des Entwurfs verteilter objektorientierter Systeme provided by other sites. Please contact the content providers to delete Programming Formale Methodik des Entwurfs verteilter objektorientierter Systeme if any and email us, we'll remove relevant links or contents immediately.

	Programming Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Hopcroft,Motwani,Ullman “Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, 2.Auflage" Pearson Studium \| 2003-02-03 \| ISBN: 3827370205 \| PDF \| 528 pages \| 3,5 MB depositfiles.com
	Programming Useware-Engineering für technische Systeme: Mensch-Maschine-Systeme für die Praxis Detlef Zühlke “Useware-Engineering für technische Systeme: Mensch-Maschine-Systeme für die Praxis" Springer \| 2004-04-27 \| ISBN: 3540206477 \| 302 pages \| PDF \| 6,63 MB Dieses Buch gibt Entwicklern aus der Industrie einen Leitfaden z ...
	Economics/Finances Das V Modell XT Grundlagen Methodik und Anwendungen Das V-Modell XT Grundlagen Methodik und AnwendungenSpringer Verlag \| 04-2008 \| ISBN-10: 3540302492 \| 11 MB \| PDF \| Retail \| 628 Seiten \| germanNote : Das V-Modell XT ist ein umfassendes Prozessmodell für die Planung und Durchführung der S ...
	Programming Konzepte objektorientierter Programmierung: Mit einer Einführung in Java (German Edition) Arnd Poetzsch-Heffter "Konzepte objektorientierter Programmierung: Mit einer Einführung in Java (German Edition)"Springer \| German \| 2009-02-19 \| ISBN: 3540894705 \| 352 pages \| PDF \| 1,9 MBDas Buch bietet eine kompakte Einführung in die K ...
	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 ...
	Programming Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung Christian Wagenknecht, Michael Hielscher, "Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung" Vieweg+Teubner \| 2009 \| ISBN: 3834806242 \| 243 pages \| PDF \| 3,4 MB Die eher abstrak ...

Book123

Categories

Share With Friends

Archive by Date

Search Tag

Newest

Useful Links

Programming Formale Methodik des Entwurfs verteilter objektorientierter Systeme

Related Articles

DISCLAIMER:

Comments (0) All