Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic.

Amina Boudjedir Toufik Benouhiba Djamel Meslati

Published in: ICAASE (2014)

Keyphrases

aspect oriented
databases
computer systems
business applications
asynchronous circuits
management system
black box
digital circuits