MODEST integriert Ansätze für Modellgetriebene Softwareentwicklung, Dienstorientierte Architekturen und Semantisches Web in einem innovativen Konzept ...
ConQA ist eine Erweiterung des internationalen Projekts QALL-ME, das im Bereich IST des Sechsten Rahmenprogramms der Europäischen Union angesiedelt ...
D-SPIN ist das deutsche Teilprojekt des ESFRI-Projektes CLARIN. Ziel des Vorhabens ist die Entwicklung einer eScience Infrastruktur für linguistische ...
FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit ...