Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
批准号:
193388432
负责人:
Professor Dr. Dieter Hutter
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2011
资助国家:
德国
项目状态:
已结题
起止时间:
2010-12-31 至 2014-12-31
中文摘要
Mit der zunehmenden Popularität von Tensches zur Analyse und Visualisierung von Wirtschaftsdaten nimmt seit Jahren ihre Bedeutung und Komplexität dramatisch zu.所有这些都是有效的,因为它们是从数据和图表中组合起来的。软件工程领域的Fortschritte韦尔登纸张在一个信息处理过程中不断被Endnutzern所吸收,这在过去的30年里一直是如此。Weder gibt es abstrakte operationale Modelle,noch ausreichende Test- und Verifikationsverfahren,noch eine angemessene Benutzerassistenz für die Werkzeuge.在纸张应用上,纸张的颜色和解释都很模糊。在SISSI项目中,需要一个语义Rahmenwerk开发韦尔登,即:i)抽象的数据表建模、验证和信息管理技术,ii)数据表的验证、一致性开发和数据银行的数据表验证,iii)数据表的解释和信息,以帮助数据库进行数据验证。在SISSI项目的中间环节,软件工程和辅助系统的协同作用将在两个方面进行探索。Beide,Softwareengineering und Assistenzsysteme,können auf einem gemeinsamen semantischen Informationsmodell aufbauen and beide können ein gemeinsames Interaktionsmodell verwenden,das den sheetinhalt zu dessen Layout in Beziehung setzt,um neuartige Benutzerinteraktionen zu ermöglichen.
英文摘要
Mit der zunehmenden Popularität von Spreadsheets zur Analyse und Visualisierung von Wirtschaftsdaten nimmt seit Jahren ihre Bedeutung und Komplexität dramatisch zu. Als sogenannte aktive Dokumente stellen sie eine Kombination aus Programm und Daten dar. Trotz der Fortschritte im Softwarengineeringbereich werden Spreadsheets aber immer noch weitgehend von den Endnutzern in einem informellen Prozess erstellt, der sich in den letzten 30 Jahren kaum verändert hat. Weder gibt es abstrakte operationale Modelle, noch ausreichende Test- und Verifikationsverfahren, noch eine angemessene Benutzerassistenz für die Werkzeuge. Die Folgen sind hohe Fehlerraten und schwerwiegende Fehlinterpretationen bei Spreadsheetapplikationen. Im SISSI Projekt soll daher ein semantisches Rahmenwerk entwickelt werden, das i) abstrakte Modellierungs-, Verfeinerungs- und Informationsmanagementtechniken für Spreadsheets bereitstellt, ii) Verifikation, konsistente Entwicklung der Spreadsheets und ihre Verwendung als Schnittstelle zu Datenbanken unterstützt, und iii) Interpretationen und Sichten auf Spreadsheets für eine dokumentzentrierte Benutzerassistenz zur Verfügung stellt. Ein zentrales Anliegen des SISSI Projekts wird es sein, Synergien zwischen Softwareengineering und Assistenzsystemen in zwei Richtungen zu explorieren. Beide, Softwareengineering und Assistenzsysteme, können auf einem gemeinsamen semantischen Informationsmodell aufbauen und beide können ein gemeinsames Interaktionsmodell verwenden, das den Spreadsheetinhalt zu dessen Layout in Beziehung setzt, um neuartige Benutzerinteraktionen zu ermöglichen.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Transfer and enhancement of information-flow control techniques to develop secure systems using the example of workflow systems (MORES2)
-
批准号:183700043
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Ontology-Driven Management of Change
-
批准号:45154386
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
-
批准号:5202012
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
-
批准号:5295420
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Dieter Hutter
-
依托单位:
国内基金
海外基金
登录
查看更多内容
半有限von Neumann代数中投影集上的Wigner定理
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:钱文华
-
依托单位:
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
-
批准号:82302106
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:石伟哲
-
依托单位:
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
-
批准号:12271074
-
项目类别:面上项目
-
资助金额:45万元
-
批准年份:2022
-
负责人:石瑞
-
依托单位:
线性保持方法在量子信息研究中的应用
-
批准号:12001420
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:王美丽
-
依托单位:
关于算子代数上非交换Weyl-von Neumann定理的研究
-
批准号:12001437
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:文仕林
-
依托单位:
模型空间上截断Toeplitz算子的可约性
-
批准号:12001089
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李宇飞
-
依托单位:
有限von Neumann代数的相对顺从性
-
批准号:12001085
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周晓艳
-
依托单位:
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
-
批准号:11961037
-
项目类别:地区科学基金项目
-
资助金额:29.0万元
-
批准年份:2019
-
负责人:朱章生
-
依托单位:
算子代数中齐性空间的微分几何结构
-
批准号:11901453
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:崔苗苗
-
依托单位:
非交换Orlicz空间的性质及其闭子空间
-
批准号:11901038
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2019
-
负责人:沈丛丛
-
依托单位: