スポンサーリンク
東北芸術工科大学情報デザイン学科 | 論文
- 分散システム仕様のための動的拡張
- 分散システム仕様を検査する意味論的振る舞い
- ルールチェッキングエキスパートシステムの検証法
- 分散システム仕様の動的進化に対する枠組オブジェクトふるまいの専門化と必要条件仕様記述
- 分散システム仕様の動的進化に対する枠組
- 分散システム行動のダイナミックな拡張のための形式上の骨組み
- 分散システム仕様の動的進化に対する枠組
- 『第三の皮膚』論 その2
- コンピュータグラフィックスとデザイン教育 : 京都での経験と東北出の実験(平成4年度日本デザイン学会第13回春季大会)