Algebraic Methods II: Theory, Tools, and ApplicationsJ. A. Bergstra, Loe M. G. Feijs Springer-Verlag, 1991 - 434 lappuses "The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394"--PUBLISHER'S WEBSITE. |
Saturs
PART | 5 |
Using Transformations to Verify Parallel Programs | 55 |
7 | 61 |
the VDM Specification Language 3 VVSL combining VDM and temporal logic | 87 |
the language of temporal logic | 89 |
Transforming VVSL to COLDK | 90 |
Transforming VVSL to the language of MPL | 92 |
COLDK extensions | 93 |
Acknowledgements Literature | 122 |
38 | 123 |
Requirements and Design | 125 |
Where can I Get Gas Round Here? | 143 |
83 | 147 |
85 | 185 |
COLD | 201 |
Inheritance in COLD | 277 |
Transforming temporal formulae | 95 |
Transforming definitions of nonatomic operations | 96 |
Experiences with the application of VVSL | 98 |
Conclusions and final remarks Acknowledgements | 99 |
References | 100 |
Appendix | 102 |
A Metaenvironment for Generating Programming Environments 1 Introduction | 105 |
15 | 107 |
ASF+SDF 3 Global organization of a metaenvironment for ASF+SDF | 109 |
The representation of logical syntax | 113 |
Looking inside the generic syntaxdirected editor | 115 |
Editing in the metaenvironment | 117 |
Implementation techniques 8 Concluding remarks | 121 |
87 | 301 |
89 | 335 |
PART IV | 339 |
Relation to the ERAE specification | 361 |
On the role of software support for algebraic specifications in abstract | 369 |
40 | 377 |
90 | 379 |
105 | 380 |
Models of BMASF | 390 |
A Case Study | 395 |
Using Transformations to Verify Parallel Programs | 396 |
comparisons between the two specifications | 421 |
Autortiesības | |
Citi izdevumi - Skatīt visu
Algebraic Methods II: Theory, Tools and Applications, 2. sējums Jan A. Bergstra,Loe M.G. Feijs Ierobežota priekšskatīšana - 1991 |
Algebraic Methods II: Theory, Tools and Applications Jan A. Bergstra,Loe M.G. Feijs Priekšskatījums nav pieejams - 1991 |
Algebraic Methods II: Theory, Tools and Applications Loe M. G. Feijs,Jan A. Bergstra Priekšskatījums nav pieejams - 2014 |