Specification and verification of object-oriented software components / / Andreas Roth.
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.
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | [Place of publication not identified] : : KIT Scientific Publishing,, 2006. |
| Year of Publication: | 2006 |
| Language: | English |
| Physical Description: | 1 online resource (268 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01271nam a2200277 i 4500 | ||
|---|---|---|---|
| 001 | 993603472404498 | ||
| 005 | 20230628233303.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 230628s2006 xx o 000 0 eng d | ||
| 035 | |a (CKB)5400000000043718 | ||
| 035 | |a (NjHacI)995400000000043718 | ||
| 035 | |a (EXLCZ)995400000000043718 | ||
| 040 | |a NjHacI |b eng |e rda |c NjHacl | ||
| 050 | 4 | |a QA76.76.C66 |b .R684 2006 | |
| 082 | 0 | 4 | |a 005.3 |2 23 |
| 100 | 1 | |a Roth, Andreas, |e author. | |
| 245 | 1 | 0 | |a Specification and verification of object-oriented software components / |c Andreas Roth. |
| 264 | 1 | |a [Place of publication not identified] : |b KIT Scientific Publishing, |c 2006. | |
| 300 | |a 1 online resource (268 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | |a Description based on online resource; title from PDF title page (KIT Scientific Publishing, viewed June 28, 2023). | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Component software. | |
| 776 | |z 1000004542 | ||
| 906 | |a BOOK | ||
| ADM | |b 2023-07-08 12:04:55 Europe/Vienna |f system |c marc21 |a 2022-04-04 09:22:53 Europe/Vienna |g false | ||
| AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337932220004498&Force_direct=true |Z 5337932220004498 |b Available |8 5337932220004498 | ||