---
title: "Don't miss out on Spec#"
url: "https://osherove.com/blog/2008/4/29/dont-miss-out-on-spec.md"
canonical: "https://osherove.com/blog/2008/4/29/dont-miss-out-on-spec.html"
published: "2008-04-29T11:26:40"
updated: "2008-04-29T11:26:40"
tags: [".NET", "altnet", "altnetconf"]
author: "Roy Osherove"
description: "Hey , you decision makers up there at Microsoft. Maybe you didn't realize this, or maybe you're waiting for the community to let you know. Spec# is one awesome project that needs to become a real product. It allows one…"
usage: "Licensed under CC BY 4.0 — reuse, quote and adapt with attribution (Roy Osherove, link to the original page)."
license: "https://creativecommons.org/licenses/by/4.0/"
---

# Don't miss out on Spec\#

By Roy Osherove April 29, 2008 In [.NET](https://osherove.com/blog/category/net), [altnet](https://osherove.com/blog/category/altnet), [altnetconf](https://osherove.com/blog/category/altnetconf)

**Historical article** · Originally published April 29, 2008; technical details may be outdated.

**Hey**, you decision makers up there at Microsoft. Maybe you didn't realize this, or maybe you're waiting for the community to let you know. [Spec#](http://research.microsoft.com/SpecSharp/) is one awesome project that needs to become a real product.

It allows one to verify during compilation lots of things you'd usually write corner-case unit tests for, plus allows you to specify a standard behavioral contract for methods using attributes. Saves lots of time and lots of headaches.

**Want To learn more?**

- Go to the [Spec# Homepage](http://research.microsoft.com/SpecSharp/) and to read about it and download a working version of it for [VS 2005](http://research.microsoft.com/research/downloads/details/89025c9e-09ca-4462-9373-da28b026085f/details.aspx) or [VS 2008](http://research.microsoft.com/research/downloads/details/8826adb9-8398-40d6-a22d-951923fe2647/details.aspx)
- [Here's an interview](http://hanselminutes.com/default.aspx?showID=128) Hanselman did on Spec#
- [Here's a video](http://codebetter.com/blogs/gregyoung/archive/2008/04/26/altdotnet-spec-session.aspx) from the Spec# session at Alt.NET Seattle

If the community is vocal enough about it, the research project just might become a real product. so if you like it, blog it.

## More in .NET

[All posts in .NET](https://osherove.com/blog/category/net)

- May 6, 2008

    ### [Introducing LINQ To Regex](https://osherove.com/blog/2008/5/6/introducing-linq-to-regex.html)

- May 1, 2008

    ### [Please don't go (work for MS or Google)](https://osherove.com/blog/2008/5/1/please-dont-go-work-for-ms-or-google.html)

- Apr 24, 2008

    ### [Testing XML serialization attributes](https://osherove.com/blog/2008/4/24/testing-xml-serialization-attributes.html)

- Apr 24, 2008

    ### [Parallel Builds with MSBuild](https://osherove.com/blog/2008/4/24/parallel-builds-with-msbuild.html)


---

## About the author

**Roy Osherove**: Senior Solutions Architect at AWS working on AI for production and AI-driven development; author of The Art of Unit Testing and Elastic Leadership, with about 20 years of consulting and training on unit testing, TDD, team leadership and continuous delivery.

### Sites

- [RobotPaper](https://robotpaper.ai/): This blog: AI patterns and anti-patterns, AI and coding agents, and engineering leadership.
- [osherove.com](https://osherove.com): Roy's personal site. Author of The Art of Unit Testing and Elastic Leadership; consulting and training on unit testing, TDD, team leadership and continuous delivery, plus about 20 years of blog posts.
- [The Art of Unit Testing](https://www.artofunittesting.com): The Art of Unit Testing, 3rd Edition (Manning): readable, maintainable, trustworthy unit tests, plus TDD workshops in C#, JavaScript, Java and Kotlin.
- [5whys.com](https://www.5whys.com): Roy's writing on software team leadership: self-organizing teams, surviving chaos, learning mode and the Elastic Leadership model.
- [Pipeline Driven](https://pipelinedriven.org): Continuous delivery and DevOps practices: build patterns, pipeline-friendly testing, DevOps metrics and enterprise DevOps.
- [Elastic Leadership](https://www.elasticleadership.com): Elastic Leadership, Roy's framework for software team leaders (survival, learning and self-organizing modes).

### Social

- X: https://x.com/royosherove
- LinkedIn: https://www.linkedin.com/in/osherove/

### Contact

- Contact form: https://forms.gle/jQSx5KoXvrVA1JCK7

### License

Licensed under CC BY 4.0 — reuse, quote and adapt with attribution (Roy Osherove, link to the original page). License: https://creativecommons.org/licenses/by/4.0/