| 作 者: | Welf |
| 出版社: | 崇文书局(原湖北辞书出版社) |
| 丛编项: | |
| 版权说明: | 本书为公共版权或经版权方授权,请支持正版图书 |
| 标 签: | 暂缺 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
Automatic Checking of Component Protocols in Component-Based Systems
Checking Component Composability
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems
Enforcing Different Contracts in Hierarchical Component-Based Systems
Automated Pattern-Based Pointcut Generation
An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components
Aspects of Composition in the Reflex AOP Kernel
A Component-Based Approach to Compose Transaction Standards
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties
Tracechecks: Defining Semantic Interfaces with Temporal Logic
Service Composition with Directories
Modeling Composition in Dynamic Programming Environments with Model Transformations
General Composition of Software Artifacts
Dimensions of Composition Models for Supporting Software Evolution
Context-Aware Asnects
Understanding Design Patterns Density with Aspects
A Model for Developing Component-Based and Aspect-Oriented Systems
FROGi: Fractal Components Deployment over OSGi
Modular Design of Man-Machine Interfaces with Larissa
On the Integration of Classboxes into C#
Automatic Control Flow Generation from Software Architectures
Author Index