ListOfLists.com Internet Directory
Home
>
Top
>
Computers
>
Programming
>
Languages
>
ADL
@Interface Languages
@Software Testing
Surf these sites:
Assertion Definition Language (ADL)
--
is a language for defining programming interfaces, including post-conditions and error specification.
Preliminary Design of ADL/C++ - A Specification language for C++
--
article by Sreenivasa Rao Viswanadha and Sriram Sankar.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor