Copied Specification Case Studies in RAISE
Specification Case Studies in RAISE
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, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$109.99 | $109.99 |
|
$109.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
John Buridans Questions on Aristotles De Anima Iohannis Buridani Quaestiones in Aristotelis De A
$139.99
Der Internationale Handel
$49.99
New Tools for Nonlinear PDEs and Application
$179.99
Sociology in Serbia
$49.99
The Experience of Being First in Family at University
$54.99
Biomaterials- and Microfluidics-Based Tissue Engineered 3D Models
$169.99
A Conceptual Model for Designing Recycled Aggregate Concrete for Structural Applications
$109.99
Climate Change, Vulnerabilities and Adaptation
$169.99
Applications of Bioinformatics in Rice Research
$149.00
Leadership in Healthcare
$139.99
CAPD/CCPD in Children
$219.99
Introduction to Applied Mathematics
$49.99
High Performance Computing in Science and Engineering ' 04
$99.00
Spring Cloud Data Flow
$79.99
Contesting Stories of Childhood Sexual Abuse
$39.99
Architecture of Computing Systems - ARCS 2009
$54.99
Understanding SQL
$29.99
Introduction to Fuzzy Reliability
$129.00
Creative Cross-Disciplinary Entrepreneurship
$109.99
Intelligent System Design
$169.00
Die Dynamische Kompressionsplatte DCP
$59.99
Graph-Theoretic Concepts in Computer Science
$54.99
Applying Predictive Analytics
$84.99
Radiology of Lymphomas
$39.99
Your Passport to a Career in Bioinformatics
$99.00
Air Pollution Modeling and its Application XIV
$169.00
Stressbewltigung durch Pflegekrfte
$49.99
Arbeitsbuch Finanzwissenschaft
$34.99
Current Diagnosis & Treatment
$109.99
Recent Advances in Composites Engineering and Research
$199.99
Gesetz zur Bekmpfung der Geschlechtskrankheiten vom 18. Februar 1927
$44.99
Nichtparametrische Analyse und Prognose von Zeitreihen
$59.99
Viral Marketing
$49.99
Ballet Cat: The Totally Secret Secret
$4.46
Hals-Nasen-Ohrenheilkunde fr den Allgemeinarzt
$59.99
Advances in Lead-Free Piezoelectric Materials
$249.99
Deutschland zwischen europischer Integration und Souvernismus La Germania tra integrazione europ
$149.99
Funktionentheorie
$19.99
Politics, Gender and Conceptual Metaphors
$109.99
Oswald Mosley and the New Party
$54.99
