Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

49 Publications


2016 | Journal Article | LibreCat-ID: 20828
Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016).
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20829
Integrated and iterative systems engineering and software requirements engineering for technical systems
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016).
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 28303
Integrated Systems Engineering and Software Requirements Engineering for Technical Systems
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the International Conference on Software and Systems Process (ICSSP), New York, NY, USA, 2015, pp. 57–66.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 20970
Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten
J. Meyer, M. Fockel, J. Holtmann, in: Tag Des Systems Engineering 2015, Gesellschaft für Systems Engineering e.V., 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20971
ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language
M. Fockel, J. Holtmann, in: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15), IEEE, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20899
Integrated systems engineering and software requirements engineering for technical systems
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the 2015 International Conference on Software and System Process, 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 20902
Generierung von AUTOSAR-Modellen aus UML-Spezifikationen
J. Meyer, J. Holtmann, T. Koch, M. Meyer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2015, pp. 159–172.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20972
A requirements engineering methodology combining models and controlled natural language
M. Fockel, J. Holtmann, in: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20981
Considering Architectural Properties in Real-time Play-out
J. Holtmann, D. Shipchanov, in: Proceedings of 12th Workshop Automotive Software Engineering, Bonner Koellen Verlag, 2014, pp. 2169–2180.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 20982
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20983
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20903
Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems
C. Priesterjahn, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20905
Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems
U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 20906
Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen
M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20912
Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems
L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.
LibreCat | DOI
 

2013 | Report | LibreCat-ID: 20973
Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study "Body Control Module"
M. Daun, M. Fockel, J. Holtmann, B. Tenbergen, Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,” 2013.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 20911
Play-out for Hierarchical Component Architectures
J. Holtmann, M. Meyer, in: Proceedings of 11th Workshop Automotive Software Engineering, Bonner Koellen Verlag, 2013, pp. 2458–2472.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 20974
Semi-automatic establishment and maintenance of valid traceability in automotive development processes
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 20914
Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20958
Automatic Validation and Correction of Formalized, Textual Requirements
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
LibreCat | DOI
 

Filters and Search Terms

(person=3875)

Search

Filter Publications

Display / Sort

Export / Embed