TY - JOUR AU - Estler, H.{-}Christian AU - Wehrheim, Heike ID - 3204 JF - Electr. Notes Theor. Comput. Sci. TI - Alloy as a Refactoring Checker? ER - TY - JOUR AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ID - 3205 IS - 2 JF - Formal Asp. Comput. TI - Integrating a formal method into a software engineering process with {UML} and Java ER - TY - JOUR AU - Brückner, Ingo AU - Dräger, Klaus AU - Finkbeiner, Bernd AU - Wehrheim, Heike ID - 3206 IS - 4 JF - Fundam. Inform. TI - Slicing Abstractions ER - TY - CONF AU - Engels, Gregor AU - Kleppe, Anneke AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Schieferdecker, Ina ED - Hartman, Alan ID - 3207 T2 - Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings TI - From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Barthe, Gilles ED - S. de Boer, Frank ID - 3208 T2 - Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings TI - Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack ER - TY - CONF AU - Metzler, Björn AU - Wehrheim, Heike AU - Wonisch, Daniel ED - Liu, Shaoying ED - S. E. Maibaum, T. ED - Araki, Keijiro ID - 3209 T2 - Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings TI - Decomposition for Compositional Verification ER - TY - CONF AU - Wehrheim, Heike ED - S. Fitzgerald, John ED - Elisabeth Haxthausen, Anne ED - Yenig{\"{u}}n, H{\"{u}}sn{\"{u}} ID - 3210 T2 - Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings TI - Bounded Model Checking for Partial Kripke Structures ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf ID - 3477 T2 - Proceedings of the 41th Hawai'i International Conference on System Sciences TI - Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Müller, Oliver ID - 3478 T2 - Americas Conference on Information Systems TI - Modeling, Customer-Specific Configuration and Calculation of Value Bundles ER - TY - CONF AU - Beverungen, Daniel AU - Kaiser, Uwe AU - Knackstedt, Ralf AU - Krings, Robin AU - Stein, Armin ID - 3479 T2 - Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) TI - Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus ER - TY - CONF AU - Winkelmann, Axel AU - Beverungen, Daniel AU - Janiesch, Christian AU - Becker, Jörg ID - 3480 T2 - Proceedings of the 16th European Conference on Information Systems TI - Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail ER - TY - JOUR AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Müller, Oliver ID - 3507 IS - 3 JF - Wirtschaftsinformatik TI - Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte ER - TY - BOOK AB - Über 50 Jahre wurde das Stuttgarter Verfahren verwendet, um den Wert nicht börsennotierter Unternehmen für die Erbschaft-, Schenkung- und Vermögensteuer zu bestimmen. Durch das Urteil des Bundesverfassungsgerichts vom 07.11.2006 ist der Gesetzgeber verpflichtet, die Erbschaftsteuer zu reformieren und eine marktnahe Bewertung von Unternehmensvermögen sicherzustellen. Auf der Basis einer umfangreichen empirischen Analyse geht Jens Müller den Fragen nach, wie stark eine Bewertung durch das Stuttgarter Verfahren von Marktwerten abweicht und in welchen Fällen eine akzeptable Approximation des Marktwertes erreicht wird. In der Praxis wird das Multiplikatorverfahren häufig zur Bewertung nicht börsennotierter Unternehmen verwendet. Der Autor untersucht, in welcher Form dieses Verfahren auch für steuerliche Zwecke geeignet ist und zeigt auf, mit welchen Schätzfehlern zu rechnen ist. AU - Müller, Jens ID - 3558 KW - Steuer- KW - Rechnungs- und Prüfungswesen SN - 978-3834912879 TI - Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze ER - TY - JOUR AU - Harteis, Christian AU - Gruber, Hans ID - 3597 IS - 1 JF - Vocations and Learning TI - Intuition and professional competence: Intuitive versus rational forecasting of the stock market ER - TY - BOOK ED - Billett, Stephen ED - Harteis, Christian ED - Eteläpelto, Anneli ID - 3598 TI - Emerging perspectives of workplace learning ER - TY - JOUR AU - Harteis, Christian AU - Bauer, Johannes AU - Gruber, Hans ID - 3604 IS - 4 JF - International Journal of Educational Research TI - The culture of learning from mistakes: How employees handle mistakes in everyday work ER - TY - JOUR AU - Harteis, Christian AU - Billett, Stephen ID - 3605 IS - 4 JF - International Journal of Educational Research TI - The workplace as learning environment: Introduction ER - TY - JOUR AU - Harteis, Christian AU - Gruber, Hans ID - 3610 IS - 1 JF - Studies in the Education of Adults TI - How important is intuition for teaching expertise in the field of adult education? ER - TY - JOUR AU - Harteis, Christian AU - Koch, Tina AU - Morgenthaler, Barbara ID - 3616 IS - 1 JF - US-China Education Review TI - How Intuition Contributes to High Performance: An Educational Perspective. VL - 5 ER - TY - GEN AU - Gruber, Hans AU - Harteis, Christian AU - Paetz, Nadja-Verena AU - Keil, Stefanie ID - 3631 TI - Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen ER -