Ralf Reussner Bücher

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.

InhaltsverzeichnisKeynotes. Reexamining the Role of Interactions in Software Architecture. Are Successful Test Cases Useless or Not? QoSA Long Papers. DoSAM – Domain-Specific Software Architecture Comparison Model. An Architecture-Centric Approach for Producing Quality Systems. A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. Predicting Mean Service Execution Times of Software Components Based on Markov Models. An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures. Formal Definition of Metrics Upon the CORBA Component Model. The Architect’s Dilemma – Will Reference Architectures Help? Architectural Reuse in Software Systems In-house Integration and Merge – Experiences from Industry. Supporting Security Sensitive Architecture Design. Exploring Quality Attributes Using Architectural Prototyping. On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems. Empirical Evaluation of Model-Based Performance Prediction Methods in Software Development. SOQUA Long Papers. Automatic Test Generation for N-Way Combinatorial Testing. Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software. Automated Model-Based Testing of Simulation Models with TorX. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. FlexTest: An Aspect-Oriented Framework for Unit Testing. Quality Assura