软件组成

出版时间：2006-12  出版社：湖北辞书出版社  作者：Lowe, Welf; Sudholt, Mario;  页数：338  

内容概要

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Software Composition, SC 2006, held in Vienna, Austria in March 2006. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006.　　The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 60 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect-oriented programming, specification of component contracts and protocols, and methods of correct components composition.

书籍目录

Automatic Checking of Component Protocols in Component-Based Systems  Checking Component ComposabilityStatic Verification of Indirect Data Sharing in Loosely-coupled Component SystemsEnforcing Different Contracts in Hierarchical Component-Based SystemsAutomated Pattern-Based Pointcut GenerationAn Aspect-Oriented Approach for Developing Self-Adaptive Fractal ComponentsAspects of Composition in the Reflex AOP KernelA Component-Based Approach to Compose Transaction StandardsA Class-Based Object Calculus of Dynamic Binding: Reduction and PropertiesTracechecks: Defining Semantic Interfaces with Temporal LogicService Composition with DirectoriesModeling Composition in Dynamic Programming Environments with Model TransformationsGeneral Composition of Software ArtifactsDimensions of Composition Models for Supporting Software EvolutionContext-Aware AsnectsUnderstanding Design Patterns Density with AspectsA Model for Developing Component-Based and Aspect-Oriented SystemsFROGi: Fractal Components Deployment over OSGiModular Design of Man-Machine Interfaces with LarissaOn the Integration of Classboxes into C#Automatic Control Flow Generation from Software ArchitecturesAuthor Index