Stock image for illustration purposes only - book cover, edition or condition may vary.
Specification Case Studies in RAISE
. Ed(S): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard
€ 127.89
FREE Delivery in Ireland
Description for Specification Case Studies in RAISE
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
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 a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, ... Read more
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 a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer London Ltd United Kingdom
Number of pages
420
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
405
Place of Publication
England, United Kingdom
ISBN
9781852333591
SKU
V9781852333591
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Specification Case Studies in RAISE