Industrial applications of ASF+SDF

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

doi:10.1007/BFb0014303

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/Congresprocedure › Conferentiebijdrage › Academic › peer review

30 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-2	Engels
Titel	Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996)
Redacteuren	M. Wirsing, M. Nivat
Uitgeverij	Springer
Pagina's	9-18
ISBN van geprinte versie	3-540-61463-X
DOI's	https://doi.org/10.1007/BFb0014303
Status	Gepubliceerd - 1996
Extern gepubliceerd	Ja

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	1101
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/BFb0014303

Citeer dit

Brand, van den, M. G. J., Deursen, van, A., Klint, P., Klusener, A. S., & Meulen, van der, E. (1996). Industrial applications of ASF+SDF. In M. Wirsing, & M. Nivat (editors), Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996) (blz. 9-18). (Lecture Notes in Computer Science; Vol. 1101). Springer. https://doi.org/10.1007/BFb0014303

@inproceedings{6440b10b6550435e9857f6f52ffb6663,

title = "Industrial applications of ASF+SDF",

abstract = "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.",

author = "{Brand, van den}, M.G.J. and {Deursen, van}, A. and P. Klint and A.S. Klusener and {Meulen, van der}, E.",

year = "1996",

doi = "10.1007/BFb0014303",

language = "English",

isbn = "3-540-61463-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "9--18",

editor = "M. Wirsing and M. Nivat",

booktitle = "Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996)",

}

Brand, van den, MGJ, Deursen, van, A, Klint, P, Klusener, AS & Meulen, van der, E 1996, Industrial applications of ASF+SDF. in M Wirsing & M Nivat (uitgave), Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996). Lecture Notes in Computer Science, vol. 1101, Springer, blz. 9-18. https://doi.org/10.1007/BFb0014303

Industrial applications of ASF+SDF. / Brand, van den, M.G.J.; Deursen, van, A.; Klint, P. et al.
Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996). uitgave / M. Wirsing; M. Nivat. Springer, 1996. blz. 9-18 (Lecture Notes in Computer Science; Vol. 1101).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Industrial applications of ASF+SDF

AU - Brand, van den, M.G.J.

AU - Deursen, van, A.

AU - Klint, P.

AU - Klusener, A.S.

AU - Meulen, van der, E.

PY - 1996

Y1 - 1996

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

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

U2 - 10.1007/BFb0014303

DO - 10.1007/BFb0014303

M3 - Conference contribution

SN - 3-540-61463-X

T3 - Lecture Notes in Computer Science

SP - 9

EP - 18

BT - Algebraic Methodology and Software Technology (Proceedings 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996)

A2 - Wirsing, M.

A2 - Nivat, M.

PB - Springer

ER -

Industrial applications of ASF+SDF

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit