The common aspect proof environment

Abstract

We describe the goals, architecture, design considerations and use of the common aspect proof environment (CAPE). The CAPE is an extensible framework integrating formal methods and analysis tools for aspect-oriented programs. It is intended both to encourage the use of formal methods and analysis tools for systems with aspects and to facilitate the… (More)
DOI: 10.1007/s10009-011-0191-0

Topics

5 Figures and Tables

Cite this paper

@article{Katz2011TheCA, title={The common aspect proof environment}, author={Shmuel Katz and David Faitelson}, journal={International Journal on Software Tools for Technology Transfer}, year={2011}, volume={14}, pages={41-52} }