Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Formal, model- and scenario-based requirement patterns
Fockel, M.; Holtmann, J.; Koch, T.; Schmelter, D.
Conference Paper
2018Model-driven STEP application protocol extensions combined with feature modeling considering geometrical information
Koch, T.; Holtmann, J.; Lindemann, T.
Conference Paper
2017Flexible specification of STEP application protocol extensions and automatic derivation of tool capabilities
Koch, T.; Holtmann, J.; Lindemann, T.
Conference Paper
2017Toward learning realizable scenario-based, formal requirements specifications
Schmelter, D.; Greenyer, J.; Holtmann, J.
Conference Paper
2016Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme
Greinert, Matthias; Tschirner, Christian; Holtmann, Jörg
Conference Paper
2016Das Erwachen der Macht - Automatische Softwareverteilung
Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias
Conference Paper
2016Integrated and iterative systems engineering and software requirements engineering for technical systems
Holtmann, J.; Bernijazov, R.; Meyer, M.; Schmelter, D.; Tschirner, C.
Journal Article
2016Towards Feature-based Product Line Engineering of Technical Systems
Koch, Thorsten; Holtmann, Jörg; Schubert, David; Lindemann, Timo
Journal Article, Conference Paper
2015Generierung von AUTOSAR-Modellen aus UML-Spezifikationen
Meyer, Jan; Holtmann, Jörg; Koch, Thorsten; Meyer, Matthias
Conference Paper
2015Integrated systems engineering and software requirements engineering for technical systems
Holtmann, Jörg; Bernijazov, Ruslan; Meyer, Matthias; Schmelter, David; Tschirner, Christian
Conference Paper
2015ReqPat: Efficient documentation of high-quality requirements using controlled natural language
Fockel, Markus; Holtmann, Jörg
Conference Paper
2015Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten
Meyer, Jan; Fockel, Markus; Holtmann, Jörg
Conference Paper
2014Automatic verification of modeling rules in systems engineering for mechatronic systems
Kaiser, L.; Dumitrescu, R.; Holtmann, J.; Meyer, M.
Conference Paper
2014Considering architectural properties in real-time play-out
Holtmann, Jörg; Shipchanov, Dimitar
Conference Paper
2014Generating EAST-ADL Event Chains from Scenario-based Requirements Specifications
Koch, Thorsten; Holtmann, Jörg; DeAntoni, Julien
Conference Paper
2014Generating Modelica models from software specifications for the simulation of cyber-physical systems
Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher
Conference Paper
2014A requirements engineering methodology combining models and controlled natural
Fockel, Markus; Holtmann, Jörg
Conference Paper
2014ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
Brenner, Christian; Greenyer, Joel; Holtmann, Jörg; Liebel, Grischa; Stieglbauer, Gerald; Tichy, Matthias
Journal Article, Conference Paper
2013Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transfor - mation to Controlled Natural Language
Daun, M.; Fockel, M.; Holtmann, J.; Tenbergen, B.
Report
2013Play-out for hierarchical component architectures
Holtmann, J.; Meyer, M.
Conference Paper
2013Sichten der Systemstruktur im Model-Based Systems Engineering für mechatronische Systeme
Kaiser, L.; Dumitrescu, R.; Holtmann, J.; Meyer, M.
Conference Paper
2012Application and evaluation in the automotive domain
Fockel, M.; Heidl, P.; Holtmann, J.; Horn, W.; Höfflinger, J.; Hönninger, H.; Meyer, J.; Meyer, M.; Schäuffele, J.
Book Article
2012Semi-automatic establishment and maintenance of valid traceability in automotive development processes
Fockel, M.; Holtmann, J.; Meyer, J.
Conference Paper