Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Program Development by Specification and Transformation

Name: Program Development by Specification and Transformation
Brand: Springer, Berlin
SKU: 01565644
Price: 41293 HUF
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

285 b

41 293 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Tout le monde magnetiseur Fernand Girod

Adobe ePub DRM

4 019 Ft

La vida secreta de las pupas Ariadna Garcia Turon

Adobe ePub DRM

3 076 Ft

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

Blu-ray

30 826 Ft

LAS PESADILLAS DE MATíAS RICARDO ALCANTARA

Hardback

3 062 Ft

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

Audio CD

6 691 Ft

Neuro-Yoga Anna Trökes

Hardback

8 289 Ft

Zirkularitat zwischen Bulimarexie und Borderline-Syndrom Monique Vercoulen

Paperback

26 386 Ft

Důvěrně a otevřeně o sexualitě Nora Donátová

Paperback

1 845 Ft

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.