Bookbot

Architecting systems with trustworthy components

Meer over het boek

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.

Een boek kopen

Architecting systems with trustworthy components, Ralf Reussner

Taal
Jaar van publicatie
2006
product-detail.submit-box.info.binding
(Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Titel
Architecting systems with trustworthy components
Taal
Engels
Uitgever
Springer
Jaar van publicatie
2006
Formaat
Paperback
Aantal pagina's
299
ISBN10
3540358005
ISBN13
9783540358008
Reeks
Aantekening
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.