49 Publications
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. https://doi.org/10.1007/s10270-022-01002-3
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, J., Steghöfer, J.-P., Rath, M., & Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany . https://doi.org/10.18420/SE2021_18
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
Schubert, D., Eikerling, H., & Holtmann, J. (2021). Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML. Frontiers in Computer Science, 3. https://doi.org/10.3389/fcomp.2021.567873
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20516
Holtmann, J., Steghofer, J.-P., Rath, M., & Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE. https://doi.org/10.1109/re48521.2020.00014
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). https://doi.org/10.1145/3365438.3410946
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 20758
Holtmann, J. (2019). Improvement of Software Requirements Quality based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
Schubert, D., Eikerling, H., & Holtmann, J. (2019). Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems. In 17th escar Europe : embedded security in cars. Ruhr-University Bochum, University Library.
LibreCat
2018 | Book Chapter | LibreCat-ID: 20782
Koch, T., Holtmann, J., & Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 880, pp. 173–197). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018).
LibreCat
2017 | Conference Paper | LibreCat-ID: 27428
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267: Vol. P-267 (pp. 109–110). Gesellschaft für Informatik.
LibreCat
2017 | Report | LibreCat-ID: 20793
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based Requirement Pattern Catalog. Paderborn, Germany.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter, D., Greenyer, J., & Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE. https://doi.org/10.1109/REW.2017.14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20801
Koch, T., Holtmann, J., & Lindemann, T. (2017). Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. https://doi.org/10.5220/0006137400530064
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017 (Vol. P-267, pp. 109–110). Gesellschaft fuer Informatik.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27449
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag des Systems Engineering 2016, 77–86. http://dx.doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27468
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. http://dx.doi.org/10.1002/smr.1780
LibreCat
| DOI
2016 | Report | LibreCat-ID: 20823
Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
Pohlmann, U., Holtmann, J., & Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In Tagungsband Embedded Software Engineering Kongress 2016 (pp. 587–592).
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch, T., Holtmann, J., Schubert, D., & Lindemann, T. (2016). Towards Feature-based Product Line Engineering of Technical Systems. In A. Trächtler, B. Denkena, & K.-D. Thoben (Eds.), 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016) (pp. 447–454). Elsevier. https://doi.org/10.1016/j.protcy.2016.08.057
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, J., Fockel, M., Koch, T., & Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. https://doi.org/10.1002/smr.1780
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 28303
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. Proceedings of the International Conference on Software and Systems Process (ICSSP), 57–66. http://dx.doi.org/10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20970
Meyer, J., Fockel, M., & Holtmann, J. (2015). Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In Tag des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20971
Fockel, M., & Holtmann, J. (2015). ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15). IEEE.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20899
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated systems engineering and software requirements engineering for technical systems. In Proceedings of the 2015 International Conference on Software and System Process. https://doi.org/10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, J., Holtmann, J., Koch, T., & Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, & A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20972
Fockel, M., & Holtmann, J. (2014). A requirements engineering methodology combining models and controlled natural language. In 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE). https://doi.org/10.1109/modre.2014.6890827
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20981
Holtmann, J., & Shipchanov, D. (2014). Considering Architectural Properties in Real-time Play-out. In Proceedings of 12th Workshop Automotive Software Engineering (Vol. P-232, pp. 2169–2180). Bonner Koellen Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 20982
Koch, T., Holtmann, J., & DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In Software Architecture. Cham. https://doi.org/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. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20903
Priesterjahn, C., Holtmann, J., & Meyer, M. (2014). Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In Tagungsband Embedded Software Engineering Kongress 2014 (pp. 619–627).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
LibreCat
2014 | Journal Article | LibreCat-ID: 20906
Fockel, M., Holtmann, J., & Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. OBJEKTspektrum, (RE/2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20912
Kaiser, L., Dumitrescu, R., Holtmann, J., & Meyer, M. (2014). Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In Volume 2B: 33rd Computers and Information in Engineering Conference. https://doi.org/10.1115/detc2013-12330
LibreCat
| DOI
2013 | Report | LibreCat-ID: 20973
Daun, M., Fockel, M., Holtmann, J., & Tenbergen, B. (2013). Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20911
Holtmann, J., & Meyer, M. (2013). Play-out for Hierarchical Component Architectures. In Proceedings of 11th Workshop Automotive Software Engineering (Vol. P-220, pp. 2458–2472). Bonner Koellen Verlag.
LibreCat
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). https://doi.org/10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In Model-Based Engineering of Embedded Systems. https://doi.org/10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294, 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184, 79–88.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, J., & Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 44–47.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, M., Henkler, S., Holtmann, J., & Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 236, 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
Holtmann, J. (2006). Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn.
LibreCat
49 Publications
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. https://doi.org/10.1007/s10270-022-01002-3
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, J., Steghöfer, J.-P., Rath, M., & Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany . https://doi.org/10.18420/SE2021_18
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 |
Schubert, D., Eikerling, H., & Holtmann, J. (2021). Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML. Frontiers in Computer Science, 3. https://doi.org/10.3389/fcomp.2021.567873
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20516
Holtmann, J., Steghofer, J.-P., Rath, M., & Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE. https://doi.org/10.1109/re48521.2020.00014
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). https://doi.org/10.1145/3365438.3410946
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 20758
Holtmann, J. (2019). Improvement of Software Requirements Quality based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
Schubert, D., Eikerling, H., & Holtmann, J. (2019). Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems. In 17th escar Europe : embedded security in cars. Ruhr-University Bochum, University Library.
LibreCat
2018 | Book Chapter | LibreCat-ID: 20782
Koch, T., Holtmann, J., & Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 880, pp. 173–197). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018).
LibreCat
2017 | Conference Paper | LibreCat-ID: 27428
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267: Vol. P-267 (pp. 109–110). Gesellschaft für Informatik.
LibreCat
2017 | Report | LibreCat-ID: 20793
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based Requirement Pattern Catalog. Paderborn, Germany.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter, D., Greenyer, J., & Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE. https://doi.org/10.1109/REW.2017.14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20801
Koch, T., Holtmann, J., & Lindemann, T. (2017). Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. https://doi.org/10.5220/0006137400530064
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.), Proceedings of the Software Engineering 2017 (Vol. P-267, pp. 109–110). Gesellschaft fuer Informatik.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27449
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag des Systems Engineering 2016, 77–86. http://dx.doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27468
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. http://dx.doi.org/10.1002/smr.1780
LibreCat
| DOI
2016 | Report | LibreCat-ID: 20823
Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
Pohlmann, U., Holtmann, J., & Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In Tagungsband Embedded Software Engineering Kongress 2016 (pp. 587–592).
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch, T., Holtmann, J., Schubert, D., & Lindemann, T. (2016). Towards Feature-based Product Line Engineering of Technical Systems. In A. Trächtler, B. Denkena, & K.-D. Thoben (Eds.), 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016) (pp. 447–454). Elsevier. https://doi.org/10.1016/j.protcy.2016.08.057
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, J., Fockel, M., Koch, T., & Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. https://doi.org/10.1002/smr.1780
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 28303
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. Proceedings of the International Conference on Software and Systems Process (ICSSP), 57–66. http://dx.doi.org/10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20970
Meyer, J., Fockel, M., & Holtmann, J. (2015). Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In Tag des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20971
Fockel, M., & Holtmann, J. (2015). ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15). IEEE.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20899
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2015). Integrated systems engineering and software requirements engineering for technical systems. In Proceedings of the 2015 International Conference on Software and System Process. https://doi.org/10.1145/2785592.2785597
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, J., Holtmann, J., Koch, T., & Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, & A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20972
Fockel, M., & Holtmann, J. (2014). A requirements engineering methodology combining models and controlled natural language. In 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE). https://doi.org/10.1109/modre.2014.6890827
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20981
Holtmann, J., & Shipchanov, D. (2014). Considering Architectural Properties in Real-time Play-out. In Proceedings of 12th Workshop Automotive Software Engineering (Vol. P-232, pp. 2169–2180). Bonner Koellen Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 20982
Koch, T., Holtmann, J., & DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In Software Architecture. Cham. https://doi.org/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. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20903
Priesterjahn, C., Holtmann, J., & Meyer, M. (2014). Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In Tagungsband Embedded Software Engineering Kongress 2014 (pp. 619–627).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
LibreCat
2014 | Journal Article | LibreCat-ID: 20906
Fockel, M., Holtmann, J., & Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. OBJEKTspektrum, (RE/2014).
LibreCat
2014 | Conference Paper | LibreCat-ID: 20912
Kaiser, L., Dumitrescu, R., Holtmann, J., & Meyer, M. (2014). Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In Volume 2B: 33rd Computers and Information in Engineering Conference. https://doi.org/10.1115/detc2013-12330
LibreCat
| DOI
2013 | Report | LibreCat-ID: 20973
Daun, M., Fockel, M., Holtmann, J., & Tenbergen, B. (2013). Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20911
Holtmann, J., & Meyer, M. (2013). Play-out for Hierarchical Component Architectures. In Proceedings of 11th Workshop Automotive Software Engineering (Vol. P-220, pp. 2458–2472). Bonner Koellen Verlag.
LibreCat
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). https://doi.org/10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In Model-Based Engineering of Embedded Systems. https://doi.org/10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20960
Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, 21–30.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20915
Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 294, 203–215.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20916
Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), P-184, 79–88.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, J., & Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 44–47.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, M., Henkler, S., Holtmann, J., & Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 236, 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2006 | Bachelorsthesis | LibreCat-ID: 20967
Holtmann, J. (2006). Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung. University of Paderborn.
LibreCat