Specification Case Studies in Raise

by H. Dang Van and Richard Moore

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 cover... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1852333596
• ISBN13: 9781852333591
• Release Date: February 2002
• Publisher: Springer
• Length: 405 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"