Dato: 19-01-2011
Tidspunkt: 19.30 - 22.00
Emne: Design By Contract with .NET Code Contracts
Virksomhed: ?
UPDATE: På grund af vi ikke har kunne finde et sted at afholde mødet er det udskudt indtil videre.
-----
Så er det snart tid til vores første månedsmøde i 2011.
I januar kan du møde Daniel González García der er udvikler ved Vertica A/S i Århus.
Daniel er spanier men taler glimrende engelsk. Her er hans intro til aftenens emne:
Design By Contract with .Net Code Contracts
Your code can do many things. Does "the world" what your code does? Does "the world" know when and how make use of your code? Do you know your code does what you think it does? Can you prove it?
Refreshing the key concepts of Design by Contract and showing how those are implemented by Microsoft in the .NET Framework are the main objectives of the session. Writing bug-free software and correctness proofing your programs might be one step closer.
TILMELD DIG HER!!!
Vi mangler et sted at afholde mødet, så hvis du har plads til os vil vi meget gerne høre fra dig!