- 5 resultados
menor preço: € 13,00, preço mais alto: € 40,40, preço médio: € 21,84
1
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern - Arnulf Mester
Encomendar
no/na amazon.de
€ 40,40
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Arnulf Mester:

Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern - Livro de bolso

ISBN: 383113880X

Taschenbuch, [EAN: 9783831138807], Books on Demand, Books on Demand, Book, [PU: Books on Demand], Books on Demand, 165968031, Hardware & Technik, 124, Computer & Internet, 541686, Kategor… mais…

  - Gebraucht. Custos de envio:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) antiquariat-in-berlin
fechar(X)
2
Encomendar
no/na ZVAB.com
€ 17,80
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

Mester, Arnulf:

Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern. Dissertation. - encadernado, livro de bolso

2002, ISBN: 383113880X

[EAN: 9783831138807], [SC: 0.0], [PU: Münster : Krehl,], VERTEILTES SYSTEM ; ANWENDUNGSSYSTEM SYSTEMENTWURF FORMALE SPEZIFIKATIONSTECHNIK ENTWURFSMUSTER DATENVERARBEITUNG, SOFTWARE, Jacke… mais…

  - Custos de envio:Versandkostenfrei. (EUR 0.00) Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany [1309982] [Rating: 5 (von 5)]
fechar(X)
3
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern. Dissertation. - Mester, Arnulf
Encomendar
no/na AbeBooks.de
€ 17,80
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Mester, Arnulf:
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern. Dissertation. - encadernado, livro de bolso

2002

ISBN: 383113880X

[EAN: 9783831138807], [PU: Münster : Krehl,], VERTEILTES SYSTEM ; ANWENDUNGSSYSTEM SYSTEMENTWURF FORMALE SPEZIFIKATIONSTECHNIK ENTWURFSMUSTER DATENVERARBEITUNG, SOFTWARE, Jacket, 167 S.; … mais…

  - Custos de envio:Versandkostenfrei. (EUR 0.00) Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany [1309982] [Rating: 5 (von 5)]
fechar(X)
4
Encomendar
no/na buchfreund.de
€ 13,00
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Mester, Arnulf:
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern. Dissertation. - livro usado

2002, ISBN: 383113880X

167 S.; Abb. u. Tab., 22 cm kart. Bibl.-Ex./Ex.-Libr. Guter Zustand/good condition. Für Bibliotheksexemplar sehr gut erhalten. Einbandseite leicht gelöst. Versandkostenfreie Lieferung … mais…

  - Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Thomas Haker GmbH & Co. KG, 10439 Berlin
fechar(X)
5
Encomendar
no/na buchfreund.de
€ 20,20
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Mester, Arnulf:
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern. Dissertation. - livro usado

2002, ISBN: 383113880X

167 S.; Abb. u. Tab., 22 cm kart. Bibl.-Ex./Ex.-Libr. Guter Zustand/good condition. Für Bibliotheksexemplar sehr gut erhalten. Einbandseite leicht gelöst. Versand D: 3,00 EUR Verteilte… mais…

  - Custos de envio:Versandkosten innerhalb der BRD (EUR 3.00) Antiquariat Thomas Haker GmbH & Co. KG, 10439 Berlin
fechar(X)
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 artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
Autor:
Título:
Número ISBN:

383113880X


Bei der Entwicklung verteilter Anwendungen kristallisiert sich der formal gestützte Entwurf als zusätzliches qualitätssicherndes Mittel im Umgang mit ihrer zunehmenden Komplexität heraus. Wir stellen vor, wie diese zusätzlichen Maßnahmen für die Zielgruppe der - üblicherweise nicht mit formalen Methoden umgehenden - Softwareentwickler solcher Anwendungen produktiv gestaltet werden kann. Dazu geht der Entwickler im Sinne von Entwurfsmustern mit Spezifikationsmustern um, formalen Gegenstücken verteilter Algorithmen, Kommunikationsschemata und Anwendungsprogrammierschnittstellen. Formuliert sind diese im prozessorientierten Spezifikationsstil cTLA auf Basis von Lamports Temporal Logic of Actions. Im formalen schrittweise verfeinernd vorgehenden Entwurf werden die Spezifikationen des Entwurfsstands und der Muster über Spezifikationsoperationen in definierter Weise zusammengeführt bzw. modifiziert. Entwurfsentscheidungen werden durch formale Integration von Mustern umgesetzt. Die Erfahrung in der Entwicklung praktischer Rechnernetzanwendungen zeigt, daß die dominierende Entwurfsaufgabe nicht der Entwurf neuer Algorithmen, sondern der Entwurf konsistenter Kombinationen bekannter Algorithmen ist. Darüber hinaus ist die Einführung detaillierter Schnittstellenmechanismen zu den zu treffenden Anwendungsplattformen von Bedeutung. Beide Typen von Entwurfsschritten korrespondieren zur vorgeschlagenen Integration von Spezifikationsmustern. Die Konstruktion von Spezifikationen erfolgt werkzeuggestützt, unter anderem mittels eines Spezifikationstextberechners, eines grafischen Editors, eines C++-Codegenerators und eines Animators. Der Ansatz ist durch Fallbeispielentwicklungen (RFC-konformantes File Transfer System und Message Transfer Agent auf POSIX-Socket-Layer, verteiltes Terminkalendersystem auf CORBA und Nachrichtenabonnementsystem mit Java) validiert.

Dados detalhados do livro - Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern


ISBN (ISBN-10): 383113880X (ISBN-13: 9783831138807)
Livro de capa dura
Livro de bolso
Ano de publicação: 2002
Editor/Editora: Münster : Krehl,

Livro na base de dados desde 2007-05-29T03:48:42+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2018-11-02T19:12:23+00:00 (Lisbon)
Número ISBN/EAN: 383113880X

Número ISBN - Ortografia alternativa:
3-8311-3880-X

< Para arquivar...