Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1026 Publications
2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat
| DOI
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
2008 | Journal Article | LibreCat-ID: 3205
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
| DOI
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
2008 | Conference Paper | LibreCat-ID: 3207
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
| DOI
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.
2008 | Conference Paper | LibreCat-ID: 3208
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
| DOI
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.
2008 | Conference Paper | LibreCat-ID: 3209
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
| DOI
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.
2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat
| DOI
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
2008 | Conference Paper | LibreCat-ID: 3477
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
J. Becker, D. Beverungen, R. Knackstedt, in: Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.
2008 | Conference Paper | LibreCat-ID: 3478
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
| Download (ext.)
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, in: Americas Conference on Information Systems, Toronto, Canada, 2008.
2008 | Conference Paper | LibreCat-ID: 3479
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
D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, A. Stein, in: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
2008 | Conference Paper | LibreCat-ID: 3480
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
A. Winkelmann, D. Beverungen, C. Janiesch, J. Becker, in: Proceedings of the 16th European Conference on Information Systems, Galway, Ireland, 2008.
2008 | Journal Article | LibreCat-ID: 3507
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
| Download (ext.)
D. Beverungen, R. Knackstedt, O. Müller, Wirtschaftsinformatik (2008) 220--234.
2008 | Book | LibreCat-ID: 3558
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
J. Müller, Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze, Springer Gabler, 2008.
2008 | Journal Article | LibreCat-ID: 3597
Intuition and professional competence: Intuitive versus rational forecasting of the stock market
C. Harteis, H. Gruber, Vocations and Learning (2008) 71--85.
LibreCat
C. Harteis, H. Gruber, Vocations and Learning (2008) 71--85.
2008 | Book (Editor) | LibreCat-ID: 3598
Emerging perspectives of workplace learning
S. Billett, C. Harteis, A. Eteläpelto, eds., Emerging Perspectives of Workplace Learning, Sense, Rotterdam, 2008.
LibreCat
S. Billett, C. Harteis, A. Eteläpelto, eds., Emerging Perspectives of Workplace Learning, Sense, Rotterdam, 2008.
2008 | Journal Article | LibreCat-ID: 3604
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
C. Harteis, J. Bauer, H. Gruber, International Journal of Educational Research (2008) 223--231.
2008 | Journal Article | LibreCat-ID: 3605
The workplace as learning environment: Introduction
C. Harteis, S. Billett, International Journal of Educational Research (2008) 209--212.
LibreCat
C. Harteis, S. Billett, International Journal of Educational Research (2008) 209--212.
2008 | Journal Article | LibreCat-ID: 3610
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
C. Harteis, H. Gruber, Studies in the Education of Adults (2008) 96--109.
2008 | Journal Article | LibreCat-ID: 3616
How Intuition Contributes to High Performance: An Educational Perspective.
C. Harteis, T. Koch, B. Morgenthaler, US-China Education Review 5 (2008) 68--80.
LibreCat
C. Harteis, T. Koch, B. Morgenthaler, US-China Education Review 5 (2008) 68--80.
2008 | Report | LibreCat-ID: 3631
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
H. Gruber, C. Harteis, N.-V. Paetz, S. Keil, Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen, Universität Regensburg, Regensburg, 2008.