Back to Results
First PageMeta Content
Logic in computer science / Object-oriented programming / Procedural programming languages / Postcondition / Control flow / Eiffel / Precondition / Programming paradigms / Exception handling / Software engineering / Computing / Computer programming


Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la
Add to Reading List

Document Date: 2012-09-28 08:15:15

Open Document

File Size: 404,01 KB

Share Result on Facebook

/

IndustryTerm

web-based multilanguage / free software / verification tools / prover tools / verification techniques and tools / software verification / verification tool / /

Person

Carlo A. Furia / Martin Nordio / /

Position

observer / and factory design patterns / /

ProgrammingLanguage

Java / C / /

Technology

object-oriented programming / Java / /

URL

http /

SocialTag