Channel 9 - Entries tagged with Featured Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Featured http://channel9.msdn.com/Tags/featured Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/featured en Thu, 20 Jun 2013 07:57:52 GMT Thu, 20 Jun 2013 07:57:52 GMT Rev9 3 1 25 geekSpeak recording: The Mole Visualizer with Karl Shifflet One of the things we like to do from time to time on geekSpeak is feature technology contributions that come out of the developer community. A very prominent contribution is the Mole project, a very popular and powerful visualizer for Visual Studio. Mole is a community project that’s been developed by several people, most notably Karl Shifflett, who is a Microsoft MVP for WPF . 

In this geekSpeak, Karl runs through how to install Mole and gives some tips on how to use it with ASP.NET. Mole’s ability to drill down into your object trees and highlight what’s going on in there is indispensible when debugging your apps.  I could list cool feature after cool feature of Mole, but it’s best to see them in action, so give this geekSpeak a viewing. Karl also gives some great tips for those of you who are feeling the urge to build your own visualizers. Karl totally deserves the Maverick reference we joke about during his introduction, he’s  a top gun when it comes to Mole demos!

Since the time this geekSpeak was recorded, Karl has joined the team at Microsoft that builds the WPF designers (Cider) for Visual Studio. I’m sure we can look for continued WPF goodness from Karl in the future!

]]> http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-The-Mole-Visualizer-with-Karl-Shifflet One of the things we like to do from time to time on geekSpeak is feature technology contributions that come out of the developer community. A very prominent contribution is the Mole project, a very popular and powerful visualizer for Visual Studio. Mole is a community project that’s been developed by several people, most notably Karl Shifflett, who is a Microsoft MVP for WPF .  In this geekSpeak, Karl runs through how to install Mole and gives some tips on how to use it with ASP.NET. Mole’s ability to drill down into your object trees and highlight what’s going on in there is indispensible when debugging your apps.  I could list cool feature after cool feature of Mole, but it’s best to see them in action, so give this geekSpeak a viewing. Karl also gives some great tips for those of you who are feeling the urge to build your own visualizers. Karl totally deserves the Maverick reference we joke about during his introduction, he’s  a top gun when it comes to Mole demos! Since the time this geekSpeak was recorded, Karl has joined the team at Microsoft that builds the WPF designers (Cider) for Visual Studio. I’m sure we can look for continued WPF goodness from Karl in the future! 3677 http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-The-Mole-Visualizer-with-Karl-Shifflet Mon, 28 Jul 2008 23:00:00 GMT http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-The-Mole-Visualizer-with-Karl-Shifflet glengo glengo 0 http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-The-Mole-Visualizer-with-Karl-Shifflet/RSS Featured Visual Studio WPF geekSpeak recording: Inside LINQ to XML with Paul Sheriff In this geekSpeak, Paul Sheriff focuses on LINQ to XML and reveals lots of tips for getting up to speed with it. We loved seeing the new techniques for building XML documents using the XDocument type that are tremendous time savers. He helps us understand what is LINQ, what’s LINQ to XML, and what are the new XML handling capabilities of VB and C#. He shows a nice example of LINQ to SQL output with XML literals interleaved, as well as an actual LINQ to XML query that comes back with (surprise) XML.

Paul also addresses some of the why, where and when XML, which is something many of us face. He shows us how he uses XML for prototyping very quickly. Also Paul shares some simple yet great techniques he uses to keep his team members up to date on skills.

Other tips range from how to get Intellisense in XML in your project to working with aggregates to what the heck the SingleOrDefault method does. Are you an XPath guru? Watch Paul’s tips on incorporating XPath queries into LINQ to XML as a transitional approach.

Some fun moments on the show are Paul slipping in a COBOL .NET reference, and his explanation as to why he's glad he took an “anti-Glen” pill that morning. Smiley

Finally, Paul has a great freebie he’s making available for geekSpeak fans, so listen out for the URL he shares.

This geekSpeak was hosted by Glen Gordon and Lynn Langit.

About our guest: Paul Sheriff, President, PDSA, Inc.

