@misc{282, author = {{Kirsch, Michelle}}, publisher = {{Universität Paderborn}}, title = {{{Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern}}}, year = {{2015}}, } @article{28210, author = {{Iwanek, Peter and Dumitrescu, Roman and Reinhart, Felix and Brandis, Rinje}}, journal = {{productivITy (4 / 2015)}}, pages = {{57--59}}, title = {{{Expertensystem zur Steigerung der Effizienz im Bereich der Produktion}}}, year = {{2015}}, } @techreport{2822, author = {{Han, K. and Kundisch, Dennis and Weinhardt, C. and Zimmermann, Steffen}}, pages = {{295--297}}, title = {{{Economics and Value of IS}}}, volume = {{57 (5)}}, year = {{2015}}, } @phdthesis{28222, author = {{Bauer, Frank}}, isbn = {{978-3-942647-60-1}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung}}}, volume = {{341}}, year = {{2015}}, } @misc{28223, author = {{Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}}, isbn = {{978-3-942647-62-5}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{10. Paderborner Workshop Entwurf mechatronischer Systeme}}}, volume = {{343}}, year = {{2015}}, } @misc{28224, author = {{Gausemeier, Jürgen}}, isbn = {{978-3-942647-66-3}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015}}}, volume = {{347}}, year = {{2015}}, } @inproceedings{283, abstract = {{Today, software verification is an established analysis method which can provide high guarantees for software safety. However, the resources (time and/or memory) for an exhaustive verification are not always available, and analysis then has to resort to other techniques, like testing. Most often, the already achieved partial verification results arediscarded in this case, and testing has to start from scratch.In this paper, we propose a method for combining verification and testing in which testing only needs to check the residual fraction of an uncompleted verification. To this end, the partial results of a verification run are used to construct a residual program (and residual assertions to be checked on it). The residual program can afterwards be fed into standardtesting tools. The proposed technique is sound modulo the soundness of the testing procedure. Experimental results show that this combinedusage of verification and testing can significantly reduce the effort for the subsequent testing.}}, author = {{Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering}}, editor = {{Egyed, Alexander and Schaefer, Ina}}, pages = {{100--114}}, title = {{{Just test what you cannot verify!}}}, doi = {{10.1007/978-3-662-46675-9_7}}, year = {{2015}}, } @inproceedings{28301, author = {{Hassan, Bassem and Stöcklein, Jörg and Berssenbrügge, Jan}}, booktitle = {{Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179}}, editor = {{Shumaker, Randall and Lackey, Stephanie}}, pages = {{457--469}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{ARTiST - An Augmented Reality Testbed for Intelligent Technical Systems}}}, volume = {{LNCS 9179}}, year = {{2015}}, } @article{28302, author = {{Trächtler, Ansgar and Iwanek, Peter and Scheffels, Gerald}}, journal = {{elektrotechnik - Automatisierung Sonderausgabe}}, pages = {{32--33}}, title = {{{Der Mensch als Vorbild}}}, year = {{2015}}, } @inproceedings{28303, abstract = {{The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system.}}, author = {{Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}}, booktitle = {{Proceedings of the International Conference on Software and Systems Process (ICSSP)}}, pages = {{57--66}}, title = {{{Integrated Systems Engineering and Software Requirements Engineering for Technical Systems}}}, doi = {{http://dx.doi.org/10.1145/2785592.2785597}}, year = {{2015}}, } @article{28304, abstract = {{In this sequel paper, the previously presented framework for the planning and optimisation of functionally graded components Biermann et al. (Production Engineering Research & Development 7(6):657–664, 2013) is applied within a case study. In addition to the application, the implementational infrastructure of the framework is provided and the preliminaries for applying the framework to the respective production system are presented. Hence, the practical realisation of the models and methods is documented. In the context of the case study, each step of the planning process is demonstrated in a visually assisted way. These visualisations are based on the specific steps of the wizard guiding the planner through the framework. As a central contribution, the specification of a non-trivial gradation and the planning of the corresponding process chain by means of the planning framework are demonstrated.}}, author = {{Biermann, Dirk and Gausemeier, Jürgen and Heim, Hans-Peter and Hess, Stefan and Petersen, Marcus and Ries, Angela and Wagner, T.}}, journal = {{Production Engineering Research & Development 9(3)}}, pages = {{405--416}}, title = {{{Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites}}}, year = {{2015}}, } @inproceedings{28305, author = {{Berssenbrügge, Jan and Trächtler, Ansgar and Schmidt, Christoph}}, booktitle = {{Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference}}, title = {{{Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems}}}, year = {{2015}}, } @inproceedings{28306, author = {{Bremer, Christian and Dumitrescu, Roman and Gausemeier, Jürgen}}, booktitle = {{Stuttgarter Symposium für Produktentwicklung - SSP 2015}}, publisher = {{Fraunhofer IAO}}, title = {{{Zustandsorientierte Modellierung flexibler Produktionssysteme}}}, year = {{2015}}, } @inproceedings{28307, abstract = {{In case of an unplanned machine breakdown, alternative resources have to be found quickly to avoid delays in following process steps. In order to counter this, an automated determination of alternative CNC-machines and a reliable validation is proposed. First, a rough process description is extracted from the NC program. Second, a suitable machine is searched in an ontology based on the rough process description. The ontology contains a description of all needed properties of a machine and rules to derive the resulting capabilities. Third, the NC program is validated on a virtual machine to ensure the absence of errors.}}, author = {{Rehage, Gerald and Gausemeier, Jürgen}}, booktitle = {{15th CIRP Conference on Modelling of Machining Operations (15th CMMO), Band 31}}, pages = {{47--52}}, publisher = {{Elsevier B.V.}}, title = {{{Ontology-based determination of alternative CNC machines for a flexible resource allocation}}}, doi = {{doi:10.1016/j.procir.2015.03.054}}, year = {{2015}}, } @inproceedings{28308, author = {{Eckelt, Daniel and Gausemeier, Jürgen}}, booktitle = {{IP: Kooperation, Wettbewerb, Konfrontation, 37. Kollequium der TU Ilmenau über Patentinformationen, Band 37}}, publisher = {{ Technische Universität Ilmenau | PATON - Landespatentzentrum Thüringen}}, title = {{{Vorsprung durch strategisches IP-Management - Gestiges Eigentum kennen, schützen und nutzen}}}, year = {{2015}}, } @inproceedings{28309, author = {{Rübbelke, René and Söllner, Christoph and Gausemeier, Jürgen}}, booktitle = {{24th International Association for Management of Technology Conference, Nr. 24}}, title = {{{Balancing the Strategic Product Portfolio based on Market and Competence Needs}}}, year = {{2015}}, } @inproceedings{28310, author = {{Placzek, Markus and Eberling, Christian and Gausemeier, Jürgen}}, booktitle = {{24th International Association for Management of Technology Conference Proceedings, Band 24}}, pages = {{1646--1663}}, publisher = {{International Association for Management of Technology (IAMOT)}}, title = {{{Conception of a Knowledge Management System for Technologies}}}, year = {{2015}}, } @inproceedings{28311, author = {{Amshoff, Benjamin and Dülme, Christian and Echterfeld, Julian and Gausemeier, Jürgen}}, title = {{{Tagungsband zum Stuttgarter Symposium für Produktentwicklung (SSP)}}}, year = {{2015}}, } @article{28312, author = {{Amshoff, Benjamin and Dülme, Christian and Echterfeld, Julian and Gausemeier, Jürgen}}, journal = {{International Journal of Innovation Management 19(3)}}, title = {{{BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES}}}, year = {{2015}}, } @inproceedings{28314, author = {{Echterfeld, Julian and Amshoff, Benjamin and Gausemeier, Jürgen}}, booktitle = {{International Association for Management of Technology (IAMOT)}}, title = {{{HOW TO USE BUSINESS MODEL PATTERNS FOR EXPLOITING DISRUPTIVE TECHNOLOGIES}}}, year = {{2015}}, }