Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Program Development by Specification and Transformation

Name: Program Development by Specification and Transformation
Brand: Springer, Berlin
SKU: 01565644
Price: 107.29 EUR
Availability: InStock
Author: Berthold Hoffmann
ISBN: 9783540567332

The PROSPECTRA Methodology, Language Family, and System

Berthold Hoffmann

Bernd Krieg-Brückner

Language

English

Book Paperback

Libristo code: 01565644

Publishers Springer, Berlin, November 1992

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram developme... Full description

Libristo code: 01565644

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Tout le monde magnetiseur Fernand Girod

Adobe ePub DRM

11.89 €

La vida secreta de las pupas Ariadna Garcia Turon

Adobe ePub DRM

9.09 €

Sailor Moon - Staffel 2 (Episoden 47-89) Kunihiko Ikuhara

Blu-ray

84.49 €

LAS PESADILLAS DE MATíAS RICARDO ALCANTARA

Hardback

8.99 €

Zillertaler Geigenfest. Folge.11, 1 Audio-CD Various

Audio CD

18.29 €

Neuro-Yoga Anna Trökes

Hardback

24.00 €

Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen

Paperback

38.00 €

This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the development processitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation (meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic community working in this andrelated areas and those members of the industrial communityinterested in the use of formal methods.