Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
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...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
680 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Program development by specification and transformation, the PROSPECTRA methodology, language family, and system, Berthold Hoffmann, Bernd Krieg-Brückner, eds, Berlin, Springer-Verlag, 1993, 1 vol. (XIV-623 p.), Lecture notes in computer science, 0-387-56733-X • Program Development by Specification and Transformation, Texte imprimé, 9783662211588 |
Taula de continguts:
- Algebraic specification
- Development of implementation
- Distributed systems
- Transformation
- Verification
- A language family for programming and meta-programmming
- PAnndA-S reference manual
- Semantics of PAnndA-S
- PAnndA reference manual
- PAnndA standard types and predefined type schemata
- TrafoLa-S reference manual
- Controla reference manual
- TrafoLa-H reference manual
- Uniform transformational development
- Guided tour of the PROSPECTRA System
- Controller
- Library manager
- PAnndA-S editor
- PAnn dA transformer shell
- Attributes for transformations and proof
- Completion subsystem
- Proof subsystem
- The TrafoLa-S editor
- Translators from TrafoLa to SSL and TrafoLa-H
- TrafoLa-H subsystem
- System development components
- Annotated bibliography of the PROSPECTRA project.