01328nam 2200337 450 991068821820332120230628233303.0(CKB)5400000000043718(NjHacI)995400000000043718(EXLCZ)99540000000004371820230628d2006 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierSpecification and verification of object-oriented software components /Andreas Roth[Place of publication not identified] :KIT Scientific Publishing,2006.1 online resource (268 pages)1000004542 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 softwareComponent software.005.3Roth Andreas238992NjHacINjHaclBOOK9910688218203321Specification and verification of object-oriented software components3394746UNINA