关注
Jörg Holtmann
Jörg Holtmann
Independent Researcher
在 deutschebahn.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Automatic Validation and Correction of Formalized, Textual Requirements
J Holtmann, J Meyer, M Von Detten
ICST Workshop on Requirements and Validation, Verification & Testing …, 2011
512011
A Requirements Engineering Methodology Combining Models and Controlled Natural Language
M Fockel, J Holtmann
Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th …, 2014
472014
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems
M Tichy, S Henkler, J Holtmann, S Oberthür
4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER …, 2008
402008
Industry voices on software engineering challenges in cyber-physical production systems engineering
K Feichtinger, K Meixner, F Rinker, I Koren, H Eichelberger, T Heinemann, ...
2022 IEEE 27th International conference on emerging technologies and factory …, 2022
302022
Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)
J Holtmann, R Bernijazov, M Meyer, D Schmelter, C Tschirner
Software Engineering 2017, 109-110, 2017
29*2017
A Seamless Model-Based Development Process for Automotive Systems
J Holtmann, J Meyer, M Meyer
ENVISION 2020: Zweiter Workshop zur Zukunft der Entwicklung …, 2011
292011
Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems
L Kaiser, R Dumitrescu, J Holtmann, M Meyer
ASME 2013 International Design Engineering Technical Conferences and …, 2013
282013
Designing Self-healing in Automotive Systems
H Seebach, F Nafz, J Holtmann, J Meyer, M Tichy, W Reif, W Schäfer
Autonomic and Trusted Computing, 47-61, 2010
262010
Cutting through the jungle: Disambiguating model-based traceability terminology
J Holtmann, JP Steghöfer, M Rath, D Schmelter
2020 IEEE 28th International Requirements Engineering Conference (RE), 8-19, 2020
192020
Semi-automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes
M Fockel, J Holtmann, J Meyer
2nd International Workshop on Software Engineering for Embedded Systems …, 2012
192012
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C Brenner, J Greenyer, J Holtmann, G Liebel, M Tichy, G Stieglbauer
13th International Workshop on Graph Transformation and Visual Modeling …, 2014
172014
Mit Satzmustern von textuellen Anforderungen zu Modellen
J Holtmann
OBJEKTspektrum, RE/2010 (Online Themenspecial Requirements Engineering), 2010
162010
Formal, Model- and Scenario-based Requirement Patterns
M Fockel, J Holtmann, T Koch, D Schmelter
MODELSWARD 2018, 311-318, 2018
132018
Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems
U Pohlmann, J Holtmann, M Meyer, C Gerking
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO …, 2014
132014
Integrated systems engineering and software requirements engineering for technical systems
J Holtmann, R Bernijazov, M Meyer, D Schmelter, C Tschirner
Proceedings of the 2015 International Conference on Software and System …, 2015
122015
The MechatronicUML Requirements Engineering Method: Process and Language
J Holtmann, M Fockel, T Koch, D Schmelter, C Brenner, R Bernijazov, ...
112016
ReqPat: Efficient documentation of high-quality requirements using controlled natural language
M Fockel, J Holtmann
2015 IEEE 23rd International Requirements Engineering Conference (RE), 280-281, 2015
102015
Exploiting Meta-Model Structures in the Generation of Xtext Editors.
J Holtmann, JP Steghöfer, W Zhang
MODELSWARD, 218-225, 2023
92023
Play-out for Hierarchical Component Architectures
J Holtmann, M Meyer
11th Workshop Automotive Software Engineering, 2458-2472, 2013
72013
Creating Python-Style Domain Specific Languages: A Semi-Automated Approach and Intermediate Results.
W Zhang, R Hebig, JP Steghöfer, J Holtmann
MODELSWARD, 210-217, 2023
62023
系统目前无法执行此操作,请稍后再试。
文章 1–20