Detection and Resolution of Weaving Interactions

DOI10.1007/978-3-642-02059-9_5MaRDI QIDQ3636799zbMATH OpenOpenAlexFDO

Authors Günter Kniesel

Publication date 30 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02059-9_5

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2018588
• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis
• Aspects preserving properties
• Weaving Multiple Aspects in Sequence Diagrams

Cited in

(4)

• Run-Time and Atomic Weaving of Distributed Aspects
• scientific article; zbMATH DE number 2018588 (Why is no real title available?)
• On isotopic weavings
• MAVEN: Modular aspect verification and interference analysis

Describes a project that uses

Uses Software

• GROOVE
• AGG
• AspectJ
• CC4J

This page was built for publication: Detection and Resolution of Weaving Interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636799)