| 000 | 01562naaaa2200337uu 4500 | ||
|---|---|---|---|
| 001 | https://directory.doabooks.org/handle/20.500.12854/59814 | ||
| 005 | 20220219202644.0 | ||
| 020 | _aKSP/1000004542 | ||
| 020 | _a3866440421 | ||
| 024 | 7 |
_a10.5445/KSP/1000004542 _cdoi |
|
| 041 | 0 | _aGerman | |
| 042 | _adc | ||
| 100 | 1 |
_aRoth, Andreas _4auth |
|
| 245 | 1 | 0 | _aSpecification and verification of object-oriented software components |
| 260 |
_bKIT Scientific Publishing _c2006 |
||
| 300 | _a1 electronic resource (XVIII, 248 p. p.) | ||
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aThis work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover. | ||
| 540 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by-nc-nd/4.0/ _2cc _4https://creativecommons.org/licenses/by-nc-nd/4.0/ |
||
| 546 | _aGerman | ||
| 653 | _aproof obligations | ||
| 653 | _aencapsulation | ||
| 653 | _acomponents | ||
| 653 | _acontext specification | ||
| 653 | _adeductive verification | ||
| 653 | _amodular proofs | ||
| 653 | _aformal specification | ||
| 653 | _aobject-orientation | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://www.ksp.kit.edu/3866440421 _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/59814 _70 _zDOAB: description of the publication |
| 999 |
_c41741 _d41741 |
||