Navigation section
stepwise
About this tag
The stepwise tag on WindowsForum.com covers content related to stepwise refinement, a software development methodology where a program is constructed by gradually adding detail through successive levels of abstraction. This approach, demonstrated by Microsoft Research in the Verification Corner series, allows programmers to design software in finer granularity, starting from a high-level description, then pseudo-code, and finally efficient data structures. The tag is relevant for developers interested in structured programming, formal verification, and software engineering techniques that emphasize incremental design and correctness.
-
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 structures engineering episode feedback granularity machine microsoft programming readable refinement research software software verification stepwise techniques tools verification
- Replies: 0
- Forum: Live RSS Feeds