「ソフトウェアシステム」を解説文に含む見出し語の検索結果(61～70/442件中)
GEM,gem（ジェム、ゼム、ゲム）GEM略語・略称ふたご座 (Gemini)ジェムザール (Gemzar)ガス電子増幅器 (gas electron multiplier)ホバークラフト (grou...
ナビゲーションに移動検索に移動Graphics Execution Manager（GEM）は、グラフィックスチップセット用のデバイスドライバのメモリ管理を行うためにインテルが開発したコンピュータソフ...
Interlisp（大文字/小文字の組み合わせは様々見られる）は、プログラミング言語LISPの一種を中心としたプログラミング環境。1967年、Bolt, Beranek and Newman (BBN...
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...
ボブ・フランクストン（2012年）ロバート・M・フランクストン（Robert M. Frankston、1949年6月14日 - ）は、アメリカ合衆国の計算機科学者。ダン・ブリックリンとともに表計算ソ...
ボブ・フランクストン（2012年）ロバート・M・フランクストン（Robert M. Frankston、1949年6月14日 - ）は、アメリカ合衆国の計算機科学者。ダン・ブリックリンとともに表計算ソ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/04 09:30 UTC 版)「入笠山光学観測所」の記事における「小惑星の観測」の解説日本からの小惑星の発見は1990...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/08 08:01 UTC 版)「情報プライバシー」の記事における「情報システムにおけるプライバシーの保護」の解説プライ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/30 14:07 UTC 版)「階層分析法」の記事における「用途と適用例」の解説AHP（階層分析法）は個人的な決定問題...