Reuse of ASF+SDF Specifications by means of Renaming
Maartje de Jonge · 1997
Data Types . Wiley Teubner. Mauw, S. and Veltink, G. J. (1990). A process specification formalism. Fundamenta Informaticae, XIII, 85--139. Moineau, T. and Gaudel, M. C. (1992). Software reusability through formal specification. In Methods and Tools for Software Reuse, ERCIM Workshop Reports, pages 17--40. Moonen, L. (1996a). Data Flow Analysis for Reverse Engineering . Master's thesis, University of Amsterdam, Programming Research Group. Moonen, L. (1996b). Graph tools . available at http://adam.wins.uva.nl/ ~ leon/graph-tools/. Pepper, P. (1991). The Programming Language OPAL (1st edition). Technical Report 91--10, TU Berlin. Rouaix, F. (1992). Functiors: Declarative programming in a software library. In Methods and Tools for Software Reuse, ERCIM Workshop Reports, pages 125--135. Stevens, W., Myers, G., and Constantine, L. (1974). Structured design. IBM Systems Jounal , 13(2). Reprinted in Edward Youdon (Ed) Classics in Software Engineering, Prentice-Hall, Englewood Cliffs,...