Mathematisches Systemmodell
Mathematisches Systemmodell
批准号:
5327576
负责人:
Professor Dr. Manfred Broy
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2001
资助国家:
德国
项目状态:
已结题
起止时间:
2000-12-31 至 2003-12-31
中文摘要
系统建模是对系统的描述和建模的一个重要方面。因此,对一个系统的研究也是对结构和性能的建模。从Anforderungen的角度来看,该系统和该系统的设计韦尔登,也可以将Anforderungen和该系统的设计和建模技术结合起来。在一个系统中建立非线性系统的基础(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韦尔登.
英文摘要
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
-
依托单位: