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 - TY - CHAP AU - Gruber, Hans AU - Harteis, Christian ED - Renkl, Alexander ID - 3642 T2 - Lehrbuch Pädagogische Psychologie TI - Lernen und Lehren im Erwachsenenalter ER - TY - JOUR AB - Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen AU - Sureth-Sloane, Caren AU - Müller, Jens AU - Houben, Henriette AU - Maiterth, Ralf ID - 3695 JF - Unternehmensbesteuerung KW - Erbschaft-und Schenkungsteuergesetz KW - Steueraufkommen KW - verkehrswertorientierte Bewertung von Unternehmens-und Grundvermögen TI - Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen ER - TY - CONF AU - Stern, Claudius AU - Adelt, Philipp AU - Krummel, Volker AU - Ackermann, Marcel Rudolf ID - 3001 SN - 9780769530949 T2 - Fourth International Conference on Networking and Services (icns 2008) TI - Reliable Evidence of Data Integrity from an Untrusted Storage Service ER - TY - JOUR AU - Gries, Thomas AU - Naudé, Wim AU - Wood, Eric AU - Meintjes, Aloe ID - 3061 IS - 2 JF - Entrepreneurship & Regional Development TI - Regional Determinants of Entrepreneurial Start-Ups in a Developing Country VL - 20 ER - TY - JOUR AU - Gries, Thomas AU - Naudé, Wim ID - 3062 IS - 2 JF - Review of Developing Economics TI - Trade and Endogenous Formation of Regions in a Developing Country VL - 12 ER - TY - CONF AU - Gajek, Sebastian AU - Jager, Tibor AU - Manulis, Mark AU - Schwenk, Jörg ID - 3143 T2 - Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings TI - A Browser-Based Kerberos Authentication Scheme ER - TY - CONF AU - Altmann, Kristina AU - Jager, Tibor AU - Rupp, Andy ID - 3144 T2 - Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations TI - On Black-Box Ring Extraction and Integer Factorization ER - TY - CONF AU - Jager, Tibor AU - Schwenk, Jörg ID - 3145 T2 - Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings TI - On the Equivalence of Generic Group Models ER - TY - CONF AU - Jager, Tibor AU - Jäkel, Heiko AU - Schwenk, Jörg ID - 3146 T2 - Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. TI - Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS ER - TY - JOUR AU - Libuda, Lars AU - Alexy, Ute AU - Remer, Thomas AU - Stehle, Peter AU - Schoenau, Eckhard AU - Kersting, Mathilde ID - 27137 JF - The American Journal of Clinical Nutrition SN - 0002-9165 TI - Association between long-term consumption of soft drinks and variables of bone modeling and remodeling in a sample of healthy German children and adolescents ER - TY - GEN AU - Gries, Thomas AU - Redlin, Margarete ID - 2736 TI - China’s provincial disparities and the determinants of provincial inequality VL - 2008-11 ER - TY - GEN AU - Gries, Thomas AU - Redlin, Margarete ID - 2737 SN - 978-92-9230-116-3 TI - International integration and regional development in China VL - 2008.66 ER - TY - JOUR AU - Libuda, Lars AU - Alexey, U. AU - Stehle, P. AU - Kersting, M. ID - 27586 JF - Aktuelle Ernährungsmedizin TI - Konsum von Erfrischungsgetränken und Entwicklung des Körpergewichts im Kindes- und Jugendalter – Gibt es eine Verbindung? VL - 33 ER - TY - JOUR AU - Libuda, Lars AU - Kersting, M. ID - 27587 JF - Ernährungsumschau TI - DONALD News: Erfrischungsgetränke und Ernährungsqualität. VL - 55 ER - TY - JOUR AU - Buyken, Anette AU - Karaolis-Danckert, Nadina AU - Remer, Thomas AU - Bolzenius, Katja AU - Landsberg, Beate AU - Kroke, Anja ID - 27714 JF - Obesity SN - 1930-7381 TI - Effects of Breastfeeding on Trajectories of Body Fat and BMI throughout Childhood ER - TY - JOUR AU - Toeller, M. AU - Buyken, Anette AU - Heitkamp, G. AU - Berg, G. AU - Scherbaum, W. ID - 27773 JF - Hormone and Metabolic Research SN - 0018-5043 TI - Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions ER - TY - CHAP AU - Schlegel-Matthies, Kirsten ED - Antoni-Komar, I. ED - Pfriem, R. ED - Raabe, T. ED - Spiller, A. ID - 27887 T2 - Ernährung, Kultur, Lebensqualität. Wege regionaler Nachhaltigkeit TI - Ernährungsbildung in Unterricht und Schulprofil. Essen und Trinken in der Schule – Bildungschance und Beitrag zu sozialer Gerechtigkeit ER - TY - CHAP AU - Methfessel, B. AU - Ritterbach, U. AU - Schlegel-Matthies, Kirsten ED - Frederking, V. ID - 27888 T2 - .): Schwer messbare Kompetenzen. Herausforderungen für die empirische Fachdidaktik TI - Private Lebensführung als Umgang mit Komplexität - ein schwer operationalisierbares Bildungsziel ER - TY - CONF AB - Ce papier présente le contexte linguistique et la modélisation de notre système iBeCOOL (Informations Biographiques Extraites à l’aide de COntextes Observés Linguistiquement) dédié à l’extraction d’informations biographiques dans les textes de la presse financière en langue anglaise. La notion d’événement biographique (tel que la naissance, le mariage, la carrière professionnelle) est caractérisée formellement par un schéma prédicatif à plusieurs arguments dont l’un étant une instance de la classe d’objets . Notre approche consiste à décrire ces types de relations à l’aide de grammaires locales etde lexiques terminologiques. Nos résultats montrent que cette approche semble viable et nous poussent à élargir cette étude par l’analyse de nouveaux genres textuels. AU - Geierhos, Michaela AU - Blanc, Olivier AU - Bsiri, Sandra ID - 1108 KW - extraction d’informations biographiques KW - elations sémantiques KW - grammaires locales KW - entités nommées KW - enrichissement du lexique T2 - Proceedings of the Lexis and Grammar Conference 2008 TI - iBeCOOL - Extraction d'informations biographiques dans les textes financiers ER - TY - CHAP AU - Geierhos, Michaela AU - Bsiri, Sandra ED - Gross , Gaston ED - Schulz, Klaus U. ID - 1109 SN - 978-1-904987-80-2 T2 - Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6) TI - ProfilPro: Reconstitution automatique d'un profil professionnel à partir des documents du Web VL - 6 ER - TY - JOUR AU - Geierhos, Michaela AU - Blanc, Olivier AU - Bsiri, Sandra ID - 1110 IS - 1 JF - Traitement Automatique des Langues (TAL) TI - RELAX - Extraction de relations sémantiques dans les contextes biographiques VL - 49 ER - TY - CONF AU - Tichy, Matthias AU - Henkler, Stefan AU - Meyer, Matthias AU - von Detten, Markus ID - 20938 T2 - Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany TI - Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse ER - TY - CONF AB - In this paper, we report on a new approach of aspect-oriented modelling, which is particularly suited for domains with naturally born aspects as part of that domain: MoDowA for Modelling Domains with Aspects. Though these models are on a very high level of abstraction and could be made early in the development process, these models are fully operational in that they can be executed by an interpreter. This way, we shed a light on Aspect-oriented Modelling from a new, different angle. AU - Kindler, Ekkart AU - Schmelter, David ID - 20957 SN - 9781605581453 T2 - Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08 TI - Aspect-oriented modelling from a different angle ER - TY - CONF AB - A current trend in Software Engineering is the development of self-adaptive component-based software architectures. Our modeling approach for component-based software systems Mechatronic UML, integrated in the Fujaba Real-Time Tool Suite plugin for Fujaba4Eclipse, supports self-adaptiveness only to a certain degree. This paper presents tool support for an extension of Mechatronic UML, which facilitates initialization and recon guration of a Mechatronic UML system based on Story Diagrams and thus enables a step towards self-adaptiveness on a structural level. AU - Holtmann, Jörg AU - Tichy, Matthias ID - 20964 T2 - Proc. of the 6th International Fujaba Days 2008, Dresden, Germany TI - Component Story Diagrams in Fujaba4Eclipse ER - TY - GEN AU - Holtmann, Jörg ID - 20965 TI - Graphtransformationen für komponentenbasierte Softwarearchitekturen ER - TY - CONF AB - To cope with the high complexity of software in advanced technical systems, the software of these systems is often built in a component-based fashion. The growing usage of self-adaptive techniques leads to sophisticated reconfigurations of the software component structures during runtime. Current modeling approaches for component-based software systems do not include a transformation language for the specification of component structure reconfigurations. In this paper we therefore introduce an extension of a component-based modeling approach. This extension enables (1) the specification of hierarchical component structures and (2) the specification of structural transformations based on the specified hierarchical component structures. Further, as we consider mechatronic systems, we also show the predictable runtime behavior of the transformations. AU - Tichy, Matthias AU - Henkler, Stefan AU - Holtmann, Jörg AU - Oberthür, Simon ID - 20966 T2 - Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany TI - Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems VL - 236 ER - TY - GEN AU - Holtmann, Jörg ID - 20968 TI - Graphtransformationen für komponentenbasierte Softwarearchitekturen ER - TY - JOUR AU - Guo, Hongcang AU - Meyrath, Todd P. AU - Zentgraf, Thomas AU - Liu, Na AU - Fu, Liwei AU - Schweizer, Heinz AU - Giessen, Harald ID - 1737 IS - 11 JF - Optics Express SN - 1094-4087 TI - Optical resonances of bowtie slot antennas and their geometry and material dependence VL - 16 ER - TY - JOUR AU - Valentine, Jason AU - Zhang, Shuang AU - Zentgraf, Thomas AU - Ulin-Avila, Erick AU - Genov, Dentcho A. AU - Bartal, Guy AU - Zhang, Xiang ID - 1738 IS - 7211 JF - Nature SN - 0028-0836 TI - Three-dimensional optical metamaterial with a negative refractive index VL - 455 ER - TY - JOUR AU - Meyrath, T. P. AU - Zentgraf, Thomas AU - Rockstuhl, C. AU - Giessen, H. ID - 1739 IS - 1 JF - Applied Physics B SN - 0946-2171 TI - Electromagnetic induction in metamaterials VL - 93 ER -