竹尾 奈保子 | 東京医科歯科大学 大学院保健衛生学研究科 小児・家族発達看護学分野
スポンサーリンク
概要
論文 | ランダム
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール (ソフトウェアサイエンス)