Assertion definition language
- Assertion definition language
The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and post-conditions to specify interfaces, and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications. Tool support exists both to convert ADL specifications into natural language, and to generate test systems against which implementation code can be verified.
ADL is developed cooperatively by The Open Group and SunTest of Sun Microsystems.
ee also
* Formal methods
* Formal specification
External links
* [http://adl.opengroup.org/about ADL Homepage]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Assertion (computing) — In computer programming, an assertion is a predicate (i.e., a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions … Wikipedia
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
Définition d'une planète — Définition des planètes Article principal : Planète. Photographie de la planète Neptune (en grand) et de sa lune Triton (en petit), prise par Voyager 2 lors de son entrée dans le Système solaire extérieur. Depuis sa création afin de décrire… … Wikipédia en Français
Définition d'une planète (2006) — Définition des planètes Article principal : Planète. Photographie de la planète Neptune (en grand) et de sa lune Triton (en petit), prise par Voyager 2 lors de son entrée dans le Système solaire extérieur. Depuis sa création afin de décrire… … Wikipédia en Français
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
Définition des planètes — Pour les articles homonymes, voir Définition (Homonymie). Article principal : Planète. Photographie de la planète Neptune (en gran … Wikipédia en Français
Extensible Markup Language — Vorlage:Infobox Dateiformat/Wartung/Standard fehlt Extensible Markup Language Vorlage:Infobox Dateiformat/Wartung/Screenshot Format D … Deutsch Wikipedia
Dynamic programming language — This article is about a class of programming languages, for the method for reducing the runtime of algorithms, see Dynamic programming. Dynamic programming language is a term used broadly in computer science to describe a class of high level… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
