Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Specification and Verification of Invariants by Exploiting Layers in OO Designs

Middelkoop R., Huizing C., Kuiper R., Luit E.J.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

377-398

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 introduce a new interpretation of invariants that exploits these layers. Furthermore, we present a sound, modular technique to statically verify that programs satisfy the new interpretation.