Copied Program Development by Specification and Transformation
Program Development by Specification and Transformation
This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitivetransformation and verification, development of transformation (meta-) programs, version management, and so on, with an initial libraryof specifications and a sizeable collection of implemented transformations. The intended audience for this documentation is the academic community working in this and related areas and those members of the industrial community interested in the use of formal methods.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Narratives of Diaspora
$39.99
Vector Control of Three-Phase AC Machines
$149.00
An Introduction to Programming with Mathematica
$54.99
Chemisch-Technische Vorschriften: Ein Handbuch der Speziellen Chemischen Technologie Insbesondere f
$49.99
Ein Kapitalmarktmodell unter Ambiguitt
$59.99
Wie in der Psychotherapie Lsungen entstehen
$29.99
Discrete Structural Optimization
$109.99
Landslide Science and Practice
$169.99
Zur Organisation des Grndungserfolgs
$59.99
Plankton Ecology of the Southwestern Atlantic
$189.00
Synthese der Zellbausteine in Pflanze und Tier
$59.99
MRI Atlas of Orthopedics and Traumatology of the Knee
$84.99
From Centralised to Decentralising Global Economic Architecture
$109.99
High-performance Packet Switching Architectures
$169.99
Games in Operations Management
$129.00
Postcolonial Discipleship of Embodiment
$139.99
Monetre Modelle der Wechselkurserklrung
$49.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Die Drehmaschinen
$49.99
Classic Goosebumps: Go Eat Worms!
$5.99
kologische konomie
$49.99
Talk about Prayer
$54.99
Familiensoziologie
$44.99
Reproductive Health and Maternal Sacrifice
$99.99
Anleitung zur Harnuntersuchung
$59.99
Intuitionistic Fuzzy Logics
$109.99
Gutachtenkolloquium 15
$79.99
Das deutsche und chinesische Arbeitsrecht The German and Chinese Labour Law
$49.99
Entscheidungsmodelle fr Forschung und Entwicklung
$59.99
Neuropsychiatric Systemic Lupus Erythematosus
$169.99
Citymanagement
$69.99
Lebensdaueruntersuchungen an Kegelradgetrieben
$69.99
GI 13. Jahrestagung
$69.99
Schweitechnisches Konstruieren und Fertigen
$84.99
Heavy-Duty-, On- und Off-Highway-Motoren 2022
$149.99
Microchip Capillary Electrophoresis Protocols
$109.99
Delinquent Youth in a Transforming China
$159.99
Wie allein sind Alleinerziehende?
$59.99
Brain and Human Behavior
$84.99
Complex System Maintenance Handbook
$219.99
