Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baase S. |1978| Computer Algorithms: introduction to Design and Analysis. Addison-Wesley.
Balzer R. |1981| Transformational Implementation: an example. IEEE Trans. on Soft. Eng., Vol SE-7, 3–14.
Bauer F.L. |1976| Programming as an evolutionary process. Proc. 2-nd Int. Conf. on Soft. Eng., San Francisco, 223–234.
Bauer F.L. and Wössner H. |1982| Algorithmic Language and Program Development. Springer Verlag.
Burstall R.M. and Darlington J.A. |1977| A transformation system for developing recursive programs. J. ACM 24, 44–67.
Darlington J.A. |1976| A synthesis of several sorting algorithms. Res. Rep. N.23, Dpt. of A.I., Un. of Edinburgh.
De Millo R.A., Lipton R.J. and Perlis A.J. |1979| Social processes and proofs of theorems and programs. Comm.s ACM, Vol 22–5, 271–280.
Dijkstra E.W. |1972| Notes on structured programming in Structured Programming, Academic Press.
Gerhart S.L. and Yelowitz L. |1976| Control Structure abstractions of the Backtracking Programming Technique. IEEE Trans. on Soft Eng.
Manna Z. |1976| Mathematical Theory of Computation. MC Graw-Hill.
Manna Z. and Waldinger R. |1979| Synthesis: dreams = programs. IEEE Trans. Soft. Eng., SE-5.
Naur P. |1982| Formalization in program development. Bit, 22, 437–453.
Petrone L. et alii |1982| DUAL: an interactive tool for developing documented programs by step-wise refinements. Proc. 6-th Int. Conf. Soft. Eng., Tokyo, 350–357.
Petrone L. et alii |1983| Program development and documentation by step-wise transformations: an interactive tool. Proc. Int. Comp. Symp. Nürnberg.
Scherlis W.L. and Scott D.S. |1983| First steps towards inferential programming. IFIP Congress, 199–212.
Waters R.C. |1979| A Method for analyzing loop programs. IEEE Trans. Soft. Eng., 5.
Wirth N. |1971| Program development by step-wise refinements. Comm. ACM, 14, 221–227.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petrone, G., Petrone, L. (1985). Program development and documentation by informal transformations and derivations. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_15
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive