「Embedded Software」を解説文に含む見出し語の検索結果(41~50/1261件中)

静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis) とは、コンピュータのソフトウェアの解...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/20 23:15 UTC 版)「FPGA」の記事における「脚注・出典」の解説^ Wiśniewski, Rem...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...




カテゴリ一覧

全て

+ ビジネス

+ 業界用語

+ コンピュータ

+ 電車

+ 自動車・バイク

+ 船

+ 工学

+ 建築・不動産

+ 学問

+ 文化

+ 生活

+ ヘルスケア

+ 趣味

+ スポーツ

+ 生物

+ 食品

+ 人名

+ 方言

+ 辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2026 GRAS Group, Inc.RSS