Where can I find a good tutorial for Spec Explorer (newbie)?
Here are a couple of links, the first of which is full of information, the second is more than what you are looking for:
http://research.microsoft.com/apps/pubs/default.aspx?id=77383
http://msdn.microsoft.com/en-us/devlabs/ee692301.aspx
I created a tutorial for Spec Explorer using Visual Studio at http://rasmus.selsmark.dk/post/2013/09/16/Spec-Explorer-Tutorial-for-Visual-Studio-2012.aspx .
Visual Studio 2012 covers, but should also work for Visual Studio 2010.
Spec VS.NET
Source: https://habr.com/ru/post/1754769/More articles:how to use Linq to generate a unique random number - linqwhat is the difference between short signed ints and signed ints - cJava: distribution of power law - javaВызовите функцию плагина smarty непосредственно из PHP - phpКак уникально диктовать по значению? - pythonSQL is needed to get a record with two matching records - sqlCakePHP hostname routing - dnswcf client ip as ipv6 - c #https://translate.googleusercontent.com/translate_c?depth=1&pto=aue&rurl=translate.google.com&sl=ru&sp=nmt4&tl=en&u=https://fooobar.com/questions/1754773/is-there-a-way-to-correctly-concatenate-two-arbitrary-xpath-expressions-to-result-in-a-new-valid-xpath-expression&usg=ALkJrhg7SeeOxsBV_uBqkwHw5kgnVEJWXQWhat is the difference between string.find and string.match in Lua? - stringAll Articles