[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-… mais…
[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. Custos de envio:Versandkostenfrei. (EUR 0.00) Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
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… mais…
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. Custos de envio:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.51) Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
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… mais…
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. Custos de envio:, , DE. (EUR 0.00) Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
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… mais…
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 Custos de envio:mais custos de envio Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Livro de bolso
[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-… mais…
[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. Custos de envio: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… mais…
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. Custos de envio: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… mais…
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. Custos de envio:, , DE. (EUR 0.00)
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… mais…
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]<
Custos de envio:mais custos de envio Fairford, GLOS, Paperbackshop International
Witt, Matthias: Zustandsdiagramme und Design by Contract: UML-Zustandsdiagramme von Java-Klassen auf der Basis des Vertragsmodells (German Edition) - Livro de bolso
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.
Dados bibliográficos do melhor livro correspondente
Dados detalhados do livro - Zustandsdiagramme und Design by Contract
EAN (ISBN-13): 9783639184396 ISBN (ISBN-10): 3639184394 Livro de capa dura Livro de bolso Ano de publicação: 2009 Editor/Editora: VDM Verlag Dr. Müller 120 Páginas Peso: 0,195 kg Língua: ger/Deutsch
Livro na base de dados desde 2008-09-15T13:59:44-03:00 (Sao Paulo) Página de detalhes modificada pela última vez em 2024-04-16T16:27:46-03:00 (Sao Paulo) Número ISBN/EAN: 3639184394
Número ISBN - Ortografia alternativa: 3-639-18439-4, 978-3-639-18439-6 Ortografia alternativa e termos de pesquisa relacionados: Autor do livro: witt, matthias Título do livro: java, design contract, take away design, little design possible, design und design, uml
