Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Axiomatic Architecture Description Language

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

©2018 Martin Webb