On Horizontal Specification Architectures and Their Aspect-Oriented Implementations

DOI10.1007/11922827_1MaRDI QIDQ3634751zbMATH OpenOpenAlexFDO

Authors Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen

Publication date 26 June 2009

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

Full work available at URL https://doi.org/10.1007/11922827_1

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Horizontal Composability Revisited
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• scientific article; zbMATH DE number 1931785
• Formal Methods for Components and Objects
• Specifying, relating and composing object oriented interfaces, components and architectures

Describes a project that uses

Uses Software

• AspectJ
• DisCo

This page was built for publication: On Horizontal Specification Architectures and Their Aspect-Oriented Implementations

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