specification code snippets in csharp