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 |
|
$99.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Linking Gender to Climate Change Impacts in the Global South
$119.99
What a Desi Girl Wants (Hardcover)
$14.24
Today Is Monday
$6.71
Quality Issues in the Management of Web Information
$109.99
Innovation, Economic Change and Technology Policies
$54.99
Communications and Networking
$54.99
Vibration Problems ICOVP 2007
$169.99
Intelligent Decision Technology Support in Practice
$84.99
Security, Clans and Tribes
$39.99
New Horizons in pro-p Groups
$109.99
Textsoziologie
$29.99
Configuration Spaces over Hilbert Schemes and Applications
$29.99
Interpenetrating Polymer Network: Biomedical Applications
$129.00
Hegel's 'Individuality'
$139.99
Street Art and Democracy in Latin America
$99.99
The Perverse Economy
$54.99
Proceedings of the International Conference on Emerging Smart Cities (ICESC2022)
$249.99
PI3K and AKT Isoforms in Immunity
$169.99
Strategisches Akquisitionsmanagement im Konzern
$44.99
Grundbegriffe der Volkswirtschaftslehre
$54.99
Technological Change In Agriculture
$109.99
Elektrische Kraftwerke und Netze
$379.99
Modernism and Charisma
$39.99
Labor Markets in Asia
$84.99
Praxishandbuch Personalmanagement fr Handwerksunternehmen
$59.99
Imms Outlines of Entomology
$109.99
Controlling
$69.99
Portfolio Assessment for the Teaching and Learning of Writing
$69.99
Psychosocial Scenarios for Pediatrics
$109.99
Pro WPF in C# 2008
$39.99
Arnold Sommerfeld
$69.99
Algorithmic Democracy
$89.00
Shifting Paradigms in Public Health
$109.99
Time Series Analysis, Modeling and Applications
$129.00
Begriffsreprsentationen im Gedchtnis
$49.99
Ring Theory
$34.99
Buddhist Voices in School
$49.99
ESL Models and their Application
$84.99
Cosmetic and Reconstructive Facial Plastic Surgery
$129.99
Optimization of Human Cancer Radiotherapy
$54.99
