Axiomatic Architecture Description Language
<language, architecture, parallel> (AADL) A language allowing concise modular specification of multiprocessor architectures from the compiler/operating-system interface level down to chip level.
AADL is rich enough to specify target architectures while providing a concise model for clocked microarchitectures.
["AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J.W. deBakker ed, Wiley, 1989].
| < Previous Terms | Terms Containing Axiomatic Architecture Description Language | Next Terms > |
| AWT aXe AXIOM axiom AXIOM* | AADL | axiomatic semantics axiomatic set theory Axiom of Choice Axiom of Comprehension AXLE |
