Name: program development by specification and transformation
Price: 99.05 EUR
Availability: InStock
ISBN: 9783540567332

Select your country

Americas

Europe

Rest of the world

portada program development by specification and transformation

program development by specification and transformation

Type

Physical Book

Publisher

Springer

Language

English

Pages

623

ISBN

354056733X

ISBN13

9783540567332

Synopsis "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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews