Formal Methods

CryoLife to Participate in 3rd Annual Benchmark Company, LLC One-on-One Investor Conference

23 May 2012

ATLANTA, May 23, 2012 /PRNewswire/ -- CryoLife, Inc. (NYSE: CRY), a leading medical device company focused on cardiac and vascular surgery, announced today that it will participate in the upcoming 3rd ...

Controversial prostate cancer screening advice made formal

22 May 2012

The popular screening test catches cancer, but federal panel says it causes more health problems than it prevents

How to Advance Lean Software Development (Beyond the 'Toyota Way')

22 May 2012

The Japanese word Muda loosely translates as waste. The core element of lean manufacturing is to eliminate waste--or, in more North American terms, to "cut the fat." While applying lean concepts to manufacturing may seem straightforward, there is little agreement on what that term even means for software, or if it applies.