You are here: irt.org | FOLDOC | 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].
(2003-06-30)
Nearby terms: AXIOM « axiom « AXIOM* « Axiomatic Architecture Description Language » axiomatic semantics » axiomatic set theory » Axiom of Choice
FOLDOC, Topics, 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, ?, ALL