什麼是規格＃我聽說過？

4

規格＃爲API 合同形式語言，它擴展C＃與構建體用於非空值類型，先決條件，後置條件和對象不變量（由JML，ASML，和艾菲爾影響）。 Spec＃附帶聲音編程方法，即允許關於對象不變量的規範和推理，即使在回調和多線程中。 Spec＃是研究車輛，已用於探索規格以及使用它們的動態/靜態工具。

2009-08-06 20:32:37 Jonathan

+1

大說明 – 2009-08-06 20:36:24

+2

它應該是。這是從發佈的鏈接中剪切和粘貼的。 – 2009-08-06 20:37:28

+3

我想盡可能多...但這並不能阻止它成爲一個很好的描述 – 2009-08-06 21:02:05

1

2009-08-06 20:32:51

1

這裏是Microsoft Research page概述該項目。

從網站：

的規格＃編程系統是一個更具成本效益的方式新試圖發展和保持高品質的軟件。

2009-08-06 20:33:20

0

它被遺棄了。

2009-08-06 20:33:21

+0

雖然這也許是真的......它並沒有真正回答這個問題。 – 2009-08-06 20:37:13

+0

我覺得這是相關的信息。 /聳肩 – 2009-08-06 20:48:07

1

規格＃是合同涉及設計研究語言。

請注意，Microsoft已經選擇將代碼合同集成到即將推出的.NET Framework 4.0版本中。更多信息：

2009-08-06 20:35:53

4

規格＃爲編程語言，它是必不可少的一個延伸到C＃。它增加了定義方法合同的功能。聯繫人的條件是必須爲真，方法纔有效。一個聯繫人的例子就是說當方法運行時，一個特定的參數不能爲null。

它包含一個可以運行的工具，試圖證明條件是否得到保證。

這是微軟的一個研究項目，現在已被放棄，但完成的工作形成了code contracts in .net 4.0的基礎。

2009-08-06 20:35:59

回答