TY - CONF AU - Akbulut, Akin AU - Abke, Stephan AU - Laroque, Christoph ED - Chan, W. K. V ED - D’Ambrogio, A ED - Zacharewicz, G ED - Mustafee, N ED - Wainer, G ED - Page, E ID - 25084 T2 - Proceedings of the 2017 Winter Simulation Conference TI - Automated Model Verification using an Equivalence Test on a Reference Mode ER - TY - CONF AU - Kersting, Joschka AU - Geierhos, Michaela ED - Damasevicius, Robertas ED - Mikašytė, Vilma, Vilma ID - 25099 T2 - Proceedings of the 23rd International Conference on Information and Software Technologies, Communications in Computer and Information Science TI - Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach VL - 756 ER - TY - CONF AU - Akbulut, Akin AU - Laroque, Christoph AU - Dangelmaier, Wilhelm ED - Wenzel, Sigrid ED - Peter, Tim ID - 25100 TI - Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell ER - TY - CONF AU - van Rooijen, Lorijn AU - Baeumer, Frederik Simon AU - Platenius, Marie Christin AU - Geierhos,, Michaela AU - Hamann, Heiko AU - Engels, Gregor ID - 25101 TI - From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process ER - TY - CHAP AU - Geierhos, Michaela AU - Baeumer , Frederik Simon ED - Christiansen, Henning ED - Jiménez -López, M. Dolores ED - Loukanova, Roussanka ED - Moss, Lawrence S. ID - 25102 T2 - Partiality and Underspecification in Information, Languages, and Knowledge TI - Guesswork? Resolving Vagueness in User-Generated Software Requirements ER - TY - CONF AU - Baeumer, Frederik Simon AU - Markus, Dollmann ED - Sarro, Federica ED - Shihab, Emad ED - Nagappan, Meiyappan ED - Platenius, Marie Christin ED - Kaimann, Daniel ID - 25103 T2 - Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics TI - Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements ER - TY - CONF AU - Baeumer, Frederik Simon AU - Dollmann, Markus AU - Geierhos, Michaela ED - Sarro, Federica ED - Shihab, Emad ED - Nagappan, Meiyappan ED - Platenius, Marie Christin ED - Kaimann, Daniel ID - 25245 T2 - Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics TI - Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements ER - TY - THES AU - Baeumer, Frederik Simon ID - 25249 SN - 978-3-942647-91-5 TI - Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollst{\"a}ndig beschriebenen Softwareanforderungen VL - 372 ER - TY - BOOK AB - n the multi-volume work on "Theory of Production", the production models and processes born today from practice are to be derived for the first time on a mathematically justified basis and thus also given the production economy a scientific basis. A constructivist point of view is to be set aside for “we just organized our company that way and it has proven itself”, and so the many descriptive “factory management teachings” are to be replaced. Volume 1 contains the basics of logic, set theory and algebra. The production-relevant conceptions of systems theory are for the first time completely mapped to constructs of formal logic, propositional and predicate logic consistently presented using examples. The predicate logic strikes the bow to the NC program; all parameters of a machining production are derived explicitly. An application example of the set-theoretical concepts is the computer-aided design, the relational calculus is mapped, for example, to product structures, replacement parts and identical parts. The basics of algebra deal in detail with the algebraic systems with internal connections that are important for engineering. Rotating tool magazines are mentioned here as an example. Algebraic systems with external links deal in particular with the handling of matrices. The basics of classifying, ordering and measuring conclude this volume. The basics of algebra deal in detail with the algebraic systems with internal connections that are important for engineering. Rotating tool magazines are mentioned here as an example. Algebraic systems with external links deal in particular with the handling of matrices. The basics of classifying, ordering and measuring complete this volume. The basics of algebra deal in detail with the algebraic systems with internal connections that are important for engineering. Rotating tool magazines are mentioned here as an example. Algebraic systems with external links deal in particular with the handling of matrices. The basics of classifying, ordering and measuring conclude this volume. AU - Dangelmaier, Wilhelm ID - 25251 TI - Production theory 1 ER - TY - BOOK AB - In the multi-volume work on "Theory of Production", the production models and processes born today from practice are to be derived for the first time on a mathematically justified basis and thus also given the production economy a scientific basis. A constructivist point of view is to be set aside for “we just organized our company that way and it has proven itself”, and so the many descriptive “factory management teachings” are to be replaced. Volume 2 deals with the structures of production. Based on the newly interpreted construct of the “production point”, larger units are composed step by step: single-stage and multi-stage technical quantities. In addition, the production point integrates the subdivision used today in business administration into the object-oriented, activity favoring black box thinking and the functionalist view of consumption and production functions. The conceptual foundations are mainly algebraic input-output systems. Based on the structuring and parameterization options at the production point, alternative organizational concepts for single and multi-level productions are developed. For the engineering sciences, a detailed treatise on the evaluation of production success is particularly important in this volume, which systematically leads to product calculation and the planning of an economically successful production program. Based on the structuring and parameterization options at the production point, alternative organizational concepts for single and multi-level productions are developed. Particularly important for the engineering sciences is a detailed treatise in this volume on the evaluation of production success, which systematically leads to product calculation and the planning of an economically successful production program. Based on the structuring and parameterization options at the production point, alternative organizational concepts for single and multi-level productions are developed. For the engineering sciences, a detailed treatise on the evaluation of production success is particularly important in this volume, which systematically leads to product calculation and the planning of an economically successful production program. AU - Dangelmaier, Wilhelm ID - 25252 TI - Production theory 2 ER - TY - BOOK AB - In the multi-volume work on "Theory of Production", the production models and processes born today from practice are to be derived for the first time on a mathematically justified basis and thus also given the production economy a scientific basis. A constructivist point of view is to be set aside for “we just organized our company that way and it has proven itself”, and so the many descriptive “factory management teachings” are to be replaced. Volume 3 deals with production processes in time. Ordinal and cardinal amounts of time lead to the system-theoretical definition of a process at the point of production and the possible understandings of processes and states. A main point here is the derivation of the common thinking in series production in terms of performance figures. Starting from the basic form of a time-based production, efficient dynamic events and processes are prepared. This creates the basis for the representation of the state of a general time system and the use of sequential machines. Time-invariant time systems and stochastic productions are the basis of robust production. The point of production and the time system find an ideal symbiosis in the use of finite automatons: A finite number of states together with a limited amount of inputs leads to state-driven production - one of the essential prerequisites for the realization of Industry 4.0. This creates the basis for the representation of the state of a general time system and the use of sequential machines. Time-invariant time systems and stochastic productions are the basis of robust production. The point of production and the time system find an ideal symbiosis in the use of finite automatons: A finite number of states together with a limited amount of inputs leads to state-driven production - one of the essential prerequisites for the realization of Industry 4.0. This creates the basis for the representation of the state of a general time system and the use of sequential machines. Time-invariant time systems and stochastic productions are the basis of robust production. The point of production and the time system find an ideal symbiosis in the use of finite automata: A finite number of states together with a limited number of inputs leads to state-driven production - one of the essential prerequisites for the realization of Industry 4.0. AU - Dangelmaier, Wilhelm ID - 25253 TI - Production theory 3 ER - TY - BOOK AU - Helmke, Stefan AU - Uebel, Matthias AU - Dangelmaier, Wilhelm ID - 25254 TI - Effektives Customer Relationship Management ER - TY - CONF AU - Weber, Jens AU - Reisch, Raphael-Elias AU - Schr{\, Christian AU - Laroque, Christoph ED - Roeder, T. M. K ED - Frazier, P. I ED - Szechtman, R ED - Zhou, E ED - Huschka, T ED - Chick, S. E ID - 25257 TI - Setup Optimization Based on Virtual Tooling for Manufacturing in Order to Provide an Intelligent Work Preparation Process ER - TY - CONF AU - Weber, Jens ID - 25258 TI - A Multi-User-Collaboration Platform Concept for Managing Simulation-Based Optimization of Virtual Tooling as Big Data Exchange Service ER - TY - CONF AU - Weber, Jens ID - 25259 TI - Theoretical Concept of Inverse Kinematic Models to determine valid Work Areas using Target Coordinates from NC-programs ER - TY - CHAP AU - Geierhos, Michaela ED - Gronau, Norbert ED - Becker, J {\ "o} rg ED - Sinz, Elmar ED - Suhl, L ED - Leimeister, Jan Marco ID - 25260 T2 - Encyclopedia {\ "a} the business informatics TI - Sentiment analysis ER - TY - CHAP AU - Geierhos, Michaela ED - Gronau, Norbert ED - Becker, J {\ "o} rg ED - Sinz, Elmar ED - Suhl, L ED - Leimeister, Jan Marco ID - 25261 T2 - Encyclopedia {\ "a} the business informatics TI - Webmonitoring ER - TY - CONF AU - Dollmann, Markus AU - Geierhos, Michaela ID - 25262 T2 - Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing TI - On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements ER - TY - CHAP AU - Geierhos, Michaela ED - Gronau, Norbert ED - Becker, J {\ "o} rg ED - Sinz, Elmar ED - Suhl, L ED - Leimeister, Jan Marco ID - 25263 T2 - Encyclopedia {\ "a} the business informatics TI - Crawler (focused / not focused) ER - TY - CHAP AU - Geierhos, Michaela ED - Gronau, Norbert ED - Becker, J {\ "o} rg ED - Sinz, Elmar ED - Suhl, L ED - Leimeister,, Jan Marco ID - 25264 T2 - Encyclopedia {\ "a} the business informatics TI - Text Mining ER -