Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Specification and Verification of Invariants by Exploiting Layers in OO Designs

Szczegóły
Abstrakt

Tytuł:: Specification and Verification of Invariants by Exploiting Layers in OO Designs
Autorzy:: Middelkoop, R.
Huizing, C.
Kuiper, R.
Luit, E.J.
Data publikacji:: 2008
Słowa kluczowe:: OO designs
interpretation
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Specification and Verification of Invariants by Exploiting Layers in OO Designs