状態遷移表をLTSAに変換する(改訂版)

状態遷移表をLTSAスクリプトに変換するツールの改訂版。
StateTableモジュールを使用して状態遷移表を読み込む。

続きを読む

状態遷移表をPlantUMLに変換する(改訂版)

状態遷移表をPlantUMLスクリプトに変換するツールの改訂版。
StateTableモジュールを使用して状態遷移表を読み込む。

続きを読む

状態遷移表をAlloyに変換する(改訂版)

状態遷移表をAlloyスクリプトに変換するツールの改訂版。
StateTableモジュールを使用して状態遷移表を読み込む。

続きを読む

状態遷移表の読み込み

「状態遷移表の読み込み」をモジュールとして切り出す

続きを読む

状態遷移表をAlloyスクリプトに変換する

Excel上に記述した状態遷移表をF#プログラムでAlloyスクリプトに変換する。

続きを読む

コンテキスト図 by Graphviz

コンテキスト図をGraphvizで記述する試み。
題材:トム・デマルコ「構造化分析とシステム仕様」の図40

続きを読む

データーフロー図 by Graphviz

データーフロー図をGraphvizで記述する試み。
題材:トム・デマルコ「構造化分析とシステム仕様」の図31

続きを読む