...Thats debatable, but he's probably turned to fulltime usage of DXM, that can only account for this 'mental' behaviouralproblems. www.software-kinetics.co.uk General Re: SB needs closing down member Vasudevan Deepak...
http://www.codeproject.com/Lounge.aspx?msg=2582339#xx2582339xx
...degraded services; so the operations logic survives one failure but not two. Type-checking does not find such behaviouralproblems, but other static analyses such as modelchecking should be applicable. To summarize, type-checking operations...
http://research.microsoft.com/en-us/um/people/karthb/pubs/MSR-TR-2008-61.pdf