The code contracts API in the .NET Framework 4.0 has evolved with Spec#.
.NET Framework 4.0におけるコードコントラクトAPIはSpec#とともに発展してきた。