Posts by: Matthias Jauernig

1. Comparison: DbC and TDD – Part 4 February 14, 2010

   Posted in DbC, Software Design, TDD.

   2 comments
2. Comparison: DbC and TDD – Part 3 February 6, 2010

   Posted in Code Contracts, DbC, Software Design, TDD.

   No comments
3. Comparison: DbC and TDD – Part 2 January 30, 2010

   Posted in Code Contracts, DbC, Software Design, TDD.

   1 comment
4. Comparison: DbC and TDD – Part 1 January 23, 2010

   Posted in Code Contracts, DbC, Software Design, TDD.

   No comments
5. Specification: By Code, Tests and Contracts January 17, 2010

   Posted in Code Contracts, DbC, Software Design, TDD.

   3 comments
6. Code Contracts: Video on the static checker December 24, 2009

   Posted in Code Contracts.

   2 comments
7. Rx: Event composition – single-valued November 28, 2009

   Posted in .NET.

   2 comments
8. Rx: Event composition – multi-valued November 28, 2009

   Posted in .NET.

   3 comments
9. Rx: Bing Translate Example November 28, 2009

   Posted in .NET.

   2 comments
10. News on Rx (Reactive Extensions for .NET) November 27, 2009

    Posted in .NET.

    No comments
11. PDC09: Live Framework… news? November 27, 2009

    Posted in Live Framework, Live Mesh.

    No comments
12. Silverlight 4 Beta released! November 18, 2009

    Posted in Silverlight.

    No comments
13. Reactive Framework: it’s here! November 18, 2009

    Posted in .NET.

    1 comment
14. Reactive Framework (Rx) – first look October 15, 2009

    Posted in .NET, Design patterns.

    1 comment
15. Is the Specification Pattern obsolete? October 8, 2009

    Posted in Architecture, C#, Design patterns.

    4 comments
16. Code Contracts #8: Sandcastle integration September 13, 2009

    Posted in Code Contracts.

    No comments
17. New Code Contracts Release September 13, 2009

    Posted in Code Contracts.

    No comments
18. Code Contracts #7: Relation to Guard classes August 12, 2009

    Posted in Code Contracts.

    1 comment
19. new CloudApp(): Rating Stress Simulator July 11, 2009

    Posted in Business, Cloud Computing, Windows Azure.

    No comments
20. My Top-3 development tools May 17, 2009

    Posted in Development, Visual Studio.

    No comments
21. Code Contracts #6: Modelling constraints and state May 10, 2009

    Posted in Code Contracts.

    7 comments
22. Code Contracts #5: Method purity May 2, 2009

    Posted in Code Contracts.

    5 comments
23. Code Contracts #4: Modelling implications April 4, 2009

    Posted in Code Contracts.

    2 comments
24. Released: Silverlight 3 Beta 1, ASP.NET MVC 1.0 March 18, 2009

    Posted in ASP.NET MVC, Silverlight.

    No comments
25. Code Contracts #3: Contract checking March 16, 2009

    Posted in .NET, Code Contracts.

    5 comments