Visual C++ in Visual Studio 2013 includes improvements for Windows App developers in the core language and libraries, as well in tooling, debugging and designers. This video will provide an overview of these new features in Visual Studio 2013 for C++ developers building Windows Store apps.
A short demo of the refactoring capabilities of Python Tools for Visual Studio. Python Tools for Visual Studio is a free and open source plug-in for Visual Studio 2010 from Microsoft’s Developer Division. PTVS enables developers to use all the major productivity features of Visual Studio to build Python code …
Spec# is an experimental programming system that seeks to push the envelope in specification and verification technology. The system includes the .NET object-oriented programming language Spec#, which is a superset of the C# language, adding type features like non-null types and contract features like pre- and postconditions and object invariants. …
In a debugging session, it is possible to view and explore the values of elements. It is also possible to modify those values in an effort to determine how a new value affects the outcome. In this video, Todd Miranda demonstrates how to use watch and immediate windows to test …
Pex is a white-box test generation tool for .NET. Starting from a hand-written parameterized unit test, Pex analyzes the program-under-test to determine relevant test inputs fully automatically. To this end, Pex executes the program multiple times with different inputs while monitoring the taken execution paths. Pex uses a constraint solver …
Sam Guckenheimer has been the chief customer advocate for VSTS, responsible for its end-to-end external design. He describes his book, Software Engineering with Microsoft Visual Studio Team System, as a framework for thinking about software projects in a way that can be directly tooled by VSTS. It presents essential theory …
