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