Category Archives: Technology

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

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

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

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

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

   Posted in Code Contracts.

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

   Posted in .NET.

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

   Posted in .NET.

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

   Posted in .NET.

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

   Posted in .NET.

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

   Posted in Live Framework, Live Mesh.

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

   Posted in Silverlight.

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

    Posted in .NET.

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

    Posted in .NET, Design patterns.

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

    Posted in Architecture, C#, Design patterns.

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

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in Business, Cloud Computing, Windows Azure.

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

    Posted in Development, Visual Studio.

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

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in Code Contracts.

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

    Posted in ASP.NET MVC, Silverlight.

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

    Posted in .NET, Code Contracts.

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

    Posted in .NET, Code Contracts.

    2 comments
24. Code Contracts #1: Basic information March 14, 2009

    Posted in .NET, Code Contracts.

    3 comments
25. Live Framework updated March 13, 2009

    Posted in Live Framework.

    No comments