1 paper · 1 filter
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…