Aspect Categories and Classes of Temporal Properties

DOI10.1007/11687061_4zbMath1165.68363OpenAlexW2136132047MaRDI QIDQ3634732

Shmuel Katz

Publication date: 26 June 2009

Published in: Transactions on Aspect-Oriented Software Development I (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11687061_4

zbMATH Keywords

invasivedataflow analysisaspect categoriesaspect specificationaspect verificationregulativespectative

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items

MRI: Modular reasoning about interference in incremental programming, Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework, MAVEN: Modular aspect verification and interference analysis, Model-based construction and verification of critical systems using composition and partial refinement, Aspects preserving properties

Uses Software

• AspectJ
• Bandera

Cites Work

• Superimpositions and Aspect-oriented Programming
• A theory of aspects
• CONCUR 2004 - Concurrency Theory
• Harmless advice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item