From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.

Shmuel Katz Awais Rashid

Published in: RE (2004)

Keyphrases

aspect oriented
distributed systems
knowledge base
expert systems
software development
machine learning
intelligent systems
design criteria
data sets
databases
case study
learning systems
complex systems
software components