[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-… Plus…
[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… Plus…
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. Frais d'envoiLieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51) Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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… Plus…
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. Frais d'envoi, , DE. (EUR 0.00) Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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… Plus…
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 Frais d'envoiLivraison non-comprise Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Livres de poche
[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-… Plus…
[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… Plus…
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. Frais d'envoiLieferzeiten 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… Plus…
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… Plus…
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]<
Frais d'envoiLivraison non-comprise Fairford, GLOS, Paperbackshop International
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Livres de poche
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Zustandsdiagramme und Design by Contract
EAN (ISBN-13): 9783639184396 ISBN (ISBN-10): 3639184394 Version reliée Livre de poche Date de parution: 2009 Editeur: VDM Verlag Dr. Müller 120 Pages Poids: 0,195 kg Langue: ger/Deutsch
Livre dans la base de données depuis 2008-09-15T18:59:44+02:00 (Paris) Page de détail modifiée en dernier sur 2024-04-16T21:27:46+02:00 (Paris) ISBN/EAN: 9783639184396
ISBN - Autres types d'écriture: 3-639-18439-4, 978-3-639-18439-6 Autres types d'écriture et termes associés: Auteur du livre: witt, matthias Titre du livre: java, design contract, take away design, little design possible, design und design, uml
