Architecting systems with trustworthy components

En savoir plus sur le livre

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.