The Free Online Dictionary of Computing (http://foldoc.doc.ic.ac.uk/) is edited by Denis Howe <dbh@doc.ic.ac.uk>.

Previous: AXIOM* Next: axiomatic semantics

Axiomatic Architecture Description Language

["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].

(1995-02-07)