Matthias Witt: Zustandsdiagramme und Design by Contract : UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells - Paperback
2009, ISBN: 3639184394
[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-… More...
[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<
Matthias Witt: Witt, M: Zustandsdiagramme und Design by Contract - Paperback
ISBN: 9783639184396
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… More...
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. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51) Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Witt, M: Zustandsdiagramme und Design by Contract - new book
ISBN: 9783639184396
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… More...
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. Shipping costs:, , DE. (EUR 0.00) Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Matthias Witt: Zustandsdiagramme Und Design By Contract Umlzustandsdiagramme Von Javaklassen Auf Der Basis Des Vertragsmodells - Paperback
2008, ISBN: 9783639184396
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… More...
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 Shipping costs:plus shipping costs Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Paperback
Zustandsdiagramme und Design by Contract : UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells - Paperback
2009, ISBN: 3639184394
[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-… More...
[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<
Witt, M: Zustandsdiagramme und Design by Contract - Paperback
ISBN: 9783639184396
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… More...
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. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51)
Witt, M: Zustandsdiagramme und Design by Contract - new book
ISBN: 9783639184396
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… More...
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<
Nr. A1008528765. Shipping costs:, , DE. (EUR 0.00)
Matthias Witt: Zustandsdiagramme Und Design By Contract Umlzustandsdiagramme Von Javaklassen Auf Der Basis Des Vertragsmodells - Paperback
2008, ISBN: 9783639184396
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… More...
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]<
Shipping costs:plus shipping costs Fairford, GLOS, Paperbackshop International
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Paperback
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.
Details of the book - Zustandsdiagramme und Design by Contract
EAN (ISBN-13): 9783639184396 ISBN (ISBN-10): 3639184394 Hardcover Paperback Publishing year: 2009 Publisher: VDM Verlag Dr. Müller 120 Pages Weight: 0,195 kg Language: ger/Deutsch
Book in our database since 2008-09-15T17:59:44+01:00 (London) Detail page last modified on 2024-04-16T20:27:46+01:00 (London) ISBN/EAN: 9783639184396
ISBN - alternate spelling: 3-639-18439-4, 978-3-639-18439-6 Alternate spelling and related search-keywords: Book author: witt, matthias Book title: java, design contract, take away design, little design possible, design und design, uml