ソフトウェア工学分野では、Acme（CMUが開発）、AADL（SAEが標準化）、C2（UCIが開発）、Darwin（インペリアル・カレッジ・ロンドンが開発）、Wright（CMUが開発）などがある。
一些软件工程团体开发了若干ADL，如ACME（CMU开发），AADL（SAE标准化），C2（UCI开发），Darwin（英国伦敦帝国学院开发）和Wright（CMU开发）。