Sciweavers

FUIN
2008
56views more  FUIN 2008»
14 years 15 days ago
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...