国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
2000年代
(2)
2010年代
(3)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(2)
雑誌
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(2)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(4)
紙
(2)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 6 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
拡張可能なドメイン専用言語に関する研究
拡張可能なドメイン専用言語に関する研究
紙
図書
鵜林尚靖, 九州工業大学 [著]
[鵜林尚靖]
2004-2006
<Y151-H16500020>
国立国会図書館
件名
モデル駆動開発
/ アスペクト指向 / モデルコンパイラ / メタプログラ...
ハードウェアモデルを用いたモデル駆動型ソフトウェアプロダクトライン
ハードウェアモデルを用いたモデル駆動型ソフトウェアプロダクトライン
デジタル
博士論文
障害者向け資料あり
細合, 晋太郎
2015-03
国立国会図書館
件名
組込みソフトウェア開発 システムプロダクトライン開発
モデル駆動開発
静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式
静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式
紙
図書
渡部卓雄, 東京工業大学 [著]
[渡部卓雄]
2005-2006
<Y151-H17500017>
国立国会図書館
件名
形式仕様記述 / 契約による設計 / アスペクト指向 /
モデル駆動開発
/ 実行時検査 / 隠れチャネル / 情報漏洩 / オント...
複数の診断機能により学習者に多面的な気づきを与えるモデリング学習支援システム
複数の診断機能により学習者に多面的な気づきを与えるモデリング学習支援システム
デジタル
文書・図像類
酒井, 三四郎
2022-06-17
全国の図書館
件名
オブジェクト指向 モデリング 学習支援 UML
モデル駆動開発
ハードウェアモデルを用いたモデル駆動型ソフトウェアプロダクトライン
ハードウェアモデルを用いたモデル駆動型ソフトウェアプロダクトライン
デジタル
博士論文
細合, 晋太郎
2015-03
インターネットで読める
全国の図書館
件名
組込みソフトウェア開発 システムプロダクトライン開発
モデル駆動開発
検証可能なモデルコンパイラに関する研究
検証可能なモデルコンパイラに関する研究
デジタル
文書・図像類
鵜林, 尚靖
九州工業大学
2010-02-09
全国の図書館
件名
ソフトウェア工学
モデル駆動開発
アスペクト指向 モデルコンパイラ ドメイン特化言語 拡張可...
検索結果は以上です。
書誌情報を一括出力