Algebraic Methods II: Theory, Tools, and Applications

Pirmais vāks
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.

Lietotāju komentāri - Rakstīt atsauksmi

Ierastajās vietās neesam atraduši nevienu atsauksmi.

Saturs

PART
5
83
7
87
11
89
15
Tool support for requirements engineering
36
An outline of a simple example
44
Conclusions
53
Using Transformations to Verify Parallel Programs
55
Implementation techniques 8 Concluding remarks
121
Acknowledgements Literature
122
Requirements and Design
125
COLD
201
Inheritance in COLD
277
Algebraic Specification
337
PART IV
339
341
342

Experiences with Combining Formalisms in VVSL
83
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 MPLw
92
COLDK extensions
93
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
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
361
358
PSF 3 The transit node
360
Design of the specification 5 The specification 6 Relation to the ERAE specification 7 Discussion 8 Acknowledgements 9 References
361
Design of a Specification Language by Abstract Syntax Engineering 1 Introduction
363
Abstract syntax design
365
An open problem about the methodology of language design
366
On the role of software support for algebraic specifications in abstract syntax engineering
369
Preliminaries for the BMASF specification
370
Specification of BMASF
374
102
380
Models of BMASF
390
Acknowledgement References
393
A Case Study
395
Introduction 2 The transit node case study
396
comparisons between the two specifications References Appendix
397
Subject Index 433
Autortiesības

Citi izdevumi - Skatīt visu

Bibliogrāfiskā informācija