Channel 9 - Entries tagged with DevLabs Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with DevLabs http://channel9.msdn.com/Tags/devlabs 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/devlabs en Fri, 24 May 2013 20:13:56 GMT Fri, 24 May 2013 20:13:56 GMT Rev9 6 1 25 GoingNative 8: Introducing Casablanca - A Modern C++ API for Connected Computing Welcome to the 9th installment of GoingNative. Charles flies solo this time around as Diego is on a well-deserved break from work.

At GoingNative 2012, Herb Sutter addressed the need for more general purpose standard C++ libraries - high level libraries - for use in modern computing. So, things like HTTP, REST, JSON are important today (and working with these technologies is not as easy as it should be in C++), not to mention simplifying asynchronous programming for C++ developers. We live an asynchronous world and C++ libraries need to evolve to compensate for this fact (and catch up to .NET and Java in this regard both on the client and on the server...).  What's the story for C++ in the cloud?

A very small group of C++ developers inside Microsoft have started an incubation project to make native libraries that afford both developer productivity and performance and power - and for C++ developers. We love this! This is the Casablanca API and it takes full advantage of C++11.

This episode is dedicated to the Casablanca "dev lab" project with the hope that all of you will download and experiment with the API, vet it, push it, break it, provide feedback to speed up its maturation (it is alpha quality, of course (it's an incubation and this is the first release), so there will be a few bugs, but it's stable enough to be useful right now). Go get it!

What does Casablanca provide, exactly?

With Casablanca, you get support for doing things like developing REST services for Azure, or accessing them from clients via an HTTP library, sending JSON data, accessing Azure blob and queue storage, and using TCP for flexible networking needs, all in a library that takes advantage of modern C++.

Casablanca also gives you a convenient model for composing asynchronous operations. C++ 11 offers a whole new set of capabilities that can make dealing with asynchronous operations easy, and Casablanca takes advantage of that throughout.

Another aspect of Casablanca is its implementation of the actor programming model, which has proven itself useful in building reliable and scalable systems. (not familiar with the Actor Model, well, learn from the inventor of it here).


Table of Contents:

[00:00] GoingNative(); //Charles flies solo for this episode (Diego is on vacation). Quick chat about what's coming (new STL series (the person, not the library)), introduction to Casablanca, a modern C++ API (incubation) for asynchronous client/server computing (so, modern C++ for the cloud and the client)
 
[01:49] Charles has a conversation with Casablanca engineering team members Niklas Gustafsson and Steve Gates.

[44:20] ~GoingNative(); //Charles talks about Casablanca - please download the libraries and experiment, provide feedback, help vet this new (experimental) API.

]]> http://channel9.msdn.com/Shows/C9-GoingNative/GoingNative-8-Introducing-Casablanca-A-Modern-C-API-for-Connected-Computing Welcome to the 9th installment of GoingNative. Charles flies solo this time around as Diego is on a well-deserved break from work. At GoingNative 2012, Herb Sutter addressed the need for more general purpose standard C++ libraries - high level libraries - for use in modern computing. So, things like HTTP, REST, JSON are important today (and working with these technologies is not as easy as it should be in C++), not to mention simplifying asynchronous programming for C++ developers. We live an asynchronous world and C++ libraries need to evolve to compensate for this fact (and catch up to .NET and Java in this regard both on the client and on the server...).  What's the story for C++ in the cloud? A very small group of C++ developers inside Microsoft have started an incubation project to make native libraries that afford both developer productivity and performance and power - and for C++ developers. We love this! This is the Casablanca API and it takes full advantage of C++11. This episode is dedicated to the Casablanca "dev lab" project with the hope that all of you will download and experiment with the API, vet it, push it, break it, provide feedback to speed up its maturation (it is alpha quality, of course (it's an incubation and this is the first release), so there will be a few bugs, but it's stable enough to be useful right now). Go get it!What does Casablanca provide, exactly? With Casablanca, you get support for doing things like developing REST services for Azure, or accessing them from clients via an HTTP library, sending JSON data, accessing Azure blob and queue storage, and using TCP for flexible networking needs, all in a library that takes advantage of modern C++. Casablanca also gives you a convenient model for composing asynchronous operations. C++ 11 offers a whole new set of capabilities that can make dealing with asynchronous operatio 2722 http://channel9.msdn.com/Shows/C9-GoingNative/GoingNative-8-Introducing-Casablanca-A-Modern-C-API-for-Connected-Computing Mon, 30 Apr 2012 16:03:31 GMT http://channel9.msdn.com/Shows/C9-GoingNative/GoingNative-8-Introducing-Casablanca-A-Modern-C-API-for-Connected-Computing Charles Charles 17 http://channel9.msdn.com/Shows/C9-GoingNative/GoingNative-8-Introducing-Casablanca-A-Modern-C-API-for-Connected-Computing/RSS C++ Cloud DevLabs Parallel Patterns Library C++11 _techmeme Erik Meijer: Rx in 15 Minutes - Rx is Here!!!!! Reactive Extensions for .NET, Rx, is here!!!

