Skip to content


Category Archives: .NET

  1. Getting encapsulated type of Nullable August 8, 2010

    Posted in C#.

    No comments
  2. Code Contracts Survey May 25, 2010

    Posted in Code Contracts.

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

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

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

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

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

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

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

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

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

    Posted in Code Contracts.

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

    Posted in .NET.

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

    Posted in .NET.

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

    Posted in .NET.

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

    Posted in .NET.

    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. Code Contracts #6: Modelling constraints and state May 10, 2009

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in ASP.NET MVC, Silverlight.

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

    Posted in .NET, Code Contracts.

    5 comments
  24. Code Contracts #2: Code transformation March 15, 2009

    Posted in .NET, Code Contracts.

    2 comments