Specification and verification of object-oriented software components
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.
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Online |
| Idioma: | alemany |
| Publicat: |
KIT Scientific Publishing
2021
|
| Matèries: | |
| Accés en línia: | 34687 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| _version_ | 1869522928778870784 |
|---|---|
| author | Roth, Andreas |
| author_browse | Roth, Andreas |
| author_facet | Roth, Andreas |
| author_sort | Roth, Andreas |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-59814 |
| institution | Directory of Open Access Books |
| language | ger |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-598142023-12-20T18:40:47Z Specification and verification of object-oriented software components Roth, Andreas QA75.5-76.95 proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation bic Book Industry Communication::U Computing & information technology::UY Computer science 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. 2021-02-12T04:14:32Z 2021-02-12T04:14:32Z 2019-07-30 20:01:58 2006 book 34687 3866440421 https://directory.doabooks.org/handle/20.500.12854/59814 ger image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.ksp.kit.edu/3866440421 KIT Scientific Publishing 10.5445/KSP/1000004542 10.5445/KSP/1000004542 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 3866440421 XVIII, 248 p. open access |
| spellingShingle | QA75.5-76.95 proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation bic Book Industry Communication::U Computing & information technology::UY Computer science Roth, Andreas Specification and verification of object-oriented software components |
| title | Specification and verification of object-oriented software components |
| title_full | Specification and verification of object-oriented software components |
| title_fullStr | Specification and verification of object-oriented software components |
| title_full_unstemmed | Specification and verification of object-oriented software components |
| title_short | Specification and verification of object-oriented software components |
| title_sort | specification and verification of object oriented software components |
| topic | QA75.5-76.95 proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 34687 |
| work_keys_str_mv | AT rothandreas specificationandverificationofobjectorientedsoftwarecomponents |