<--- Back to Details
First PageDocument Content
Data types / Type theory / Ada / Design by contract / Subroutine / Postcondition / Stack / Monitor / Enumerated type / Software engineering / Computing / Computer programming
Date: 2012-07-03 09:52:39
Data types
Type theory
Ada
Design by contract
Subroutine
Postcondition
Stack
Monitor
Enumerated type
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: www.adacore.com

Download Document from Source Website

File Size: 1,15 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