Program development by specification and transformation [electronic resource] : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner (eds.)
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 we...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1993.
|
| Series: | Lecture notes in computer science ;
680. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.D47 P766 1993
|
|---|---|
| QA76.76.D47 P766 1993 | Available |