LEADER 01328nam  2200337   450 
001 9910688218203321
005 20230628233303.0
035   $a(CKB)5400000000043718
035   $a(NjHacI)995400000000043718
035   $a(EXLCZ)995400000000043718
100   $a20230628d2006      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSpecification and verification of object-oriented software components /$fAndreas Roth
210  1$a[Place of publication not identified] :$cKIT Scientific Publishing,$d2006.
215   $a1 online resource (268 pages)
311   $a1000004542 
330   $aThis 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.
606   $aComponent software
615  0$aComponent software.
676   $a005.3
700   $aRoth$b Andreas$0238992
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910688218203321
996   $aSpecification and verification of object-oriented software components$93394746
997   $aUNINA