Erik Mejier explains what Rx is and why it matters in 15 minutes or less! ]]> http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-Rx-in-15-Minutes Reactive Extensions for .NET, Rx, is here!!! Erik Mejier explains what Rx is and why it matters in 15 minutes or less! 789 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-Rx-in-15-Minutes Tue, 17 Nov 2009 20:53:00 GMT http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-Rx-in-15-Minutes Charles Charles 20 http://channel9.msdn.com/Blogs/Charles/Erik-Meijer-Rx-in-15-Minutes/RSS DevLabs Erik Meijer Programming Reactive Extensions Reactive Framework Rx Wolfgang Grieskamp and Keith Stobie: Spec Explorer - An Overview Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. It has just been released on DevLabs.

Here, architects Wolfgang Grieskamp and Keith Stobie join us to discuss the thinking behind Spec Explorer. You can see Spec Explorer in action here. What problems does the model-based approach to testing solve? How is Spec Explorer related to contractual programming (Spec#, .NET Contracts, etc)? What's the holy grail of this approach to advanced and efficient testing? Everything has a rich history and Spec Explorer is no exception. What is the history here? What's next?

Spec Explorer Blog: http://blogs.msdn.com/SpecExplorer

]]> http://channel9.msdn.com/Blogs/Charles/Wolfgang-Grieskamp-and-Keith-Stobie-Spec-Explorer-Overview Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. It has just been released on DevLabs.Here, architects Wolfgang Grieskamp and Keith Stobie join us to discuss the thinking behind Spec Explorer. You can see Spec Explorer in action here. What problems does the model-based approach to testing solve? How is Spec Explorer related to contractual programming (Spec#, .NET Contracts, etc)? What's the holy grail of this approach to advanced and efficient testing? Everything has a rich history and Spec Explorer is no exception. What is the history here? What's next?Spec Explorer Blog: http://blogs.msdn.com/SpecExplorer 1097 http://channel9.msdn.com/Blogs/Charles/Wolfgang-Grieskamp-and-Keith-Stobie-Spec-Explorer-Overview Tue, 27 Oct 2009 04:46:00 GMT http://channel9.msdn.com/Blogs/Charles/Wolfgang-Grieskamp-and-Keith-Stobie-Spec-Explorer-Overview Charles Charles 0 http://channel9.msdn.com/Blogs/Charles/Wolfgang-Grieskamp-and-Keith-Stobie-Spec-Explorer-Overview/RSS DevLabs Spec Explorer Testing SpecExplorer: Model-Based Testing made practicable Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing has been shown to greatly enhance productivity of test case creation, to ensure predictability of requirement coverage,  and to support lifecycle management and software updates. Models are typically written in C# and controlled by a configuration language which allows to express scenarios and test purposes. Microsoft itself chose Spec Explorer as a cornerstone of the effort to validate open protocol documentation, developing more than 200 test suites validating over 40,000 requirements for networking protocols in a production environment.

 

 

]]> http://channel9.msdn.com/Blogs/Peli/SpecExplorer-Model-Based-Testing-made-practicable Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing has been shown to greatly enhance productivity of test case creation, to ensure predictability of requirement coverage,  and to support lifecycle management and software updates. Models are typically written in C# and controlled by a configuration language which allows to express scenarios and test purposes. Microsoft itself chose Spec Explorer as a cornerstone of the effort to validate open protocol documentation, developing more than 200 test suites validating over 40,000 requirements for networking protocols in a production environment. Spec Explorer Home Page Spec Explorer Forums Spec Explorer Blog     681 http://channel9.msdn.com/Blogs/Peli/SpecExplorer-Model-Based-Testing-made-practicable Tue, 27 Oct 2009 04:45:00 GMT http://channel9.msdn.com/Blogs/Peli/SpecExplorer-Model-Based-Testing-made-practicable Peli de Halleux Peli de Halleux 6 http://channel9.msdn.com/Blogs/Peli/SpecExplorer-Model-Based-Testing-made-practicable/RSS DevLabs Languages Model Based Testing RiSE Testing Visual Studio 2010 Emre Kiciman and Ben Livshits - Doloto: Download Time Optimizer for Web 2.0 Apps Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of code, such as Bing Maps, Hotmail, etc. Doloto analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. ]]> http://channel9.msdn.com/Blogs/Peli/Doloto-Download-Time-Optimizer-for-Web-20-Apps Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of code, such as Bing Maps, Hotmail, etc. Doloto analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications. Download Doloto from DevLabs Doloto Home page @ MSR Doloto Forums The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1745 http://channel9.msdn.com/Blogs/Peli/Doloto-Download-Time-Optimizer-for-Web-20-Apps Mon, 05 Oct 2009 22:33:00 GMT http://channel9.msdn.com/Blogs/Peli/Doloto-Download-Time-Optimizer-for-Web-20-Apps Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/Doloto-Download-Time-Optimizer-for-Web-20-Apps/RSS Ajax DevLabs RiSE Software Engineering Research Web Mike Barnett - Getting started with Code Contracts in Visual Studio 2008 Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.

The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!!

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts. The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!! Contracts @ DevLabs: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx Contracts @ Microsoft Research: http://research.microsoft.com/contracts Contracts forums: http://social.msdn.microsoft.com/Forums/en-US/codecontracts/threads/  The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1398 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 Mon, 23 Feb 2009 22:40:00 GMT http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008 Peli de Halleux Peli de Halleux 11 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Code-Contracts-in-Visual-Studio-2008/RSS code contracts DevLabs RiSE Software Engineering Research SpecSharp Verification Visual Studio