لغة البرمجة “Spec#” هي لغة برمجة تم تطويرها لتعزيز قدرات لغة البرمجة C# بميزات لغة المواصفات. تميزت هذه اللغة بإضافة خصائص تشبه تلك الموجودة في لغة Eiffel، مثل الشروط المسبقة واللاحقة والشروط الموضعية للكائنات، بالإضافة إلى تضمينها أداة فحص ستاتيكية تعتمد على مثبت النظريات يمكنها التحقق بشكل ستاتيكي من العديد من هذه الشروط. كما تضمنت اللغة مجموعة متنوعة من التوسعات الطفيفة الأخرى في اللغة، مثل أنواع المراجع غير القابلة للإشارة.
تقدم Spec# واجهة برمجة التعاقدات (Code Contracts API) في إطار .NET 4.0، وقد تطورت معها. قامت Microsoft Research بتطوير كل من Spec# و C#، وبدورها، تعتبر Spec# أساسًا للغة البرمجة Sing#، التي قامت Microsoft Research أيضًا بتطويرها.
يمكن العثور على مزيد من المعلومات حول Spec# في صفحتها على ويكيبيديا: Spec Sharp – Wikipedia.
لم يتم توفير معلومات محددة حول بعض الجوانب الفنية للغة مثل توافر التعليقات والمستوى الدلالي للتعويض وغيرها من الخصائص، ولكن يبدو أن اللغة تركز بشكل أساسي على تعزيز تصميم البرامج وتحسين توثيق الشفرة وضمان الجودة من خلال المواصفات.