×
Error!
×
Success!
My Account
Spy
Logout
Stories
Users
Tags
FAQ
Submit
×
Submit a new Story Link
You've got a new story for us? Awesome! Just fill in the details below and fire away...
Paste the URL in here - no shortened URLs please (e.g. bit.ly)
Give us a Title that folks will easily recognize
Tell us in your own words why you like this story
Add some tags so folks can find it by topic (comma separated)
Spec# Presentation
×
Edit your Story Link
Not quite right the first time? No problem, send us your changes...
Paste the URL in here - no shortened URLs please (e.g. bit.ly)
Give us a Title that folks will easily recognize
Tell us in your own words why you like this story
Add some tags so folks can find it by topic (comma separated)
×
Ban this user: Options
Please provide a reason for deleting this story
Reason for deletion
0
kicks
views:
0
comments:
0
by
(unknown)
Spec# Presentation
(Unpublished)
Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.
more
less
Kicked By:
Drop Kicked By:
Comments
Related Stories
More from this user
Have your say
0
none
views:
0
comments:
0
by
(unknown)
0
none
views:
0
comments:
0
by
(unknown)
Tweets by @dotnetkicks
