prezzo più basso: € 49,00, prezzo più alto: € 81,13, prezzo medio: € 58,19
(*)
Matthias Witt: Zustandsdiagramme und Design by Contract : UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells - edizione con copertina flessibile
[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-… Altro …
[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<
AbeBooks.de
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
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… Altro …
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. Costi di spedizione:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51) Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
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… Altro …
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. Costi di spedizione:, , DE. (EUR 0.00) Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Matthias Witt: Zustandsdiagramme Und Design By Contract Umlzustandsdiagramme Von Javaklassen Auf Der Basis Des Vertragsmodells - edizione con copertina flessibile
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… Altro …
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 Costi di spedizione:Costi di spedizione aggiuntivi Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - edizione con copertina flessibile
Zustandsdiagramme und Design by Contract : UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells - edizione con copertina flessibile
[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-… Altro …
[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<
NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
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… Altro …
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. Costi di spedizione: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… Altro …
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. Costi di spedizione:, , DE. (EUR 0.00)
Matthias Witt: Zustandsdiagramme Und Design By Contract Umlzustandsdiagramme Von Javaklassen Auf Der Basis Des Vertragsmodells - edizione con copertina flessibile
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… Altro …
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]<
Costi di spedizione:Costi di spedizione aggiuntivi Fairford, GLOS, Paperbackshop International
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - edizione con copertina flessibile
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Zustandsdiagramme und Design by Contract
EAN (ISBN-13): 9783639184396 ISBN (ISBN-10): 3639184394 Copertina rigida Copertina flessibile Anno di pubblicazione: 2009 Editore: VDM Verlag Dr. Müller 120 Pagine Peso: 0,195 kg Lingua: ger/Deutsch
Libro nella banca dati dal 2008-09-15T18:59:44+02:00 (Rome) Pagina di dettaglio ultima modifica in 2024-04-16T21:27:46+02:00 (Rome) ISBN/EAN: 9783639184396
ISBN - Stili di scrittura alternativi: 3-639-18439-4, 978-3-639-18439-6 Stili di scrittura alternativi e concetti di ricerca simili: Autore del libro : witt, matthias Titolo del libro: java, design contract, take away design, little design possible, design und design, uml