Specification and verification of object-oriented software components

Specification and verification of object-oriented software components

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
:
Roth, Andreas
Year of Publication:2006
Language:German
Physical Description:1 electronic resource (XVIII, 248 p. p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993562094304498
ctrlnum (CKB)4920000000101747
(oapen)https://directory.doabooks.org/handle/20.500.12854/59814
(EXLCZ)994920000000101747
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01334nam-a2200349z--4500</leader><controlfield tag="001">993562094304498</controlfield><controlfield tag="005">20230221123856.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202102s2006 xx |||||o ||| geger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000101747</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/59814</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000101747</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">deu</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Roth, Andreas</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and verification of object-oriented software components</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (XVIII, 248 p. p.)</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="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="546" ind1=" " ind2=" "><subfield code="a">German</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">proof obligations</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">encapsulation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">components</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">context specification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deductive verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">modular proofs</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal specification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">object-orientation</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-86644-042-1</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-03-03 03:50:27 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-11-10 04:18:40 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><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="8">5337932220004498</subfield></datafield></record></collection>
record_format marc
spelling Roth, Andreas auth
Specification and verification of object-oriented software components
KIT Scientific Publishing 2006
1 electronic resource (XVIII, 248 p. p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
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.
German
proof obligations
encapsulation
components
context specification
deductive verification
modular proofs
formal specification
object-orientation
3-86644-042-1
language German
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_sort Roth, Andreas
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_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 electronic resource (XVIII, 248 p. p.)
isbn 3-86644-042-1
illustrated Not Illustrated
work_keys_str_mv AT rothandreas specificationandverificationofobjectorientedsoftwarecomponents
status_str n
ids_txt_mv (CKB)4920000000101747
(oapen)https://directory.doabooks.org/handle/20.500.12854/59814
(EXLCZ)994920000000101747
carrierType_str_mv cr
is_hierarchy_title Specification and verification of object-oriented software components
_version_ 1764985443161473024

Similar Items