|
one of the largest directories of the web |
|
Home : Computers : Programming : Languages : ADL
ADL
|
Sites in ADL
Assertion Definition Language: ADL
For defining programming interfaces, including post-conditions, error specification.
Preliminary Design of ADL/C++ - A Specification language for C++
article by Sreenivasa Rao Viswanadha and Sriram Sankar.
|
|
|
|
cross references
Monday, 08 September 2008