Author:
Achatz Klaus,Partsch Helmuth
Reference9 articles.
1. Achatz, K. and Partsch, H.A. (1996) From Descriptive Specifications to Operational ones: A powerful transformation rule, its applications and variants. Faculty for Informatics, University of Ulm, Nr. 96–13, Ulmer Informatik-Berichte, 1996.
2. Bauer, F.L. and Berghammer, R. and Broy, M. and Dosch, W. and , F. and Gnatz, R. and Hangel, E., Hesse, W. and Krieg-Brückner, B. and Laut, A. and Matzner, T. and Möller, B. and Nickl, F. and Partsch, H. and Pepper, P. and Samelson, K. and Wirsing, M. and Wössner, H. (1985) The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183, Springer, Berlin.
3. Bauer, F.L. and Möller and B., Partsch and H., Pepper, P. (1989) Programming by formal reasoning–computer-aided intuition-guided programming. IEEE Transactions on Software Engineering 15: 2, 165–180.
4. Boiten, E.A. 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. The Computer Journal 35: 6, 547–554.
5. Broy, M. and Wirsing, M. (1980) Program development: from enumeration to backtracking. Information Processing letters 10:4, 5, 193–197.