Author: C.; Janowski, Dang Van, H.; George, R., T.; Moore ISBN: 1852333596 / 9781852333591 Year: 2002 Availability: In Stock
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cove...