2014
DOI: 10.1007/978-3-642-45435-6_2
|View full text |Cite
|
Sign up to set email alerts
|

Examples of Self-optimizing Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
18
0

Year Published

2014
2014
2014
2014

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(18 citation statements)
references
References 16 publications
0
18
0
Order By: Relevance
“…To achieve this, we have utilized a model-based approach for software development as presented in D.M.f.I.T.S, [55], Chap. 5: a model of the software is constructed, the model is verified with respect to safety and liveness properties, and program code is generated that maintains the verified properties.…”
Section: Claudia Priesterjahnmentioning
confidence: 98%
See 4 more Smart Citations
“…To achieve this, we have utilized a model-based approach for software development as presented in D.M.f.I.T.S, [55], Chap. 5: a model of the software is constructed, the model is verified with respect to safety and liveness properties, and program code is generated that maintains the verified properties.…”
Section: Claudia Priesterjahnmentioning
confidence: 98%
“…The architecture and behavior are specified by MECHATRONICUML models (see D.M.f.I.T.S, [55], Chap. 5), which have to be constructed manually by the developer.…”
Section: Prerequisites and Inputmentioning
confidence: 98%
See 3 more Smart Citations