Searching for "On the Composition of Compositional Reasoning." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A B C D - Automated Validation of Business Critical Systems with Component Based Designs
- … support for specification composition and compositional reasoning. In the various process algebras…
- Add To MetaCart
-
A Comparison of Jiazzi and AspectJ for Feature-wise Decomposition
- …, incremental composition, compositional reasoning, feature dependency, composition order, refactoring…
- Cited by 7 (0 self) – Add To MetaCart
-
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
- … of the whole composition, compositional reasoning [de Roever et al. 2001] is used. The specification requires…
- Add To MetaCart
-
Generic Feature Modules: Two-Staged Program Customization
- … knowledge. The component model lacks the flexibility of mixin composition and compositional reasoning…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
