Assertion Definition Language: ADL

Home Page for ADL: The Assertion Definition Language.

Open Group ADL Project Page

What's new? November 1998: ADL2 is made publicly available from this page; May 1998: Added a link to the paper presented at the ICSE'98 conference in Kyoto ...

The Assertion Based Testing Tool for OOP: ADL2

This paper describes an assertion based testing tool for object oriented programming (OOP) languages. It includes the architecture of formal specification ...

ADL Support

ADL support. ... You are here: ADL -> Support. Licensed users. Support for ADL can be provided on a contract-by-contract basis. ...

ADL Site Map

ADL sitemap. ... Documents. ADL 2.x Documents · ADL 1.x Documents · ADL Frequently Asked Questions (FAQ) · Copyright & License Notice ...

[PDF] Getting Started WithADLT

File Format: PDF/Adobe Acrobat - ADLTranslationSystemUser’sGuide:. Getting Started WithADLT. DocumentRelease2.0. ForUsewithADLTSystemRelease2.0,February1998 ...

[PDF] ADL for C

File Format: PDF/Adobe Acrobat - (1998.08.07). 1 of 61. ADL for C. The Open Group Research Institute. SunTest. The language definition for ADL annotations. for the C programming language. ...

[PDF] ADL for IDL

File Format: PDF/Adobe Acrobat - (1998.07.01). 1 of 81. ADL for IDL. SunTest. The Open Group Research Institute. The language definition for ADL annotations ...

[PDF] ADL for C++

File Format: PDF/Adobe Acrobat - (1998.06.30). 1 of 75. ADL for C++. SunTest. The Open Group Research Institute. The language definition for ADL annotations ...

Assertion Definition Language (ADL) TRANSLATION SYSTEM 2.1 RELEASE ...

------------------------------------------------------------------------ Assertion Definition Language (ADL) TRANSLATION SYSTEM 2.1 RELEASE NOTES ...