インペリアル・カレッジ・ロンドン
ソフトウェア工学分野では、Acme（CMUが開発）、（SAEが標準化）、C2（UCIが開発）、（インペリアル・カレッジ・ロンドンが開発）、（CMUが開発）などがある。