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.

469 Publications

2010 | Conference Paper | LibreCat-ID: 8023
Holistic Model-Based Testing for Business Information Systems
M. Mlynarski, in: Proceedings of 3rd International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2010, pp. 327–330.

2010 | Conference Paper | LibreCat-ID: 8028
Precise Detection of Conflicting Change Operations using Process Model Terms
C. Gerth, J. Küster, M. Luckey, G. Engels, in: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), Springer, Berlin/Heidelberg, 2010, pp. 93–107.
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 8030
Enriching RUP with key success factors for large-scale custom software development projects
M. Heinemann, B. Duwe, G. Engels, in: Software & Systems Engineering Essentials (SEE) 2010, Technische Universität München, 2010, pp. 37–56.

2010 | Conference Paper | LibreCat-ID: 8035
Erweiterung des TPI-Modells zur Reifegradbewertung unter Berücksichtigung von projekteigenen Anforderungen
Y. Sancar, C. Schumacher, in: Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 299–314.

2010 | Journal Article | LibreCat-ID: 807
Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach
H. Simon Lichte, S. Valentin, H. Karl, Mobile Networks and Applications (2010) 769--785.
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 3193
On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).

2010 | Conference Paper | LibreCat-ID: 3465
Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften
J. Becker, D. Beverungen, N. Blinn, M. Fellmann, R. Knackstedt, M. Nüttgens, O. Thomas, in: Proceedings of the Multikonferenz Wirtschaftsinformatik, Göttingen, Germany, 2010.

2010 | Journal Article | LibreCat-ID: 3504
The Challenge of Conceptual Modeling for Product-Service Systems --- Status-quo and Perspectives for Reference Models and Modeling Languages
J. Becker, D. Beverungen, R. Knackstedt, Information Systems and E-Business Management (ISeB) (2010) 12--32.

2010 | Journal Article | LibreCat-ID: 3624
How Epistemic Beliefs Influence e-Learning in Daily Work-life.
C. Harteis, H. Gruber, H. Hertramph, Journal of Educational Technology & Society 13 (2010) 201–211.

Filters and Search Terms



Filter Publications

Display / Sort

Export / Embed