Spec Sharpとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Spec Sharpの意味・解説 

Spec Sharp

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/16 13:49 UTC 版)

Spec#とは、C#Eiffel風の仕様記述言語的要素を追加したプログラミング言語である。Spec#ではオブジェクト不変条件・事前条件・事後条件などの契約を記述するための構文を持つ。ESC/Javaのように、定理証明機を用いた静的検証ツールを持っており、不変条件の多くを静的に検証できる。




「Spec Sharp」の続きの解説一覧


このページでは「ウィキペディア」からSpec Sharpを検索した結果を表示しています。
Weblioに収録されているすべての辞書からSpec Sharpを検索する場合は、下記のリンクをクリックしてください。
 全ての辞書からSpec Sharpを検索

英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Spec Sharp」の関連用語

Spec Sharpのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Spec Sharpのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのSpec Sharp (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS