Mathematisches Systemmodell
Mathematisches Systemmodell
批准号:
5327576
负责人:
Professor Dr. Manfred Broy
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2001
资助国家:
德国
项目状态:
已结题
起止时间:
2000-12-31 至 2003-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Systemmodellierung zielt auf die Beschreibung und Modellierung unterschiedlicher Aspekte informationsverarbeitender, reaktiver Systeme ab. Hierbei sind sowohl die Beschreibung der Nutzung eines Systems als auch die Modellierung von Struktur und Verhalten zu nennen. Abhängig von den Anforderungen, die an das System und seine Beschreibung gestellt werden, sind auch die Anforderungen an die gewählten Beschreibungs- und Modellierungstechniken zu bestimmen. Auf Basis von unterschiedlichen Sichten auf ein System (z.B. Verhalten, Daten, Aufbau, Prozess) können Anforderungen an die Eigenschaften der benötigten Techniken und die sie definierenden semantischen Kalküle eingeordnet und verglichen werden.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS)
-
批准号:222278915
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2012
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Formalisierung von Anforderungen durch Dokumentanalyse
-
批准号:131747077
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit.
-
批准号:32379288
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Fundierung und Semantische Standardisierung der UML V2.0
-
批准号:25718906
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme
-
批准号:5421923
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
-
批准号:5236756
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Methodik des inkrementellen Entwurfs reaktiver Systeme
-
批准号:5280620
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
-
批准号:5236762
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr. Manfred Broy
-
依托单位:
Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme
-
批准号:5371543
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Manfred Broy
-
依托单位: