Export citation

Show simple item record

dc.contributor.authorRoth, Andreas*
dc.date.accessioned2021-02-12T04:14:32Z
dc.date.available2021-02-12T04:14:32Z
dc.date.issued2006*
dc.date.submitted2019-07-30 20:01:58*
dc.identifier34687*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/59814
dc.description.abstractThis 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.*
dc.languageGerman*
dc.subjectQA75.5-76.95*
dc.subject.otherproof obligations*
dc.subject.otherencapsulation*
dc.subject.othercomponents*
dc.subject.othercontext specification*
dc.subject.otherdeductive verification*
dc.subject.othermodular proofs*
dc.subject.otherformal specification*
dc.subject.otherobject-orientation*
dc.titleSpecification and verification of object-oriented software components*
dc.typebook
oapen.identifier.doi10.5445/KSP/1000004542*
oapen.relation.isPublishedBy68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2*
virtual.oapen_relation_isPublishedBy.publisher_nameKIT Scientific Publishing
virtual.oapen_relation_isPublishedBy.publisher_websitehttp://www.ksp.kit.edu/
oapen.relation.isbn3866440421*
oapen.pagesXVIII, 248 p.*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/