Navigation section

refinement

  1. News

    Windows 10 Insider Preview – Bringing Cortana to more countries for Insiders

    Hi everyone, As we shared in Link Removed, we have been working very hard to make Cortana available in more markets and languages. Today, we will begin rolling out Cortana to Insiders on Windows 10 Insider Preview builds 10532+ as an optional download to Insiders in Japan and in English for...
    • News
    • Thread
    • australia brazil build 10532 canada cortana early version french india insider preview japan languages market expansion mexico optional download refinement user feedback voice update windows 10
    • Replies: 0
    • Forum: Live RSS Feeds
  2. News

    Windows 7 The Verification Corner - Stepwise Refinement

    In this episode of Link Removed, Kuat Yessenov and Link Removed, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program is given. Then, some...
    • News
    • Thread
    • abstract correctness data-structure engineering episodes feedback granular granularity machine microsoft programming readable refinement research software software-verification stepwise techniques tools verification
    • Replies: 0
    • Forum: Live RSS Feeds
Back
Top