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
The Delta Project
$39.99
Education and Well-Being
$39.99
Empathy & Compassion Grades PreK-K
$42.00
Body Piercing and Identity Construction
$39.99
Spektralanalytische Untersuchungen von Haarfarben
$59.99
Signal Propagation on Interconnects
$109.99
Advanced Dairy Chemistry Volume 3
$74.99
Frauen und Medien
$64.99
Sublinear Computation Paradigm
$59.99
Synthetic Organic Chemistry
$39.99
Automorphic Forms
$109.99
Trends in Bank Credit and Finance
$109.99
Innovation, Arbeit und Umwelt
$59.99
Laser Interstitial Thermal Therapy in Neurosurgery
$159.99
New Challenges in Entrepreneurship and Finance
$54.99
Global Competitiveness and Innovation
$109.99
Auditory Signal Processing
$169.00
Stability and Transport in Magnetic Confinement Systems
$169.99
Intensivtraining Produktion, Einkauf, Logistik und Dienstleistung
$39.99
Climate and Weather of the Sun-Earth System (CAWSES)
$169.99
Systems of Nonlinear Partial Differential Equations
$84.99
Jahresbericht ber die Beobachtungs-Ergebnisse
$59.99
International Regulation of Underwater Sound
$84.99
Analysis of Phylogenetics and Evolution with R
$139.99
Current Distributions and Electrode Shape Changes in Electrochemical Systems
$109.99
Adorno and Art
$54.99
Geometry of Knowledge for Intelligent Systems
$84.99
Genetic Diversity in Horticultural Plants
$169.99
Nachhaltigkeitsmanagement im Gesundheitswesen
$17.99
Light Scattering from Microstructures
$84.99
Die Verbreitetsten Pflanzen Deutschlands
$59.99
Wireless World in 2050 and Beyond: A Window into the Future!
$84.99
Sustainable Cities
$49.99
Anthropocene Poetry
$139.99
The Internet of Things
$169.00
Algorithms and Computation
$109.99
Modern Deep Learning for Tabular Data
$59.99
Ethical Dimensions of the Economy
$109.99
Uli, der Pchter
$59.99
Effective Benchmarking
$169.99
