tag:blogger.com,1999:blog-65105653588350845962011-04-27T02:17:18.595-07:00Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.comBlogger71100tag:blogger.com,1999:blog-6510565358835084596.post-41046023817269731582008-06-16T06:31:00.000-07:002008-06-16T06:35:03.529-07:00<div align="justify"><span style="font-family:verdana;font-size:85%;color:#ffffff;">Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier. This version of Spec# works with Visual Studio 2008.</span></div><div align="justify"><span style="font-family:Verdana;font-size:85%;color:#ffffff;"></span></div><div align="justify"><span style="font-family:Verdana;font-size:85%;"><span style="color:#ffffff;">For more info:</span><br /><a href="http://research.microsoft.com/research/downloads/Details/8826adb9-8398-40d6-a22d-951923fe2647/Details.aspx">http://research.microsoft.com/research/downloads/Details/8826adb9-8398-40d6-a22d-951923fe2647/Details.aspx</a></span></div><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-4104602381726973158?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-37651123014315559122008-06-16T05:11:00.000-07:002008-06-16T05:15:13.727-07:00<span style="font-family:verdana;font-size:85%;"></span><br /><p><span style="font-family:verdana;font-size:85%;">Microsoft planning to release the another version of .Net framework. This framework is going to be called as "<strong>.Net framework 4.0</strong>" or "<strong>Oslo</strong>". </span></p><p><span style="font-family:verdana;font-size:85%;">To know more about it:<br /></span><a href="http://blogs.microsoft.co.il/blogs/adlaim/archive/2007/11/30/net-framework-4-0-quot-biztalk-soa-express-framework-quot.aspx"><span style="font-family:verdana;font-size:85%;">http://blogs.microsoft.co.il/blogs/adlaim/archive/2007/11/30/net-framework-4-0-quot-biztalk-soa-express-framework-quot.aspx</span></a></p><p><a href="http://msmvps.com/blogs/abu/archive/2008/05/22/oslo-includes-net-framework-4-0.aspx"><span style="font-family:verdana;font-size:85%;">http://msmvps.com/blogs/abu/archive/2008/05/22/oslo-includes-net-framework-4-0.aspx</span></a></p><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-3765112301431555912?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-22251052796491425172007-07-31T00:57:00.000-07:002007-07-31T00:59:43.447-07:00Next version of visual studio 2008 beta 2 released now. you can download the<br />Visual Studio Team System 2008 Beta 2 Team Suite in the following link<br /><br /><a href="http://www.microsoft.com/downloads/details.aspx?FamilyId=428C076F-E3EF-4290-9FF4-F6FD8F180B7D&displaylang=en">Download</a><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-2225105279649142517?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-82293248532847148942007-07-20T03:48:00.000-07:002007-07-20T03:50:29.944-07:00Hi .Net dudes, In the below link, you can find lots of .net related videos. Download al the videos.<br /><br /><br /><a href="http://msdn.microsoft.com/vcsharp/programming/videos/default.aspx">Visit the Url</a><br /><br /><br />Post your comments here<div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-8229324853284714894?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-68290934165968012092007-07-20T03:19:00.000-07:002007-07-20T03:24:16.375-07:00This video will provide you with an easy to follow introduction to LINQ to SQL.<br /><br /><br /><a href="http://www.elvenware.com/charlie/data/LinqIntroWeb/LinqIntroWeb.zip">Download</a><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-6829093416596801209?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-19943462467809525052007-07-20T03:17:00.000-07:002007-07-20T03:19:40.082-07:00Hi all,<br />You can download the Linq 101 samples in the following link.<br /><br /><a href="http://www.elvenware.com/charlie/data/MarchCtpSamples-v03.zip">Download LINQ 101 samples</a><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-1994346246780952505?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0tag:blogger.com,1999:blog-6510565358835084596.post-9472655230024931022007-07-13T01:11:00.000-07:002007-07-13T01:19:01.621-07:00<span style="font-family:arial;font-size:85%;">Popfly Explorer is a Visual Studio 2005 add-in that enables you create, modify, and share Visual Studio solutions from your Popfly Space. As Popfly is currently in a private alpha, you must be a registered Popfly user to share projects to your Popfly Space.</span><br /><span style="font-family:arial;font-size:85%;"></span><br /><a href="http://go.microsoft.com/fwlink/?LinkID=91154"><span style="font-family:arial;font-size:85%;">Download from Microsoft</span></a><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/6510565358835084596-947265523002493102?l=sensoft2002.blogspot.com' alt='' /></div>Sensoft2000http://www.blogger.com/profile/03367550308151105239noreply@blogger.com0