3. Agenda 09:30 - 10:45 .NET Code contracts and PEX 10:45 - 11:00 Coffee break 11:00 - 12:15 Encapsulation: The Good, The Bad, The Ugly 12:15 - 13:15 Lunch break 13:15 - 14:30 Good Time, Bad Time and Real Time in System Software; Extendable Architecture for Intelligent Navigation System 14:30 - 14:45 Coffee break 14:45 - 16:00 Java EE 6 or… Enterprise Application development just got easier 16:00 - 16:15 Q&A, feedback