Checking Contracts for AOP using XPIDRs.

Henrique Rebêlo Ricardo Massa Ferreira Lima Alexandre Mota César A. L. Oliveira Márcio Ribeiro

Published in: SEKE (2012)

Keyphrases

security policies
supply chain
computer vision
image sequences
software architecture
aspect oriented programming
database
image processing
probabilistic model