電子交換機
ソフトウェア開発には、状態遷移図と仕様及び記述言語が用いられた。