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).

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.

Revision: r1.1 - 18 May 2001 - 10:18 - ArieVanDeursen
Transform > IndustrialApplicationsOfASFandSDF
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback