UML用のIIOSSをインストール

ある人がUMLでもモデル実行できると言ったので、確認のため~sahara/Applicationsの下にインストール。
結局、状態遷移図を動かし、メソッドはJavaなどで実装するので、一種のプログラミングに過ぎない。
前件・後件・不変条件などが書ける形式仕様記述言語でいうモデルとは違う。

Posted: 水 - 4 月 13, 2005 at 03:15 午後