About: 形式手法

Property	Value
dbo:wikiPageID	1045939 (xsd:integer)
dbo:wikiPageRevisionID	85977217 (xsd:integer)
prop-en:wikiPageUsesTemplate	template-en:See_also template-en:Commons_cat_multi
rdf:type	skos:Concept
rdfs:label	形式手法 (ja) 形式手法 (ja)
skos:broader	dbpedia-ja:Category:ソフトウェアテスティング dbpedia-ja:Category:ソフトウェア品質 dbpedia-ja:Category:ソフトウェア工学 dbpedia-ja:Category:データモデリング dbpedia-ja:Category:形式 dbpedia-ja:Category:計算機科学の領域 dbpedia-ja:Category:電子計算の数学
skos:prefLabel	形式手法 (ja) 形式手法 (ja)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Category:形式手法?oldid=85977217&ns=14
is dbo:wikiPageWikiLink of	dbpedia-ja:充足可能性問題 dbpedia-ja:Communicating_Sequential_Processes dbpedia-ja:DPLLアルゴリズム dbpedia-ja:Guarded_Command_Language dbpedia-ja:Lustre_(プログラミング言語) dbpedia-ja:Mizar dbpedia-ja:PlusCal dbpedia-ja:TLA+ dbpedia-ja:VDM dbpedia-ja:Z言語 dbpedia-ja:ギルモアのアルゴリズム dbpedia-ja:グレブナー基底 dbpedia-ja:シークエント計算 dbpedia-ja:チューリングマシン dbpedia-ja:デービス・パトナムのアルゴリズム dbpedia-ja:ビリヤードボール・コンピュータ dbpedia-ja:プログラミングの統一理論 dbpedia-ja:プログラム意味論 dbpedia-ja:プロセス計算 dbpedia-ja:ペトリネット dbpedia-ja:ホーア論理 dbpedia-ja:モデル検査 dbpedia-ja:ユニフィケーション dbpedia-ja:ラムダ計算 dbpedia-ja:ループ不変条件 dbpedia-ja:不動点コンビネータ dbpedia-ja:不変条件 dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:仕様及び記述言語 dbpedia-ja:仕様記述言語 dbpedia-ja:制約論理プログラミング dbpedia-ja:双模倣性 dbpedia-ja:合流性 dbpedia-ja:型付きラムダ計算 dbpedia-ja:導出原理 dbpedia-ja:形式仕様記述 dbpedia-ja:形式体系 dbpedia-ja:形式手法 dbpedia-ja:形式的検証 dbpedia-ja:抽象解釈 dbpedia-ja:文字列書き換え系 dbpedia-ja:時相論理 dbpedia-ja:有限オートマトン dbpedia-ja:概念実証 dbpedia-ja:構成規則 dbpedia-ja:節標準形 dbpedia-ja:自動定理証明 dbpedia-ja:自動推論 dbpedia-ja:表明_(プログラミング) dbpedia-ja:詳細化 dbpedia-ja:論理プログラミング dbpedia-ja:静的コード解析 dbpedia-ja:項書き換え dbpedia-ja:述語変換意味論 dbpedia-ja:B-Method dbpedia-ja:CICS dbpedia-ja:形式等価判定 dbpedia-ja:Planner dbpedia-ja:SPINモデルチェッカ dbpedia-ja:コンピュータのカテゴリ一覧 dbpedia-ja:自己認識論理
is dct:subject of	dbpedia-ja:充足可能性問題 dbpedia-ja:Communicating_Sequential_Processes dbpedia-ja:DPLLアルゴリズム dbpedia-ja:Guarded_Command_Language dbpedia-ja:Lustre_(プログラミング言語) dbpedia-ja:Mizar dbpedia-ja:PlusCal dbpedia-ja:TLA+ dbpedia-ja:VDM dbpedia-ja:Z言語 dbpedia-ja:ギルモアのアルゴリズム dbpedia-ja:グレブナー基底 dbpedia-ja:シークエント計算 dbpedia-ja:チューリングマシン dbpedia-ja:デービス・パトナムのアルゴリズム dbpedia-ja:ビリヤードボール・コンピュータ dbpedia-ja:プログラミングの統一理論 dbpedia-ja:プログラム意味論 dbpedia-ja:プロセス計算 dbpedia-ja:ペトリネット dbpedia-ja:ホーア論理 dbpedia-ja:モデル検査 dbpedia-ja:ユニフィケーション dbpedia-ja:ラムダ計算 dbpedia-ja:ループ不変条件 dbpedia-ja:不動点コンビネータ dbpedia-ja:不変条件 dbpedia-ja:並行制約プログラミング dbpedia-ja:並行論理プログラミング dbpedia-ja:仕様及び記述言語 dbpedia-ja:仕様記述言語 dbpedia-ja:制約論理プログラミング dbpedia-ja:双模倣性 dbpedia-ja:合流性 dbpedia-ja:型付きラムダ計算 dbpedia-ja:導出原理 dbpedia-ja:形式仕様記述 dbpedia-ja:形式体系 dbpedia-ja:形式手法 dbpedia-ja:形式的検証 dbpedia-ja:抽象解釈 dbpedia-ja:文字列書き換え系 dbpedia-ja:時相論理 dbpedia-ja:有限オートマトン dbpedia-ja:概念実証 dbpedia-ja:構成規則 dbpedia-ja:節標準形 dbpedia-ja:自動定理証明 dbpedia-ja:自動推論 dbpedia-ja:表明_(プログラミング) dbpedia-ja:詳細化 dbpedia-ja:論理プログラミング dbpedia-ja:静的コード解析 dbpedia-ja:項書き換え dbpedia-ja:述語変換意味論 dbpedia-ja:B-Method dbpedia-ja:CICS dbpedia-ja:形式等価判定 dbpedia-ja:Planner dbpedia-ja:SPINモデルチェッカ dbpedia-ja:自己認識論理
is owl:sameAs of	dbpedia-wikidata:形式手法
is skos:broader of	dbpedia-ja:Category:チューリングマシン dbpedia-ja:Category:ハードウェア記述言語 dbpedia-ja:Category:プログラム解析 dbpedia-ja:Category:ペトリネット dbpedia-ja:Category:ユニフィケーション dbpedia-ja:Category:型理論 dbpedia-ja:Category:形式仕様記述 dbpedia-ja:Category:形式手法の用語 dbpedia-ja:Category:形式手法ツール dbpedia-ja:Category:抽象データ型 dbpedia-ja:Category:時相論理 dbpedia-ja:Category:有限オートマトン dbpedia-ja:Category:計算モデル dbpedia-ja:Category:論理計算 dbpedia-ja:Category:関数型プログラミング dbpedia-ja:Category:自動定理証明 dbpedia-ja:Category:プログラム意味論 dbpedia-ja:Category:形式手法の人物