Contracts: From Analysis to C++ Implementation Details

Contracts: From Analysis to C++ Implementation

Link Details for: Contracts: From Analysis to C++ Implementation

Link Title:

Contracts: From Analysis to C++ Implementation

Link URL:

http://fodok.uni-linz.ac.at/JKUFODOK/ENGLISH/RU_246000-9104/PUB_1999/PUB_32893.html

Link Details:

Describes a set of techniques and tools (an environment) facilitating prototyping of, providing general mechanisms for, object-oriented architectures based on the idea of assertion checking and Design by Contract (DbC) in C++.

Category:

Top : Computers : Programming : Languages : C++ : Papers

Link Type:

Lock this listing - So it can't be removed

Lock this listing - and upgrade it to Featured

ScreenShot: