DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Postcondition
Postcondition
Génération Automatique De Tests Unitaires Avec Praspel, Un Langage De Spécification Pour PHP the Art of Contract-Based Testing in PHP with Praspel
Chapter 23 Three Design Principles
Grammar-Based Testing Using Realistic Domains in PHP Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
3. Design by Contract
You Say 'JML' ? Wikipedia (En)
Program Correctness
Eiffelstudio: a Guided Tour
Principles of Library Design: the Eiffel Experience “Plan”
Design Contract™
Supporting by Light-Weight Specifications the Liskov
Class Invariants: Concepts, Problems and Solutions
Test-Driven Development (TDD)
Praspel: Contract-Driven Testing for PHP Using Realistic Domains Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti
Design by Contract Example Contract Issue
Applying 'Design by Contract'
Applying “Design by Contract”
Examples of Design by Contract in Java Using Contract, the Design by Contracttm Tool for Javatm
The Liskov Substitution Principle
Top View
Design by Contract
Evaluation of Assertion Support for the Java Programming Language
Lecture 5: Design by Contract and Runtime
Assertion and Exception Techniques Can Aid in Class Correctness
Program Correctness II
Class Invariants: Concepts, Problems and Solutions
An Eiffel Tutorial
The Liskov Substitution Principle
Enhancing Secure Coding Assistant with Error Correction And
Design by Contract
A Historical Perspective on Runtime Assertion Checking in Software Development
Supporting Design by Contract in Java
Design-By-Contract (Dbc) Readings: OOSC2 Chapter 11
A Tutorial on Using Dafny to Construct Verified Software
Design by Contract for Web Services: Architecture, Guidelines, and Mappings
Design by Contract