Specification and verification of object-oriented software components /

Specification and verification of object-oriented software components / / Andreas Roth.

Show other versions (1)

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:
Bibliographic Details
VerfasserIn:
Roth, Andreas,
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&amp;portfolio_pid=5337932220004498&amp;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

Similar Items