An experience on verification of aspect properties
An experience on verification of aspect properties
复制标题
DOI：
10.1145/602461.602506
复制
发表时间：
2001-09
期刊：
影响因子：
--
通讯作者：
G. Denaro;Mattia Monga
中科院分区：
文献类型：
--
作者：
G. Denaro;Mattia Monga
面向方面的技术使并发性或安全性等问题能够在单独的单元中编码。本文建议，相关的系统性能可以验证，只是基于这样的分离代码。一个简单的经验报告显示所提出的方法是如何工作的。
Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.