Paul Sheriff is the president of PDSA, Inc., a Microsoft Certified Partner in Southern California. Paul acts as the Microsoft Regional Director for Southern California assisting the local Microsoft offices with several of their events each year and being an evangelist for them. He has authored several books, webcasts, videos, and articles on the Microsoft .NET Framework, Microsoft SQL Server, and Windows SharePoint Services. Paul can be reached via www.paulsheriffinnercircle.com.

]]> http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-Inside-LINQ-to-XML-with-Paul-Sheriff In this geekSpeak, Paul Sheriff focuses on LINQ to XML and reveals lots of tips for getting up to speed with it. We loved seeing the new techniques for building XML documents using the XDocument type that are tremendous time savers. He helps us understand what is LINQ, what’s LINQ to XML, and what are the new XML handling capabilities of VB and C#. He shows a nice example of LINQ to SQL output with XML literals interleaved, as well as an actual LINQ to XML query that comes back with (surprise) XML. Paul also addresses some of the why, where and when XML, which is something many of us face. He shows us how he uses XML for prototyping very quickly. Also Paul shares some simple yet great techniques he uses to keep his team members up to date on skills. Other tips range from how to get Intellisense in XML in your project to working with aggregates to what the heck the SingleOrDefault method does. Are you an XPath guru? Watch Paul’s tips on incorporating XPath queries into LINQ to XML as a transitional approach. Some fun moments on the show are Paul slipping in a COBOL .NET reference, and his explanation as to why he's glad he took an “anti-Glen” pill that morning. Finally, Paul has a great freebie he’s making available for geekSpeak fans, so listen out for the URL he shares. This geekSpeak was hosted by Glen Gordon and Lynn Langit. About our guest: Paul Sheriff, President, PDSA, Inc. Paul Sheriff is the president of PDSA, Inc., a Microsoft Certified Partner in Southern California. Paul acts as the Microsoft Regional Director for Southern California assisting the local Microsoft offices with several of their events each year and being an evangelist for them. He has authored several books, webcasts, videos, and articles on the Microsoft .NET Framework, Microsoft SQL Server, and Windows SharePoint Services. Paul can be reached via www.paulsheriffinnercircle.com. 3640 http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-Inside-LINQ-to-XML-with-Paul-Sheriff Thu, 29 May 2008 22:07:26 GMT http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-Inside-LINQ-to-XML-with-Paul-Sheriff glengo glengo 1 http://channel9.msdn.com/Shows/geekSpeak/geekSpeak-recording-Inside-LINQ-to-XML-with-Paul-Sheriff/RSS Featured LINQ XML Expert to Expert: Contract Oriented Programming and Spec# The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.  Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system".  The Spec# system consists of:


The Spec# programming language.  Spec# is an extension of the object-oriented language C#.  It extends the type system to include non-null types and checked exceptions.  It provides method contracts in the form of pre- and postconditions as well as object invariants.

The Spec# compiler.  Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.

The Spec# static program verifier.  This component (codenamed Boogie) generates logical verification conditions from a Spec# program.  Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.

A unique feature of the Spec# programming system is its guarantee of maintaining invariants in object-oriented programs in the presence of callbacks, threads, and inter-object relationships.

The Spec# programming system is being developed as a research project at Microsoft Research in Redmond, primarily by the Programming Languages and Methods group.

Here, Expert to Expert guest expert and programming language guru Erik Meijer chats with MSR researchers and spec# designers Wolfram Schulte,  Rustan Leino and Peter Mueller. We dig into the details of Spec# and contract oriented programming in general. Plenty of code on the screen and lots of deep conversation. Just how we like it for Going Deep and Expert to Expert.

Enjoy!

LOW RES FILE

MP4

ZUNE

]]> http://channel9.msdn.com/Shows/Going+Deep/Expert-to-Expert-Contract-Oriented-Programming-and-Spec The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.  Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system".  The Spec# system consists of: The Spec# programming language.  Spec# is an extension of the object-oriented language C#.  It extends the type system to include non-null types and checked exceptions.  It provides method contracts in the form of pre- and postconditions as well as object invariants. The Spec# compiler.  Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools. The Spec# static program verifier.  This component (codenamed Boogie) generates logical verification conditions from a Spec# program.  Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it. A unique feature of the Spec# programming system is its guarantee of maintaining invariants in object-oriented programs in the presence of callbacks, threads, and inter-object relationships. The Spec# programming system is being developed as a research project at Microsoft Research in Redmond, primarily by the Programming Languages and Methods group.Here, Expert to Expert guest expert and programming language guru Erik Meijer chats with MSR researchers and spec# designers Wolfram Schulte,  Rustan Leino and Peter Mueller. We dig into the details of Spec# and contract oriented programming in general. Plenty of code on the screen and lots of deep conversation. Just how we like it for Going Deep and Expert to Expert.Enjoy!LOW RES FILEMP4ZUNE 4500 http://channel9.msdn.com/Shows/Going+Deep/Expert-to-Expert-Contract-Oriented-Programming-and-Spec Tue, 27 May 2008 18:27:52 GMT http://channel9.msdn.com/Shows/Going+Deep/Expert-to-Expert-Contract-Oriented-Programming-and-Spec Charles Charles 30 http://channel9.msdn.com/Shows/Going+Deep/Expert-to-Expert-Contract-Oriented-Programming-and-Spec/RSS Algorithms Erik Meijer Expert to Expert Featured Microsoft Research MS Research SpecSharp