« ソフトウエアの定理とモデルベース開発のモデル | トップページ | クラス不変条件に関連の不変条件(制約)を自動挿入する »

2015年8月29日 (土)

週末は定理証明とモデリング技法への応用の作業

週末だけれどあいにく雨絵模様。
 
一週間ちかく晴れは見込めない様だ。
 
時間があるのでオフィスでソフトウエアの定理をモデリング技法へ活かすためのモデリング技法の資料を作成する予定。

Inmrefine_2


|

« ソフトウエアの定理とモデルベース開発のモデル | トップページ | クラス不変条件に関連の不変条件(制約)を自動挿入する »

「パソコン・インターネット」カテゴリの記事