<--- Back to Details
First PageDocument Content
Logic in computer science / Object-oriented programming / Programming paradigms / Postcondition / Precondition / Design by contract / Eiffel / Class invariant / Assertion / Software engineering / Computer programming / Computing
Date: 2011-03-11 06:32:41
Logic in computer science
Object-oriented programming
Programming paradigms
Postcondition
Precondition
Design by contract
Eiffel
Class invariant
Assertion
Software engineering
Computer programming
Computing

Add to Reading List

Source URL: se.ethz.ch

Download Document from Source Website

File Size: 1,93 MB

Share Document on Facebook

Similar Documents

Software testing / QuickCheck / Object Constraint Language / Model-based testing / Postcondition / Random testing / Design by contract / ECO / Unit testing / Unified Modeling Language / Object Process Methodology / Test automation

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

DocID: 1pJkg - View Document

Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Precondition / Class invariant / Design by contract / Assertion / Constructor / Class / Invariant / Loop invariant

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris

DocID: 1px9E - View Document

Formal methods / MapReduce / Loop invariant / Postcondition / Apache Hadoop / Control flow / Hoare logic / Generator / Predicate transformer semantics / KeY / Infinite loop / Const

Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

DocID: 1ph8b - View Document

Formal methods / Logic in computer science / Metalogic / Automated theorem proving / Logic programming / Substitution / Postcondition / First-order logic / Parameter / Precondition / Well-formed formula / Model theory

Call by Contract for Cryptographic Protocols

DocID: 1nZ6s - View Document

Software engineering / Theoretical computer science / Formal methods / Logic in computer science / Computer programming / Software testing / Extreme programming / Postcondition / Software bug / Precondition / Assertion / Random testing

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

DocID: 1nUaD - View Document