1 paper
Vasu Alagar, Ralf Laemmel
A three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained…