GDPA  
ADLT - Assertion Definition Language Translator  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Homepage
  • Institution
  • Observations
  • Classifications

    • Identification

    ADL - Assertion Definition Language

    Homepage

    http://www.sun.com/960201/cover/language.html

    Institution

    SUN - Microsystems

    Observations

    ADL is the first practical specification language. The history of formal specifications is long and not very successful. They are mostly used in government and academia to prove the correctness of programs. Many specification languages require the user to have a Ph.D. in order to make any sense out of them. As a consequence, most software engineers refuse to use specification languages. So we designed ADL to be comfortable for the average software engineer to use on a daily basis. Along with ADL, we deliver the ADL Translator (ADLT). ADLT is a program that takes an ADL specification and automatically generates tests to go along with it.

    Classifications

    Development Phases: Testing

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster