DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Precondition
Precondition
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
Assertions, Pre/Post- Conditions and Invariants
Grammar-Based Testing Using Realistic Domains in PHP Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
Design by Contract: the Lessons of Ariane
Contracts for Concurrency Piotr Nienaltowski, Bertrand Meyer, Jonathan S
Implementing Closures in Dafny Research Project Report
Study on Eiffel
Verification of Object Oriented Programs Using Class Invariants
You Say 'JML' ? Wikipedia (En)
Precondition Enforcement Analysis for Quality Assurance
VERIFICATION of OBJECT-ORIENTED PROGRAMS with INVARIANTS at Least to Hoare’S 1972 Paper on Data-Representation Correctness [19]
Failboxes: Provably Safe Exception Handling*
Program Correctness
Lecture 9 / Tutorial 8 Software Contracts
Code Contracts
Contract-Based Testing for PHP with Praspel
Class Invariants: Concepts, Problems and Solutions
Praspel: Contract-Driven Testing for PHP Using Realistic Domains Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti
Top View
Automatic Verification of Eiffel Programs
Design by Contract Example Contract Issue
Applying 'Design by Contract'
A Constraint Solver for PHP Arrays Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet
Applying “Design by Contract”
Getting Started with Dafny: a Guide
Software Engineering Lecture 13: Design by Contract
A Eiffel: the Essentials
Design by Contracts: Correctness and Quality of Software Meyer's Internal
ABCD Just Released New Books
Assertions, Pre/Post- Conditions
Design by Contract Rights and Obligations
Lecture 5: Design by Contract and Runtime
Assertion and Exception Techniques Can Aid in Class Correctness
Eiffel As a Framework for Verification
Class Invariants: Concepts, Problems and Solutions
An Eiffel Tutorial
Dafny Reference Manual Draft, 2017-08-14 09:40
Foundations of Software Engineering Design by Contract
Class 24 Formalising Healthiness
Enhancing Secure Coding Assistant with Error Correction And
Design by Contract
A Historical Perspective on Runtime Assertion Checking in Software Development
A Decade of D @ We Inform Passengers
Design by Contract with JML
Zero-Overhead Deterministic Exceptions: Throwing Values
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