Alloy as a Refactoring Checker?
H..-Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

Integrating a formal method into a software engineering process with UML and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat: /record/3206

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig\'22un (Eds.), Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research
J. Becker, D. Beverungen, R. Knackstedt, in: Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.
LibreCat: /record/3477

Modeling, Customer-Specific Configuration and Calculation of Value Bundles
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, in: Americas Conference on Information Systems, Toronto, Canada, 2008.
LibreCat: /record/3478

Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus
D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
LibreCat: /record/3479

Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail
A. Winkelmann, D. Beverungen, C. Janiesch, J. Becker, in: Proceedings of the 16th European Conference on Information Systems, Galway, Ireland, 2008.
LibreCat: /record/3480

Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte
D. Beverungen, R. Knackstedt, O. Müller, Wirtschaftsinformatik (2008) 220--234.
LibreCat: /record/3507

Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze
J. Müller, Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze, Springer Gabler, 2008.
LibreCat: /record/3558

Intuition and professional competence: Intuitive versus rational forecasting of the stock market
C. Harteis, H. Gruber, Vocations and Learning (2008) 71--85.
LibreCat: /record/3597

Emerging perspectives of workplace learning
S. Billett, C. Harteis, A. Eteläpelto, eds., Emerging Perspectives of Workplace Learning, Sense, Rotterdam, 2008.
LibreCat: /record/3598

The culture of learning from mistakes: How employees handle mistakes in everyday work
C. Harteis, J. Bauer, H. Gruber, International Journal of Educational Research (2008) 223--231.
LibreCat: /record/3604

The workplace as learning environment: Introduction
C. Harteis, S. Billett, International Journal of Educational Research (2008) 209--212.
LibreCat: /record/3605

How important is intuition for teaching expertise in the field of adult education?
C. Harteis, H. Gruber, Studies in the Education of Adults (2008) 96--109.
LibreCat: /record/3610

How Intuition Contributes to High Performance: An Educational Perspective.
C. Harteis, T. Koch, B. Morgenthaler, US-China Education Review 5 (2008) 68--80.
LibreCat: /record/3616

Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen
H. Gruber, C. Harteis, N.-V. Paetz, S. Keil, Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen, Universität Regensburg, Regensburg, 2008.
LibreCat: /record/3631