« 2015年9月 | トップページ | 2015年11月 »

2015年10月

2015年10月15日 (木)

『自動判定エンジン』による『最適分割自動判定』

サブシステムやコンポーネントを最適に分割するにはソフトウエア工学の定理と理論があるのでそれを利用する。
 
ツールで定理と理論による処理を自動化して『自動判定エンジン』による『最適分割自動判定処理』をさせる。

Subsystems


|

2015年10月 2日 (金)

ステートマシン図の自動生成

少し時間が掛かったが進展があり,週末としてはよい区切りかも知れない。
 
ステートマシンの自動生成の後は、ステートマシンの正当性チェックの自動化だ。

States


|

« 2015年9月 | トップページ | 2015年11月 »