Verification of object-oriented software

Verification of object-oriented software
Details
- OL Work ID
- OL18348040W
Subjects
Java (Computer program language)Object-oriented methods (Computer science)VerificationComputer softwareLogic designArtificial intelligenceComputer scienceSoftware engineeringObject-oriented programming (computer science)Objektorientierte ProgrammierungSoftwarespezifikationProgrammverifikationKorrektheitBeweisSoftwareentwicklungObjektorientierungProgrammierlogikFormale Methode