[EAN: 9783639184396], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware - Printed after ordering - In diesem Buch wird eine wechselseitige Abbildung zwischen UML-… Mehr…
[EAN: 9783639184396], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware - Printed after ordering - In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschließend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. 120 pp. Deutsch, Books<
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wir… Mehr…
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschliessend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. Bücher > Sachbücher > Computer & Internet > Programmierung & Webdesign > Programmiersprachen;Bücher > Sachbücher > Naturwissenschaften & Technik 22.0 cm x 15.0 cm x 0.7 cm mm , VDM, Taschenbuch, VDM<
Orellfuessli.ch
Nr. A1008528765. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wir… Mehr…
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschließend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. Buch 22.0 x 15.0 x 0.7 cm , VDM, Matthias Witt, VDM, as W<
Thalia.de
Nr. A1008528765. Versandkosten:, , DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from… Mehr…
Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK., [PU: VDM Verlag]<
alibris.co.uk
Fairford, GLOS, Paperbackshop International Versandkosten:zzgl. Versandkosten Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Taschenbuch
[EAN: 9783639184396], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware - Printed after ordering - In diesem Buch wird eine wechselseitige Abbildung zwischen UML-… Mehr…
[EAN: 9783639184396], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware - Printed after ordering - In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschließend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. 120 pp. Deutsch, Books<
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wir… Mehr…
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschliessend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. Bücher > Sachbücher > Computer & Internet > Programmierung & Webdesign > Programmiersprachen;Bücher > Sachbücher > Naturwissenschaften & Technik 22.0 cm x 15.0 cm x 0.7 cm mm , VDM, Taschenbuch, VDM<
Nr. A1008528765. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51)
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wir… Mehr…
In diesem Buch wird eine wechselseitige Abbildung zwischen UML-Zustandsdiagrammen und den Verträgen von Java-Klassen nach dem Vertragsmodell (Design by Contract) hergestellt. Zunächst wird beschrieben, wie aus einer bestehenden Java-Klasse mit explizit angegebenen Vor- und Nachbedingungen (Zusicherungen) zu den Operationen automatisch ein Zustandsdiagramm generiert werden kann. Anschließend wird erläutert, wie aus einem bestehenden Zustandsdiagramm die Zusicherungen der Operationen bestimmt werden können. Zusammen bilden diese Verfahren ein mächtiges Round-Trip-Engineering-Verfahren für die objektorientierte Softwareentwicklung. Die Zustandsdiagramme unterstützen das Formulieren korrekter Zusicherungen. Ebenso tragen sie zu einem besseren Verständnis der Klassenprotokolle bei, indem sie das Zusammenspiel der Operationen verdeutlichen. Das Buch richtet sich an Softwareentwickler ebenso wie an Softwarearchitekten. Buch 22.0 x 15.0 x 0.7 cm , VDM, Matthias Witt, VDM, as W<
Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from… Mehr…
Softcover, PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK., [PU: VDM Verlag]<
Versandkosten:zzgl. Versandkosten Fairford, GLOS, Paperbackshop International
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Taschenbuch
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Detailangaben zum Buch - Zustandsdiagramme und Design by Contract
EAN (ISBN-13): 9783639184396 ISBN (ISBN-10): 3639184394 Gebundene Ausgabe Taschenbuch Erscheinungsjahr: 2009 Herausgeber: VDM Verlag Dr. Müller 120 Seiten Gewicht: 0,195 kg Sprache: ger/Deutsch
Buch in der Datenbank seit 2008-09-15T18:59:44+02:00 (Vienna) Detailseite zuletzt geändert am 2024-04-16T21:27:46+02:00 (Vienna) ISBN/EAN: 9783639184396
ISBN - alternative Schreibweisen: 3-639-18439-4, 978-3-639-18439-6 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: witt, matthias Titel des Buches: java, design contract, take away design, little design possible, design und design, uml