In diesem Artikel beschreiben wir, wie wir in zwei Projekten mit Hilfe von domänenspezifischen Editoren evolutionär die Art und Weise verbessert haben, wie versicherungsmathematische Berechnungen umgesetzt werden. Im einen Fall wurde eine bestehende, schwer lesbare textuelle Syntax ersetzt durch eine an mathematische Notation angelehnte Darstellung. Im anderen Fall lösten wir Textverarbeitung a...

Modellbasierte Softwareentwicklung wird zunehmend gängige Praxis. Da immer umfangreichere Modelle arbeitsteilig in Teams entwickelt werden, sollte das parallele Bearbeiten von Modellen durch ähnliche Mischfunktionen unterstützt werden, wie man es für textuelle Dokumente gewohnt ist. Wir analysieren zunächst die technischen Randbedingungen bei der modellbasierten Softwareentwicklung; demzufolge ...

Selbst mit den neuesten Modellierungswerkzeugen und dem Einzug von Objektorientierung und Abstraktion in die Hardware-Entwicklung ist der Aufwand für die Verifikation immer noch bestimmend für den gesamten Entwurfsprozess. Wiederverwendbarkeit und Flexibilität sind deshalb aus ökonomischer Sicht unabdingbar. Es wird eine SystemC-Verifikationsumgebung vorgestellt, die sich besonders für paketver...

RÉSUMÉ. Cet article présente la problématique de l’alignement monolingue avec recherche de déplacements. Celle-ci est posée par la critique génétique, une discipline d’études littéraires. Les solutions informatiques existantes ne sont pas satisfaisantes pour répondre à ce problème NP-difficile. Nous proposons d’emprunter à la bioinformatique et l’algorithmique textuelle une famille d’algorithme...