2015 IEEE 13th International Conference on Industrial Informatics (INDIN) 2015
DOI: 10.1109/indin.2015.7281751
|View full text |Cite
|
Sign up to set email alerts
|

Model-based quality assurance in machine and plant automation using sequence diagrams — A comparison of two research approaches

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2015
2015
2019
2019

Publication Types

Select...
2
1
1

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 15 publications
0
1
0
Order By: Relevance
“…To increase the quality of requirements Rösch et al (2015) and Teufl and Hackenberg (2015) introduced description of behavior based on MSCs included in the MIRA (Broy and Stølen, 2001) approach and UML SD. Both approaches have been evaluated with the crane being a part of the PPU.…”
Section: Requirements Modeling Of the Ppu Scenario Sc12-self Healingmentioning
confidence: 99%
“…To increase the quality of requirements Rösch et al (2015) and Teufl and Hackenberg (2015) introduced description of behavior based on MSCs included in the MIRA (Broy and Stølen, 2001) approach and UML SD. Both approaches have been evaluated with the crane being a part of the PPU.…”
Section: Requirements Modeling Of the Ppu Scenario Sc12-self Healingmentioning
confidence: 99%