Industrial Applications Of ASFand SDF
Program-Transformation.Org: The Program Transformation Wiki
Industrial Applications of ASF + SDF
MarkVanDenBrand,
ArieVanDeursen,
PaulKlint, S. Klusener and E. A. van der Meulen. Industrial Applications of
ASF+SDF. I
n M. Wirsing and M. Nivat (Eds.), Algebraic Methodology and Software Technology (
AMAST '96), Volume 1101 of
LNCS, Springer-Verlag, 1996, pp. 9-18. (Invited talk for the
AMAST'96 Education Day).
http://www.cwi.nl/~arie/papers/ind.pdf
Abstract. In recent years, a number of Dutch companies have used the algebraic
specification formalism
ASFandSDF. Bank
MeesPierson? has specified a language
for describing interest rate products, their translation into
COBOL, and their
generation from interactive questionnaires. A consultancy company has specified
a language to represent the company’s object-oriented models, and the compilation
of this language into Access. Bank ABN-AMRO has started investigating the use
of algebraic specifications for renovating legacy
COBOL systems. We discuss the
implications of such projects for teaching algebraic specifications and software
engineering, and the role students have been playing in these projects.
CategoryDSL |
CategoryPaper |
ArieVanDeursen.