仕様記述言語を解説文に含む用語の検索結果

「仕様記述言語」を解説文に含む見出し語の検索結果(1～10/96件中)

仕様記述言語一覧 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:18 UTC 版)「仕様記述言語」の記事における「仕様記述言語一覧」の解説Z言語 VDM LOTOS SD...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/09 14:25 UTC 版)「抽象化 (計算機科学)」の記事における「仕様記述言語」の解説詳細は「仕様記述言語」を参...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:18 UTC 版)「仕様記述言語」の記事における「形式的でない仕様記述(言語)」の解説もう1つは、あくまで...

ナビゲーションに移動検索に移動JSON Schema開発元Json Schema organizationプラットフォームクロスプラットフォーム種別スキーマ言語ライセンスAcademic Free L...

ナビゲーションに移動検索に移動SDLSDL - マルチメディアを扱うためのライブラリ (ソフトウェア設計) のひとつ信頼できるコンピューティングのセキュリティ開発ライフサイクル (Security D...

Jump to navigationJump to searchこの項目では、Vienna Development Methodについて説明しています。Virtual DOS Machineについては...

Jump to navigationJump to searchこの項目では、Vienna Development Methodについて説明しています。Virtual DOS Machineについては...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/24 14:45 UTC 版)「形式手法」の記事における「主な形式手法とその記述法」の解説以下に主な形式手法と形式手法...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/13 22:25 UTC 版)「Communicating Sequential Processes」の記事における「...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:06 UTC 版)「プログラミング用語 (分野別)」の記事における「コンピュータ言語の分類」の解説プログラ...

< 前の結果 | 次の結果 >