西村 光史 | 京大·理·地球熱学
スポンサーリンク
概要
論文 | ランダム
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール (ソフトウェアサイエンス)