Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices 2014
DOI: 10.1145/2593850.2593856
|View full text |Cite
|
Sign up to set email alerts
|

A formal systems engineering approach in practice: an experience report

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
8
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
3
2
1

Relationship

2
4

Authors

Journals

citations
Cited by 13 publications
(8 citation statements)
references
References 9 publications
0
8
0
Order By: Relevance
“…Besides these studies on MBSE adoption, several case studies exist on applying model-based techniques to complex systems in different domains (e.g., railway [3], automotive [22], maritime traffic [21]).…”
Section: Background and Related Workmentioning
confidence: 99%
“…Besides these studies on MBSE adoption, several case studies exist on applying model-based techniques to complex systems in different domains (e.g., railway [3], automotive [22], maritime traffic [21]).…”
Section: Background and Related Workmentioning
confidence: 99%
“…Questionnaire results for Management group. 11 parts of existing systems from companies (e.g., [20]). Tool vendors usually provide training for the methodology and work-flow to be used with their own products [21].…”
Section: Knowledge Buildingmentioning
confidence: 99%
“…the SPES 2020 Methodology [46] and REMsES [10], and in a few studies evaluated with practitioners, e.g. in [8] and [11]. However, the industrial uptake seems to be limited.…”
Section: Introductionmentioning
confidence: 99%
“…Practical experiences with SPES are reported in [8,11]. In [8], Böhm et al present their experiences with SPES in an industrial project at Siemens. The authors apply SPES to a mature, already running train control system, using a specification of "high quality".…”
mentioning
confidence: 99%