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
Big Visual Data Analysis
$39.99
Anselm Kiefer: Die Himmelspalste
$74.99
The Definitive Guide to SugarCRM
$39.99
Federation over the Web
$54.99
COMPUTATIONAL INTELLIGENCE IN COMPLEX DECISION MAKING SYSTEMS
$119.00
Ecological Comparisons of Sedimentary Shores
$39.99
Life in the Cold
$219.99
Angebotspreisfindung bei umkmpften Auftrgen
$69.99
The Science of the Child in Liberal Italy
$129.99
Dynamik schwingungsfhiger Systeme
$29.99
Handwrterbuch zur politischen Kultur der Bundesrepublik Deutschland
$69.99
Noncommutative Functional Calculus
$39.99
Database and Expert Systems Applications
$59.99
The Reception of Darwinism in the Iberian World
$109.99
Somatopsychische Gynkologie
$59.99
Advanced Information Systems Engineering Workshops
$54.99
Web-Age Information Management
$54.99
Dynamics 365 Field Service
$64.99
Water Supply Management
$129.00
Pro .NET 4 Parallel Programming in C#
$69.99
A History of Italian Wine
$139.99
Die Amerikanisierung der Wiener Suburbia?
$64.99
Bernard Shaw, Sean OCasey, and the Dead James Connolly
$139.99
Quantitative Evaluation of Systems
$54.99
Folk Tales Grades K-3
$105.00
Die chemische Untersuchung und Beurtheilung des Weines
$59.99
Excitation of Plasmons and Interband Transitions by Electrons
$99.00
Uncertainty Quantification and Stochastic Modelling with EXCEL
$129.99
Practical MongoDB
$44.99
Der Bauratgeber
$84.99
A Box Can Be Many Things
$3.71
Transactions and Database Dynamics
$39.99
Mechanics of Nanomaterials and Polymer Nanocomposites
$199.99
My Books Summer & Summer Express Workbook Grade PreK Nonfiction 5-Pack
$35.95
Psychophysiologie der Kognition
$9.99
Handbook of Behavioral Medicine
$429.00
Philosophy of Economics
$84.99
Rotating Machinery, Structural Health Monitoring, Shock and Vibration, Volume 5
$259.00
Datensicherheit
$49.99
Recent Advances in Rock Magnetism, Environmental Magnetism and Paleomagnetism
$169.99
