Part of
This 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.
Umfang: XVIII, 248 S.
Preis: €44.90 | £41.00 | $79.00
These are words or phrases in the text that have been
automatically identified by the
Named Entity Recognition and Disambiguation service,
which provides Wikipedia
(
)
and Wikidata
(
)
links for these entities.
Roth, A. 2006. Specification and verification of object-oriented software components. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000004542
Dieses Buch ist lizenziert unter Creative Commons Attribution + Noncommercial + NoDerivatives 2.0 DE Dedication
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 12. Juni 2006
Deutsch
267
| Paperback | 978-3-86644-042-5 |