Architecting systems with trustworthy components
Ralf Reussner
Verkauft von Bookbot, Prague, Tschechien
AbeBooks-Verkäufer seit 7. Oktober 2023
Gebraucht - Softcover
Zustand: Gebraucht - Wie neu
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von Bookbot, Prague, Tschechien
AbeBooks-Verkäufer seit 7. Oktober 2023
Zustand: Gebraucht - Wie neu
Anzahl: 1 verfügbar
In den Warenkorb legenLeichte Abnutzungen. InhaltsverzeichnisInvited Articles.Audition of Web Services for Testing Conformance to Open Specified Protocols.A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.Making Specifications Complete Through Models.Bus Scheduling for TDL Components.Refinement and Consistency in Component Models with Multiple Views.Articles by Participants.A Taxonomy on Component-Based Software Engineering Methods.Unifying Hardware and Software Components for Embedded System Development.On the Composition of Compositional Reasoning.Trustworthy Instantiation of Frameworks.Performance Prediction of Component-Based Systems.Towards an Engineering Approach to Component Adaptation.Compatible Component Upgrades Through Smart Component Swapping.Exceptions in Component Interaction Protocols - Necessity.Coalgebraic Semantics for Component Systems.A Type Theoretic Framework for Formal Metamodelling.
Bestandsnummer des Verkäufers b59bdf34-9c54-4f1d-8cef-2b31c84c91e4
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
1. Allgemeine Bestimmungen
1.1 Diese Einkaufsbedingungen (im Folgenden 'Bedingungen' genannt) der Firma Bookbot s.r.o. (deutsche Webseite: bookbot.de), Steuernr.: 054 00 651, mit Sitz in Dukelských hrdinu 359/21, Holesovice, 170 00 Prag 7, eingetragen im Handelsregister beim Stadtgericht in Prag, Abteilung C, Einlage 289573 (im Folgenden 'Bookbot' genannt) regeln die gegenseitigen Rechte und Pflichten aus dem Kaufvertrag, der gemäß § 2079 ff. des Gesetzes Nr. 89/2012 Slg. des Bürgerlichen Gesetz...
Bestellmenge | 1 bis 2 Werktage | 1 bis 2 Werktage |
---|---|---|
Erster Artikel | EUR 3.49 | EUR 3.49 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.