Aspect Categories and Classes of Temporal Properties-Reference-Cited by-同舟云学术

Aspect Categories and Classes of Temporal Properties

Published:2006 Issue: Volume: Page:106-134
ISSN:0302-9743
Container-title:Transactions on Aspect-Oriented Software Development I
language:
Short-container-title:

Author:

Katz Shmuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11687061_4

Reference33 articles.

1. Balzarott, D., Monga, M.: Using program slicing to analyze aspect-oriented composition. In: Foundations of Aspect Languages (FOAL) Workshop (2004)

2. Balzarotti, D., D’Ursi, A.C., Cavallaro, L., Monga, M.: Slicing AspectJ woven code. In: Foundations of Aspect Languages (FOAL) Workshop Associated with AOSD (2005)

3. Lecture Notes in Computer Science;G. Bruns,2004

4. Lecture Notes in Computer Science;E.M. Clarke,1982

5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploiting Anti-scenarios for the Non Realizability Problem;Computer Science – CACIC 2019;2020

2. Testing scratch programs automatically;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12

3. Feature-oriented contract composition;Journal of Systems and Software;2019-06

4. Modularizing Crosscutting Concerns in Component-Based Systems;Software Engineering and Formal Methods;2016

5. Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective;Transactions on Aspect-Oriented Software Development XII;2015