Aadl

Axiomatic Architecture Description Language

Free Online Dictionary of Computing