「Embedded software」を解説文に含む見出し語の検索結果(41~50/1259件中)
静的コード解析 (せいてきコードかいせき、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...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動ソフトウェア開発中心となる活動開発プロセス要求アーキテクチャ設計エンジニアリング実装テストデバッグデプロイメントメンテナンスパラダイムとモデルアジャイルクリーンルーム反復...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/20 23:15 UTC 版)「FPGA」の記事における「脚注・出典」の解説^ Wiśniewski, Rem...