frequentlyaskedquestions | Channel 9

Sign In

Subscribe

Summary: This page is for frequently asked questions.

When you are done, you can return to the HomePage.

Quick References

* SpecSharpAttributes
* SpecSharpKeyWords

Environment Requirements

Questions related to what it takes to use Spec#
* VisualStudioAndSpecSharpReleases
* VisualStudioCSharpProjectsAndMSBuild

Not ready

Areas that Spec# is (currently) probably not the best development approach
* WindowsForms
* DataSets

- History
  
  Modified By: System
  
  Apr 30th, 2008 @ 11:15 AM
  
  Views (570)
- 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: TWC9: Channel 9 Goes Live, Zune, detecting memory leaks, Life at MSFT
WindowsClient: Several WPF Localization questions
WindowsClient: Several WPF Localization questions
ASP.NET: http://silverlight.net/riaservices/ is Live!
Silverlight: Commitments
Silverlight: Commitments
Silverlight: Subscribe to 62 Silverlight Twitter’ers.
WindowsClient: XAML for WinMo6.5?
ASP.NET: Neat VS10 Feature: Pinning A Debugger Watch
Mix Online: When Projects Fall Apart
Channel 9: Microsoft Security Development Lifecycle (SDL) and Software Security Today
Silverlight: Designer v Xaml v Code
Channel 9: Windows Identity Foundation RC is here!
Mix Online: Calculating Risk
Channel 10: Adding Flip 3D to Windows 7's Taskbar
Channel 10: Workshare Releases New Tool for Comparing PowerPoint Presentations
Channel 10: Windows 7 Market Share Climbing Fast
Channel 10: Interview with one of Windows 7's Artists
WindowsClient: New WPF Features: Full Trust Xbap Deployment
ASP.NET: Recap of Oredev and some .net debugging videos
close

Microsoft Communities