A calculus of superimpositions for distributed systems
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Architectural views of aspects
Proceedings of the 2nd international conference on Aspect-oriented software development
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Scenario based resolution of aspect interactions with aspect interaction charts
Proceedings of the 10th international workshop on Aspect-oriented modeling
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
Electronic Notes in Theoretical Computer Science (ENTCS)
Experiences on developing and using a tool support for formal specification
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Communications of the ACM
MAO: ownership and effects for more effective reasoning about aspects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Hi-index | 0.02 |