33 citations · 33 across the 3 of their papers we have counts for
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…