Im Rahmen des Kooperationsprojektes sollen Verfahren entwickelt werden, welche eine (semi)automatische Formalisierung von natürlich-sprachlichen gesetzlichen Regularien ermöglicht. Dafür sollen Techni
Hintergrund für das Projekt SiSSi ist die seit Jahren stark wachsende Bedeutung und Komplexität von Spreadsheets zur Analyse und Visualisierung von Wirtschaftsdaten. Als sogenannte aktive Dokumente st