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

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

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

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

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

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

状態遷移表の読み込み

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

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

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

コンテキスト図 by Graphviz

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

データーフロー図 by Graphviz

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

データーフロー図 by PlantUML

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

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

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

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

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