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
Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. 2016. doi:10.1002/smr.1780
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 28303
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. In: Proceedings of the International Conference on Software and Systems Process (ICSSP). ; 2015:57-66. doi:http://dx.doi.org/10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20970
Meyer J, Fockel M, Holtmann J. Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20971
Fockel M, Holtmann J. ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15). IEEE; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20899
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated systems engineering and software requirements engineering for technical systems. In: Proceedings of the 2015 International Conference on Software and System Process. ; 2015. doi:10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
Meyer J, Holtmann J, Koch T, Meyer M. Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler A, eds. 10. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2015:159–172.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20972
Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE). ; 2014. doi:10.1109/modre.2014.6890827
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20981
Holtmann J, Shipchanov D. Considering Architectural Properties in Real-time Play-out. In: Proceedings of 12th Workshop Automotive Software Engineering. Vol P-232. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2014:2169–2180.
LibreCat
2014 | Book Chapter | LibreCat-ID: 20982
Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: Software Architecture. Cham; 2014. doi:10.1007/978-3-319-09970-5_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20983
Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. 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
Priesterjahn C, Holtmann J, Meyer M. Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In: Tagungsband Embedded Software Engineering Kongress 2014. ; 2014:619-627.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE Xplore; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 20906
Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. OBJEKTspektrum. 2014;(RE/2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20912
Kaiser L, Dumitrescu R, Holtmann J, Meyer M. Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In: Volume 2B: 33rd Computers and Information in Engineering Conference. ; 2014. doi:10.1115/detc2013-12330
LibreCat
| DOI
2013 | Report | LibreCat-ID: 20973
Daun M, Fockel M, Holtmann J, Tenbergen B. 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
Holtmann J, Meyer M. Play-out for Hierarchical Component Architectures. In: Proceedings of 11th Workshop Automotive Software Engineering. Vol P-220. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2013:2458–2472.
LibreCat
2012 | Conference Paper | LibreCat-ID: 20974
Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). ; 2012. doi:10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012. doi:10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17
LibreCat
| DOI