Supporting formal verification of crosscutting concerns

DOI10.1007/3-540-45429-2_12MaRDI QIDQ4449588zbMATH OpenFDO

Authors Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan

Publication date 11 February 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2192/21920153.htm

Mathematics Subject Classification ID

Theory of software (68N99) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Extending the object model to provide explicit support for crosscutting concerns
• Aspect-oriented modeling: Bridging the gap between implementation and design
• KeY: A Formal Method for Object-Oriented Systems
• Aspect composition applying the design by contract principle
• Tool support for aspect-oriented design

Cited in

(5)

• Analysis of Crosscutting in Early Software Development Phases Based on Traceability
• Aspect composition applying the design by contract principle
• Aspect-oriented modeling: Bridging the gap between implementation and design
• A hybrid approach to separation of concerns: The story of SADES
• Extending the object model to provide explicit support for crosscutting concerns

Describes a project that uses

Uses Software

• Alcoa

This page was built for publication: Supporting formal verification of crosscutting concerns

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