デュ-イの「成長」概念における存在論的基盤としての「意味(meaning)」について
スポンサーリンク
概要
論文 | ランダム
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 旧・伝染病隔離病棟と火葬場
- モデル検査法のソフトウェアデザイン検証への応用
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)