D. Bjorner and C.B. Jones, "The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)" (Repost)
Publisher: Springer | ISBN: 3540087664 | edition 1978 | PDF | 398 pages | 14,97 mb
The purpose of this volume is to provide a summary of a body of work which has reached a relativeiy stable state. The work is, however, far from complete (in the sense - even - that the authors whose work is presented here feel that they have satisfactory solutions to the problems they set out to solve.) Notwithstanding their own recognition of difficulties and shortcomings in the current presentation, the authors hope that what has been achieved may be of use to others. Furthermore, a summary of the results of any significant effort may be hoped to stimulate the work of researchworkers.