ATermen scoren hoog in software engineering

Een artikel over ATermen scoort hoog in de lijst 'meest geciteerde artikelen over software engineering uit het jaar 2000'. De lijst staat in het januarinummer 2007 van het internationale tijdschrift Information and Software Technology. De publicatie 'Efficient Annotated Terms' eindigt hierin op de zesde plaats, als hoogste Nederlandse bijdrage. De auteurs - informatici M.G.J. van den Brand, H.A. de Jong, P. Klint en P.A. Olivier - waren indertijd allen verbonden aan het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam.

Publication date: 09-02-2007

Een artikel over ATermen scoort hoog in de lijst 'meest geciteerde artikelen over software engineering uit het jaar 2000'. De lijst staat in het januarinummer 2007 van het internationale tijdschrift Information and Software Technology. De publicatie 'Efficient Annotated Terms' eindigt hierin op de zesde plaats, als hoogste Nederlandse bijdrage. De auteurs - informatici M.G.J. van den Brand, H.A. de Jong, P. Klint en P.A. Olivier - waren indertijd allen verbonden aan het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam.

Softwarerenovatie
ATermen zijn ontworpen voor het efficiënt opslaan en distribueren van gestructureerde gegevens. Voorbeelden zijn de broncode van programma's en uitkomsten van analyse en verificatie van softwaresystemen. Ze zijn een belangrijk instrument bij renovatie van software, zoals verouderde COBOL-, Java- of C-code. Daarnaast hebben ze veel meer toepassingen in de software engineering, zoals compilerbouw, model checking en het opslaan van ontologieën (gestructureerde begrippenlijsten) voor het Semantic Web.

"ATermen zijn door hun eigenschappen efficiënter dan XML", aldus Paul Klint. "Ze worden industrieel toegepast in analyse- en transformatietools voor C, C++ en Java. Verschillende financiële instellingen gebruiken ze bij renovatie van hun software. Door hun eenvoud en efficiëntie zijn ze eenvoudig in nieuwe projecten in te zetten." De open source software en uitgebreide softwarebibliotheken van ATermen kunnen gedownload worden van www.meta-environment.org.