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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Politics and Economics
$39.99
Erfolgreiches Change Management in der Post Merger Integration
$59.99
General Grard und die Pfalz
$59.99
Signals and Images
$169.99
Collision- and Interaction-Induced Spectroscopy
$329.99
Verb Phrase Syntax: A Parametric Study of English and Spanish
$169.99
Unmasking the Science of Superpowers
$3.71
Leitfaden Auenwirtschaft
$59.99
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
$39.99
Subjects of Security
$39.99
Multilevel Urban Governance and the 'European City'
$54.99
Behavioral Aspects of Neuroendocrinology
$84.99
Organic Solid-State Lasers
$109.99
Landscapes of Leisure
$109.00
High Resolution Focused Ion Beams: FIB and its Applications
$169.00
Soviet Strategy and Islam
$39.99
Illustrirte Mythologie
$44.99
Methane Conversion by Oxidative Processes
$84.99
Steuervorteile mit Kindern
$29.99
The Classical Era
$109.99
Adopting Agile Across Borders
$54.99
A Systemic Transition to Circular Economy
$159.99
Long Continental Records from Lake Baikal
$109.99
Nanovaccines
$84.99
Co-Gruppen-Demokratie
$79.99
Practical Treatment Options for Chronic Pain in Children and Adolescents
$99.99
Compiler Construction
$39.99
A Mathematical Journey to Relativity
$119.99
Constructing Usable Web Menus
$19.99
Leadership in Democracy
$54.99
Schizosaccharomyces pombe
$119.00
Artificial Intelligence and Dynamic Systems for Geophysical Applications
$169.99
Nanobiotechnology in Agriculture
$149.00
Theory and Applications of Time Series Analysis
$199.99
Endothelial Mechanisms of Vasomotor Control
$109.99
Human Immunodeficiency Virus Reverse Transcriptase
$169.99
Recent advances in Power Systems
$189.00
Kants Theory of Knowledge
$54.99
Modern Cryptography Primer
$84.99
From Post-Democracy to Neo-Democracy
$54.99
