specsharpintroduction | Channel 9

Sign In

Subscribe

Summary: Introduction to Spec#
Nearby: HomePage

Language tips

Topics are listed (roughly) in order of complexity, and may build upon concepts introduced in earlier topics.

All topics include sample code.

* AssertionsIntroduction

* NonNullIntroduction

* DelayedTypesIntroduction

* PreconditionsIntroduction

* PostconditionsIntroduction

* ObjectInvariantsIntroduction

* OutOfBandContracts

* SpecSharpAttributes

Tool tips

GettingStartedWithSpecSharpInVisualStudio
GettingStartedWithSpecSharpWithoutVisualStudio
UsingSpecSharpInCSharpProjects

- History
  
  Modified By: System
  
  Apr 30th, 2008 @ 11:15 AM
  
  Views (1,118)
- Share
  - Del.icio.us
  - Digg
  - FriendFeed
  - Facebook
Markup Quick Guide

*bold*

_italics_

+underline+

! Heading 1

!! Heading 2

* Bullet List

** Bullet List 2

# Number List

## Number List 2

[another wiki page]

[url:http://www.example.com]

[image:example.gif]

{"Do not apply formatting"}

Channel 9: C9 Conversations: Brian Beckman on Complexity [C9 Conversations: Brian Beckman on Complexity]
ASP.NET: Presenting in Europe Next Week
TechNet Edge: AlignIT IT Manager Podcast #30 - Straight Talk about Windows 7
WindowsClient: You know your post rate has gone down...
Silverlight: Geek Profiles – Scott Guthrie
Channel 9: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 9 of 13
TechNet Edge: Managing Your Virtual World - Tech Focus November 2009 Part 2
ASP.NET: Silverlight and RIA Services: Implementing Search
Channel 9: C9 Lectures: Brian Beckman - Covariance and Contravariance in Physics 1 of 1
Channel 9: Set Your Data Free
Channel 9: Implementing a Silverlight SharePoint WebPart with Visual Studio 2010
WindowsClient: New WPF Showcase Addition: Enterprise
Channel 9: Reactive Extensions API in depth: Contract
WindowsClient: Concluding "New WPF Features" Series
WindowsClient: Introduction to TestApi – Part 5: Managed Code Fault Injection APIs
ASP.NET: T4MVC now has a real home and a dedicated forum!
TechNet Edge: Windows Server 2008 R2 : New Power Management Features
ASP.NET: Web Deployment Painkillers: VS 2010 & MS Deploy
WindowsClient: Application Accessibility Testing
WindowsClient: Prism & WCF RIA Services
close

Microsoft Communities