'Code contracts' presentation slideshows

Encouraging Effective Contract Specifications

Contract.Requires (amount > 0.0); Contract.Ensures (Balance == Contract.OldValue (Balance) + amount ); Contract.Invariant (Balance > 0.0);. Encouraging Effective Contract Specifications. Todd Schiller , Kellen Donohue, Forrest Coward, Michael Ernst University of Washington.

416 views • 41 slides

Overview of .NET Framework

454 views • 33 slides

The smart programming assistant

The smart programming assistant. Francesco Logozzo Researcher Microsoft Research, Redmond 3-403. What is it?. Vision for modern programming. Developed at RiSE, Microsoft Research. Real-time feedback. Report tricky bugs and regressions. Code improvements.

343 views • 26 slides

The Dafny program verifier

The Dafny program verifier. K. Rustan M. Leino Research in Software Engineering Microsoft Research, Redmond. Victoria University of Wellington Wellington, NZ 13 April 2010. Some RiSE tools at Microsoft. SLAM, Static Driver Verifier (SDV) Sage Code Contracts for .NET Clousot Pex Z3.

446 views • 25 slides

494 views • 24 slides

Visual Studio 2010 and .NET Framework 4 Training Workshop

366 views • 22 slides

Eiffel

295 views • 3 slides