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.
9931 Publications
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927). https://doi.org/10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, P., & Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 251–260). https://doi.org/10.1145/2486159.2486183
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 7271
de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M., … Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II, 1–32. https://doi.org/10.1007/978-3-642-35813-5_1
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 7272
Bouillon, E., Güldali, B., Herrmann, A., Keuler, T., Moldt, D., & Riebisch, M. (2013). Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends, 33(1), 29–30.
LibreCat
2013 | Journal Article | LibreCat-ID: 7273
Grieger, M., Güldali, B., Sauer, S., & Mlynarski, M. (2013). Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials), 1–4.
LibreCat
2013 | Journal Article | LibreCat-ID: 7274
Fazal-Baqaie, M., Güldali, B., Luckey, M., Sauer, S., & Spijkerman, M. (2013). Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. OBJEKTspektrum (Online Themenspecials), (RE/2013), 1–5.
LibreCat
2013 | Journal Article | LibreCat-ID: 7275
Engels, G., & Luckey, M. (2013). Editorial. Computer Science - Research and Development, 28(1), 1–2.
LibreCat
2013 | Journal Article | LibreCat-ID: 7276
Engels, G., Gerth, C., Kleinjohann, B., Kleinjohann, L., Müller, W., & Sauer, S. (2013). Informationstechnik spart Ressourcen. Forschungsforum Paderborn, 16/2013, 54–61.
LibreCat
2013 | Journal Article | LibreCat-ID: 7277
Gerth, C., Küster, J., Luckey, M., & Engels, G. (2013). Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling, 12(3), 517–535.
LibreCat
2013 | Journal Article | LibreCat-ID: 7278
Faragó, D., Törsel, A.-M., Mlynarski, M., Weißleder, S., Güldali, B., & Brandes, C. (2013). Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. OBJEKTspektrum, 4, 32–38.
LibreCat
2013 | Book Chapter | LibreCat-ID: 7523
Engels, G., & Sauer, S. (2013). Object-oriented Modeling of Multimedia Applications. In S. K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering (Vol. 2, pp. 21--53). Singapore: World Scientific Publishing Company. https://doi.org/10.1142/4603
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling. Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 7571
Gerth, C. (2013). Business Process Models - Change Management.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 769
Biermann, T., Scalia, L., Choi, C., Kellerer, W., & Karl, H. (2013). How backhaul networks influence the feasibility of coordinated multipoint in cellular networks. {IEEE} Communications Magazine, (8). https://doi.org/10.1109/MCOM.2013.6576356
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 8485
Spijkerman, M. (2013). Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear) (Vol. 215, pp. 425--434). GI.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8486
Nagel , B., Gerth , C., Post, J., & Engels, G. (2013). Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13) (Vol. 998, pp. 9--16). CEUR-WS.org.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8487
Kehrer , T., & Gerth, C. (2013). CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13) (Vol. 33, pp. 32–34). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8488
Grieger , M., & Sauer, S. (2013). Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In Software Engineering 2013 Workshopband (pp. 189–200). GI, Köllen Druck+Verlag GmbH, Bonn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8489
Nagel , B., Gerth , C., & Engels, G. (2013). Goal-driven Composition of Business Process Models. In Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8490
Fazal-Baqaie , M., Luckey , M., & Engels, G. (2013). Assembly-based Method Engineering with Method Patterns. In Software Engineering 2013 Workshopband (pp. 435–444). GI, Köllen Druck+Verlag GmbH, Bonn.
LibreCat