About: Spec Sharp

Property	Value
dbo:abstract	Spec#とは、C#にEiffel風の仕様記述言語的要素を追加したプログラミング言語である。Spec#ではオブジェクト不変条件・・などの契約を記述するための構文を持つ。ESC/Javaのように、定理証明機を用いた静的検証ツールを持っており、不変条件の多くを静的に検証できる。 .NET Framework 4.0におけるコードコントラクトAPIはSpec#とともに発展してきた。Spec#はSing#の基礎にもなっている。 (ja) Spec#とは、C#にEiffel風の仕様記述言語的要素を追加したプログラミング言語である。Spec#ではオブジェクト不変条件・・などの契約を記述するための構文を持つ。ESC/Javaのように、定理証明機を用いた静的検証ツールを持っており、不変条件の多くを静的に検証できる。 .NET Framework 4.0におけるコードコントラクトAPIはSpec#とともに発展してきた。Spec#はSing#の基礎にもなっている。 (ja)
dbo:wikiPageExternalLink	http://rise4fun.com/specsharp/ http://specsharp.codeplex.com/ http://research.microsoft.com/specsharp/
dbo:wikiPageID	3787001 (xsd:integer)
dbo:wikiPageLength	2362 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	92266773 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:.NET_Framework dbpedia-ja:Category:形式仕様記述言語 dbpedia-ja:Category:形式手法ツール dbpedia-ja:CodePlex dbpedia-ja:Eiffel dbpedia-ja:Singularity 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:C_Sharp dbpedia-ja:Category:.NET_Framework dbpedia-ja:Category:C_Sharp dbpedia-ja:Category:マイクロソフトのプログラミング言語 dbpedia-ja:Sing_sharp dbpedia-ja:C_sharp dbpedia-ja:Microsoft_Research dbpedia-ja:事前条件 dbpedia-ja:事後条件 dbpedia-ja:検査例外
prop-en:date	2018 (xsd:integer)
prop-en:section	1 (xsd:integer)
prop-en:wikiPageUsesTemplate	template-en:Code template-en:Reflist template-en:URL template-en:参照方法 template-en:脚注ヘルプ template-en:記事名の制約 template-en:Infobox_プログラミング言語 template-en:Start_date_and_age
prop-en:パラダイム	dbpedia-ja:イベント駆動型プログラミング dbpedia-ja:オブジェクト指向プログラミング dbpedia-ja:マルチパラダイムプログラミング言語 dbpedia-ja:命令型プログラミング dbpedia-ja:契約プログラミング dbpedia-ja:構造化プログラミング dbpedia-ja:関数型プログラミング
prop-en:名前	Spec# (ja) Spec# (ja)
prop-en:型付け	dbpedia-ja:サブタイピング_(計算機科学) dbpedia-ja:型システム dbpedia-ja:静的型付け
prop-en:影響を与えた言語	dbpedia-ja:Sing_sharp
prop-en:影響を受けた言語	dbpedia-ja:Eiffel dbpedia-ja:C_Sharp
prop-en:最新リリース	SpecSharp 2011-10-03 (ja) SpecSharp 2011-10-03 (ja)
prop-en:設計者	dbpedia-ja:Microsoft_Research
prop-en:開発者	dbpedia-ja:Microsoft_Research
dct:subject	dbpedia-ja:Category:形式仕様記述言語 dbpedia-ja:Category:形式手法ツール dbpedia-ja:Category:.NET_Framework dbpedia-ja:Category:C_Sharp dbpedia-ja:Category:マイクロソフトのプログラミング言語
rdf:type	owl:Thing dbo:Language dbo:ProgrammingLanguage schema:Language wikidata:Q315 wikidata:Q9143
rdfs:comment	Spec#とは、C#にEiffel風の仕様記述言語的要素を追加したプログラミング言語である。Spec#ではオブジェクト不変条件・・などの契約を記述するための構文を持つ。ESC/Javaのように、定理証明機を用いた静的検証ツールを持っており、不変条件の多くを静的に検証できる。 .NET Framework 4.0におけるコードコントラクトAPIはSpec#とともに発展してきた。Spec#はSing#の基礎にもなっている。 (ja) Spec#とは、C#にEiffel風の仕様記述言語的要素を追加したプログラミング言語である。Spec#ではオブジェクト不変条件・・などの契約を記述するための構文を持つ。ESC/Javaのように、定理証明機を用いた静的検証ツールを持っており、不変条件の多くを静的に検証できる。 .NET Framework 4.0におけるコードコントラクトAPIはSpec#とともに発展してきた。Spec#はSing#の基礎にもなっている。 (ja)
rdfs:label	Spec Sharp (ja) Spec Sharp (ja)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Spec_Sharp?oldid=92266773&ns=0
foaf:isPrimaryTopicOf	http://ja.wikipedia.org/wiki/Spec_Sharp
foaf:name	Spec# (ja) Spec# (ja)
is dbo:wikiPageRedirects of	dbpedia-ja:Sing_Sharp
is dbo:wikiPageWikiLink of	dbpedia-ja:Singularity dbpedia-ja:マイクロソフトリサーチ dbpedia-ja:契約プログラミング dbpedia-ja:Sing_Sharp
is owl:sameAs of	dbpedia-wikidata:Spec Sharp
is foaf:primaryTopic of	http://ja.wikipedia.org/wiki/Spec_Sharp