Analyzing architectural styles with alloy.

Jung Soo Kim David Garlan

Published in: ROSATEA (2006)

Keyphrases

image segmentation
real time
databases
search engine
high level
information systems
lower bound
special case
commercial off the shelf