Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article | Conference or workshop item
Number of items: 4.
Article
Boiten, Eerke Albert and Partsch, H.A. and Tuijnman, D. and Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Boiten, Eerke Albert and van den Brand, M.G.J. and van Diepen, N.W.P. and Koster, C.H.A. and Partsch, H.A. and Völker, N. (1992) USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 101-123. ISSN 0324-6000. (Full text available) |
Conference or workshop item
Boiten, Eerke Albert and Geerling, A.M. and Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: Computer Science in the Netherlands 1993, 1993, Utrecht. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Partsch, H.A. and Boiten, Eerke Albert (1991) A Note on Similarity of Specifications and Reusability of Transformational Developments. In: Möller, Bernhard, ed. Constructing Programs from Specifications : Proceedings of the IFIP TC2/WG 2.1 Working Conference. North-Holland, Amsterdam pp. 71-89. ISBN 0-444-89184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |