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!
|
id |
993603472404498 |
---|---|
ctrlnum |
(CKB)5400000000043718 (NjHacI)995400000000043718 (EXLCZ)995400000000043718 |
collection |
bib_alma |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01271nam a2200277 i 4500</leader><controlfield tag="001">993603472404498</controlfield><controlfield tag="005">20230628233303.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">230628s2006 xx o 000 0 eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5400000000043718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(NjHacI)995400000000043718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995400000000043718</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">NjHacI</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">NjHacl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.C66</subfield><subfield code="b">.R684 2006</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Roth, Andreas,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and verification of object-oriented software components /</subfield><subfield code="c">Andreas Roth.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Place of publication not identified] :</subfield><subfield code="b">KIT Scientific Publishing,</subfield><subfield code="c">2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (268 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (KIT Scientific Publishing, viewed June 28, 2023).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Component software.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">1000004542</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-07-08 12:04:55 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337932220004498&Force_direct=true</subfield><subfield code="Z">5337932220004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337932220004498</subfield></datafield></record></collection> |
record_format |
marc |
spelling |
Roth, Andreas, author. Specification and verification of object-oriented software components / Andreas Roth. [Place of publication not identified] : KIT Scientific Publishing, 2006. 1 online resource (268 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Description based on online resource; title from PDF title page (KIT Scientific Publishing, viewed June 28, 2023). 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. Component software. 1000004542 |
language |
English |
format |
eBook |
author |
Roth, Andreas, |
spellingShingle |
Roth, Andreas, Specification and verification of object-oriented software components / |
author_facet |
Roth, Andreas, |
author_variant |
a r ar |
author_role |
VerfasserIn |
author_sort |
Roth, Andreas, |
title |
Specification and verification of object-oriented software components / |
title_full |
Specification and verification of object-oriented software components / Andreas Roth. |
title_fullStr |
Specification and verification of object-oriented software components / Andreas Roth. |
title_full_unstemmed |
Specification and verification of object-oriented software components / Andreas Roth. |
title_auth |
Specification and verification of object-oriented software components / |
title_new |
Specification and verification of object-oriented software components / |
title_sort |
specification and verification of object-oriented software components / |
publisher |
KIT Scientific Publishing, |
publishDate |
2006 |
physical |
1 online resource (268 pages) |
isbn |
1000004542 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.76 C66 R684 42006 |
illustrated |
Not Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
005 - Computer programming, programs & data |
dewey-full |
005.3 |
dewey-sort |
15.3 |
dewey-raw |
005.3 |
dewey-search |
005.3 |
work_keys_str_mv |
AT rothandreas specificationandverificationofobjectorientedsoftwarecomponents |
status_str |
n |
ids_txt_mv |
(CKB)5400000000043718 (NjHacI)995400000000043718 (EXLCZ)995400000000043718 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Specification and verification of object-oriented software components / |
_version_ |
1796653217995554816 |