「Embedded Operating System」を解説文に含む見出し語の検索結果(21～30/204件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
システムプログラミング言語とは、システムプログラミングでよく使用されるプログラミング言語のことである。このような言語は、システムソフトウェアを書くために設計されており、アプリケーションソフトウェアを書...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
Gazelle（ガゼル、ガゼール）は、マイクロソフトが研究開発中のウェブブラウザであり、それを稼働させるためのオペレーティングシステム環境である。このため「ブラウザベースのOS」「ブラウザOS」などと...
LeJOS RCX初版2000年8月6日 (25年前) (2000-08-06)最新版v3.0 / 2006年9月17日 (19年前) (2006-09-17)プロ...
コンピュータ用語一覧（コンピュータようごいちらん）は、コンピュータや計算機科学・情報工学などに関連する用語・項目を一覧にしたものである。表記：長音記号「ー」、中黒「・」などの記号はとりあえず音引きに含...