Modular Aspect Verification for Safer Aspect-Based Evolution.

Nathan Weston François Taïani Awais Rashid

Published in: RAM-SE (2005)

Keyphrases

information retrieval
probabilistic model
source code