「形式手法」を解説文に含む見出し語の検索結果(51～60/533件中)
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "Uppaal" – ニュース...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "Uppaal" – ニュース...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/24 15:39 UTC 版)「プログラミングツール」の記事における「ツール一覧」の解説ソフトウェアツールには様々な形...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/04/19 14:04 UTC 版)「集積回路設計」の記事における「論理設計」の解説仕様には「MP3フォーマットにエンコード...
株式会社AES種類株式会社本社所在地 日本〒135-8073東京都江東区青海2-45 タイム24ビル18F設立2002年8月27日業種サービス業事業内容企業向けIT研修事業代表者代表取締役社長 白土広...
Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 同期（英語版） データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の...
Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 同期（英語版） データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の...
ナビゲーションに移動検索に移動プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合...
ナビゲーションに移動検索に移動プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラムを自動的に生成する技術。コンパイルと比較したとき、プログラム合...