Google
 
Web ManofKnowledge.com


 
Top/Computers/Programming/Languages/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.


  Arts |  Business |  Computers |  Games |  Health |  Home |  News |  Recreation |  Reference

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor