Linked e-resources
Details
Table of Contents
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
Reusable Components of Semantic Specifications
Probabilistic Model Checking for Feature-Oriented Systems.
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
Reusable Components of Semantic Specifications
Probabilistic Model Checking for Feature-Oriented Systems.