Industrial applications of ASF+SDF

M.G.J. Brand, van den, A. Deursen, van, P. Klint, A.S. Klusener, E. Meulen, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

27 Citaten (Scopus)

Samenvatting

In recent years, a number of Dutch companies have used the algebraic specification formalism Asf+Sdf. 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.
Originele taal-2Engels
TitelAlgebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996)
RedacteurenM. Wirsing, M. Nivat
UitgeverijSpringer
Pagina's9-18
ISBN van geprinte versie3-540-61463-X
DOI's
StatusGepubliceerd - 1996
Extern gepubliceerdJa

Publicatie series

NaamLecture Notes in Computer Science
Volume1101
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Industrial applications of ASF+SDF'. Samen vormen ze een unieke vingerafdruk.

Citeer dit