Personensuche
Personensuche
Es wurde 1 Person gefunden.
Informatik / SE
Anschrift
Gerlingstr. 16
45127 Essen
45127 Essen
Raum
S - GW 206
Telefon
Telefax
Webseite
Funktionen
-
Universitätsprofessor/in em./i.R., Spezifikation von Softwaresystemen
Aktuelle Veranstaltungen
Keine aktuellen Veranstaltungen.
Vergangene Veranstaltungen (max. 10)
-
WiSe 2022
- Programmierung A (Übung)
- Programmierung B
- Programmierung (Übung)
- Programmierung A
- Programmierung
- Projektgruppe Spezifikation von Softwaresystemen (Masterprojekt I-III)
- Bachelorprojekt Spezifikation von Softwaresystemen
- Programmierung B (Übung)
- Formale Methoden des Software Engineering
- Formale Methoden des Software Engineering (Übung)
Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.
-
Investigating Research Software Engineering : Toward RSE ResearchIn: Communications of the ACM (CACM), Jg. 68, 2025, Nr. 2, S. 20 – 23DOI (Open Access)
-
Ontology Versioning for Managing Inconsistencies in Engineering Models Arising From Model Changes in the Design of Intralogistics SystemsIn: IEEE Transactions on Automation Science and Engineering, Jg. 22, 2025, S. 1249 – 1261DOI, Online Volltext (Open Access)
-
Developing and evaluating an e-learning and e-assessment tool for organic chemistry in higher educationIn: Frontiers in Education, Jg. 9, 2024, 1355078DOI, Online Volltext (Open Access)
-
Inconsistency management in heterogeneous engineering data in intralogistics based on coupled metamodelsIn: at - Automatisierungstechnik, Jg. 71, 2023, Nr. 5, S. 364 – 379DOI (Open Access)
-
Konsistenzmanagement zum optimierten Data Management als Basis zur Anwendung von Data Science im Produktlebenszyklus von MaterialflusssystemenIn: Logistics Journal: Proceedings, 2022, Nr. 11DOI, Online Volltext (Open Access)
-
When is the Best Time to Learn? : Evidence from an Introductory Statistics CourseIn: Open Education Studies, Jg. 3, 2021, Nr. 1, S. 84 – 95DOI (Open Access)
-
Technical Aspects of Automated Item Generation for Blended Learning Environments in Biology : An Analysis of Two Case Studies from the Fields of Botany and GeneticsIn: i-com: Journal of Interactive Media, Jg. 19, 2020, Nr. 1, S. 3 – 15
-
E-Assessment Using Variable-Content Exercises in Mathematical StatisticsIn: Journal of Statistics and Data Science Education (JSDSE), Jg. 26, 2018, Nr. 3, S. 174 – 189DOI (Open Access)
-
Introduction to the special section-general theories of software engineering : new advances and implications for researchIn: Information and Software Technology, Jg. 70, 2016, S. 176 – 180DOI (Open Access)
-
Variability for Qualities in Software ArchitectureIn: ACM SIGSOFT Software Engineering Notes, Jg. 41, 2016, Nr. 1, S. 32 – 35
-
Design for future: managed software evolution : The DFG priority programme for long-living software systemsIn: Computer Science, Research + Development, Jg. 30, 2015, Nr. 3, S. 321 – 331DOI (Open Access)
-
Towards general theories of software engineeringIn: Science of Computer Programming, Jg. 101, 2015, Nr. April, S. 1 – 5
-
Report on the Second SEMAT Workshop on General Theory of Software Engineering (GTSE 2013)In: ACM SIGSOFT Software Engineering Notes, Jg. 38, 2013, Nr. 5, S. 47 – 50
-
Design for Future : Legacy-Probleme von morgen vermeidbar?In: Informatik-Spektrum, Jg. 32, 2009, Nr. 5, S. 393 – 397
-
Automation of Java Code Analysis for Programming Exercises
Third International Workshop on Graph Based Tools (GraBaTs 2006) ; September 21-22, 2006, Natal, Brazil,In: Electronic Communications of the EASST, Jg. 1, 2006DOI (Open Access) -
Strategische Bedeutung des Software Engineering in DeutschlandIn: Dagstuhl Seminar Proceedings, Jg. 5402, 2006
-
Designing Runtime Variation Points in Product Line Architectures : Three CasesIn: Science of Computer Programming, Jg. 53, 2004, Nr. 3, S. 353 – 380
-
Piecemeal legacy migrating with an architectural pattern language : A case studyIn: Journal of Software Maintenance and Evolution: Research and Practice, Jg. 14, 2002, Nr. 1, S. 1 – 30
-
Towards an Integration of Different Specification Methods by Using the ViewPoint FrameworkIn: Journal of Integrated Design & Process Science, Jg. 6, 2002, Nr. 2, S. 1 – 23
-
Hierarchical Specification of Graphical User Interfaces using a Graph Grammar ApproachIn: Journal of Integrated Design and Process Science, Jg. 5, 2001, Nr. 1, S. 67 – 86
-
A High Level Design Framework for Software SystemsIn: Journal of Integrated Design and Process Science, 1998
-
Dealing with Inconsistencies between Requirements and DesignIn: Softwaretechnik-Trends (STT), Jg. 17, 1997, Nr. 1, S. 11 – 12
-
Java in der Programmierausbildung : Konzept und erste ErfahrungenIn: Informatik-Spektrum, Jg. 20, 1997, Nr. 6, S. 357 – 363
-
Viewpoints : A Framework for Integrating Multiple Perspectives in System DevelopmentIn: International Journal of Software Engineering and Knowledge Engineering, Jg. 2, 1992, Nr. 1, S. 31 – 57
-
Towards a Formally Based Component Description Language : a Foundation for ReuseIn: Structured Programming, Jg. 12, 1991, Nr. 2
-
Foreword to the Special Issue in Empirical Software Engineering : Best Papers of REFSQ 2019In: Empirical Software Engineering. Berlin: Springer, Jg. 25, 2020, Nr. 5, S. 4348 – 4349DOI (Open Access)
-
PrefaceIn: Requirements Engineering: Foundationfor Software Quality; Proceedings / 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019 / Knauss, Eric; Goedicke, Michael (Hrsg.). Cham: Springer, 2019, S. V – VI
-
E-Science als Herausforderung für die InformatikIn: Informatik-Spektrum. Berlin: Springer, Jg. 41, 2018, Nr. 6, S. 357 – 358DOI (Open Access)
-
Rapid continuous software engineeringIn: Journal of Systems and Software. Amsterdam: Elsevier, Jg. 133, 2017, S. 159
-
Message from the workshop chairsIn: Proceedings - 1st International Workshop on Variability and Complexity in Software Design, VACE 2016 / st International Workshop on Variability and Complexity in Software Design, VACE 2016: Association for Computing Machinery, Inc, 2016, S. VII
-
Message from the ChairsIn: ICSE 2003: proceedings, 25th International Conference on Software Engineering : 3-10 May, 2003, Portland, Oregon USA / International Conference on Software Engineering ; ICSE ; 3-10 May 2003, Portland. Los Alamitos: IEEE, 2003, S. XV
-
Code reading exercises using run time tracesIn: Proceedings of the 2014 conference on Innovation & technology in computer science education (ITiCSE 2014) / Innovation and Technology in Computer Science Education Conference ; ITICSE ; 21-25 June 2014, Uppsala, Sweden. New York: ACM, 2014, S. 346
-
SMOKE : Simulink Model Obfuscator Keeping StructureIn: MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems / MODELS Companion '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems; Linz, Austria; September 22 - 27, 2024 / Wimmer, Manuel; Egyed, Alexander (Hrsg.). New York: Association for Computing Machinery (ACM), 2024, S. 41 – 45DOI (Open Access)
-
Effects of Early Warning Emails on Student PerformanceIn: Proceedings of the 15th International Conference on Computer Supported Education: Volume 1 / Jovanovic, Jelena; Chounta, Irene-Angelica; Uhomoibhi, James; McLaren, Bruce (Hrsg.): Science and Technology Publications, Lda, 2023, S. 225 – 232
-
Inkonsistenzmanagement in Entwicklungsmodellen für IntralogistiksystemeIn: Automation 2023: 24. Leitkongress der Mess- und Automatisierungstechnik ; Transformation by Automation / 24. Leitkongress der Mess- und Automatisierungstechnik ; Transformation by Automation ; 27. und 28. Juni 2023, Baden-Baden / VDI Wissensforum (Hrsg.). Düsseldorf: VDI Verlag, 2023, S. 89 – 102
-
Efficient Structural Analysis of Source Code for Large Scale Applications in EducationIn: Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022): Digital Transformation for Sustainable Engineering Education / IEEE Global Engineering Education Conference (EDUCON 2022) : Digital Transformation for Sustainable Engineering Education, 28.-31.03.2022, Tunis / Kallel, Ilhem; Kammoun, Habib M.; Hsairi, Lobna (Hrsg.). New York: IEEE Computer Society, 2022, S. 24 – 30
-
Research Data Management in Computer Science : the NFDIxCS ApproachIn: Informatik 2022: Informatik in den Naturwissenschaften / Informatik in den Naturwissenschaften ; 52. Jahrestagung INFORMATIK 2022 ; 26. bis 30.09.2022, Hamburg, Germany / Demmler, Daniel; Krupka, Daniel; Federrath, Hannes (Hrsg.). Bonn: Gesellschaft fur Informatik (GI), 2022, S. 1317 – 1328DOI (Open Access)
-
Automated measurement of competencies and generation of feedback in object-oriented programming coursesIn: 11th IEEE Global Engineering Education Conference / EDUCON 2020; Porto, Portugal; 27 - 30 April 2020. Piscataway: IEEE Computer Society, Jg. April, 2020, S. 329 – 338
-
Quantitative Methodenkompetenzen im Praxissemester in Lehramtsstudiengängen : Didaktisches Konzept eines ergänzenden Online-AngebotsIn: DELFI 2019: Die 17. Fachtagung Bildungstechnologien; Proceedings / DELFI 2019 ; 16.–19. September 2019; Berlin, Deutschland / Pinkwart, Niels; Konert, Johannes (Hrsg.). Bonn: Gesellschaft für Informatik (GI), 2019, S. 327 – 328DOI (Open Access)
-
Technische Aspekte der automatischen: Aufgabengenerierung für Blended Learning Angebote in der Biologie : Eine Analyse an zwei Fallbeispielen aus der Botanik und GenetikIn: DELFI 2019: Die 17. Fachtagung Bildungstechnologien; Proceedings / DELFI 2019 ; 16.–19. September 2019; Berlin, Deutschland / Pinkwart, Niels; Konert, Johannes (Hrsg.). Bonn: Gesellschaft für Informatik (GI), 2019, S. 91 – 102DOI (Open Access)
-
Automatische Generierung von Aufgaben zum CodeverständnisIn: DeLFI 2018: die 16. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 10.-12. September 2018, Frankfurt am Main, Deutschland / 16. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 10.-12. September 2018, Frankfurt am Main, Germany / Krömker, Detlef; Schroeder, Ulrik (Hrsg.). Bonn: Gesellschaft fur Informatik (GI), 2018, S. 153 – 164DOI (Open Access)
-
Klausurprognose mit Hilfe von E-Assessment-NutzerdatenIn: DeLFI 2018: die 16. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 10.-12. September 2018, Frankfurt am Main, Deutschland / 16. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 10.-12. September 2018, Frankfurt am Main, Germany / Krömker, Detlef; Schroeder, Ulrik (Hrsg.). Bonn: Gesellschaft fur Informatik (GI), 2018, S. 171 – 176DOI (Open Access)
-
Supporting evolution of automated material flow systems as part of CPPS by using coupled meta modelsIn: Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018 / 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018; Saint Petersburg; Russian Federation; 15 May - 18 May 2018: Institute of Electrical and Electronics Engineers Inc., 2018, S. 316 – 323
-
A Dashboard for Visualizing Software Engineering Processes Based on ESSENCEIn: Proceedings of the 5th IEEE Working Conference on Software Visualization, VISSOFT 2017 / VISSOFT 2017; Shanghai; China; 18 - 19 September 2017: Institute of Electrical and Electronics Engineers Inc., Jg. 2017-October, 2017, S. 134 – 138
-
A case study of software engineering methods education supported by digital game-based learning : Applying the SEMAT Essence kernel in games and course projectsIn: IEEE Global Engineering Education Conference, EDUCON / 8th IEEE Global Engineering Education Conference, EDUCON 2017; Athens; Greece; 25 April 2017 through 28 April 2017. Piscataway, NJ: IEEE Computer Society, 2017, S. 1689 – 1699
-
Auf dem Weg zu variablen Programmieraufgaben : Requirements Engineering anhand didaktischer AspekteIn: Automatische Bewertung von Programmieraufgaben / 3rd Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), 5-6 October 2017, Potsdam, Germany / Strickroth, Sven; Müller, Oliver; Striewe, Michael (Hrsg.). Aachen: RWTH Aachen, 2017Online Volltext (Open Access)
-
Ein Lückentext-Test zur Beherrschung einer ProgrammierspracheIn: Bildungsräume: DeLFI 2017 ; Die 15. e-Learning Fachtagung Informatik der Gesellschaft für Informatik ; 5. bis 8. September 2017, Chemnitz ; Proceedings / DeLFI 2017, 15. e-Learning Fachtagung Informatik der Gesellschaft für Informatik, 5. bis 8. September 2017, Chemnitz, Germany / Igel, Christoph; Ullrich, Carsten; Wessner, Martin (Hrsg.). Bonn: Gesellschaft für Informatik, 2017, S. 261 – 266
-
Towards competency based testing and feedback : competency definition and measurement in the field of algorithms & data structuresIn: Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON) / Global Engineering Education Conference, EDUCON 2017, 25-28 April 2017, Athen, Griechenland. Piscataway: IEEE, 2017, S. 517 – 526
-
Beobachtungen zum Abbruchverhalten von Studierenden in einem webbasierten Mathematik VorkursIn: Die 14. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. :: Proceedings / DeLFI 2016; Potsdam; Germany; 11 - 14 September 2016 / Lucke, Ulrike; Schwill, Andreas; Zender, Raphael (Hrsg.). Bonn: Gesellschaft für Informatik (GI), 2016, S. 221 – 232
-
From ESSENCE to Theory Oriented Software EngineeringIn: SOFSEM 2016: Theory and Practice of Computer Science / 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 / Freivalds, Rūsiņš Mārtiņš; Engels, Gregor; Catania, Barbara (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, 2016, S. 43 – 50
-
Towards deriving programming competencies from student errorsIn: Proceedings 2016 International Conference on Learning and Teaching in Computing and Engineering: LaTiCE 2016 / Fourth International Conference on Learning and Teaching in Computing and Engineering (LaTiCE 2016), 31. März - 3. April 2016, Mumbai, Indien. Piscataway: IEEE, 2016, S. 19 – 23
-
1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA) : Workshop IntroductionIn: Proceedings of the 2015 European Conference on Software Architecture Workshops / 9th European Conference on Software Architecture (ECSA 2015), September 7 - 11, 2015, Dubrovnik. New York: ACM, 2015, Article No. 22
-
2nd International Workshop on Rapid Continuous Software Engineering (RCoSE 2015)In: Proceedings of the Second ACM International Conference on Mobile Software Engineering and Systems / 37th IEEE International Conference on Software Engineering , 16-24 May 2015, Florence. Piscataway: IEEE Computer Society, 2015, S. 993 – 994
-
4th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015)In: Proceedings of the Second ACM International Conference on Mobile Software Engineering and Systems / 37th IEEE International Conference on Software Engineering , 16-24 May 2015, Florence. Piscataway: IEEE Computer Society, 2015, S. 983 – 984
-
A framework for generic exercises with mathematical contentIn: 2015 International Conference on Learning and Teaching in Computing and Engineering (LaTiCE 2015) / 2015 International Conference on Learning and Teaching in Computing and Engineering (LaTiCE 2015) ; Taipei, Taiwan, 9 - 12 April 2015. Piscataway: IEEE, 2015, S. 70 – 75
-
Aufwand und Nutzen parametrisierbarer, pfadbasierter AufgabenIn: DeLFI 2015 - die 13. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. / 13. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. : 1.-4. September 2015 München, Deutschland / Pongratz, Hans J.; Keil, Reinhard (Hrsg.). Bonn: Gesellschaft fur Informatik (GI), 2015, S. 325 – 327
-
Evolution of the E-Assessment Framework JACKIn: Software Engineering Workshops 2015: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015 / Workshops der Tagung Software Engineering 2015 (SE-WS 2015), 17.-18. März 2015, Dresden, Deutschland. Aachen: RWTH Aachen, 2015, S. 118 – 120Online Volltext (Open Access)
-
Integrating protocol contracts with program code : a leightweight approach for applied behaviour models that respect their execution contextIn: Behavior modeling -- foundations and applications: International Workshops, BM-FA 2009-2014 / Roubtsova, Ella (Hrsg.). Cham: Springer International Publishing, 2015, S. 197 – 219
-
Java, LEDs und ein RaspberryPi : ein Projektversuch mit ErstsemesternIn: Software Engineering im Unterricht der Hochschulen 2015: Tagungsband des 14. Workshops "Software Engineering im Unterricht der Hochschulen" 2015 / 14. Workshops "Software Engineering im Unterricht der Hochschulen", SEUH 2015, 26. - 27. Februar 2015, Dresden / Schmolitzky, Axel; Hauptmann, Anna Sabine (Hrsg.). Aachen: RWTH Aachen, 2015, S. 93 – 101Online Volltext (Open Access)
-
On Flexible Multiple Choice Questions with ParametersIn: Proceedings of the 14th European Conference on e-Learning / ECEL 2015 : 14th European Conference on e-Learning, 29./30. Oktober 2015, Hatfield, United Kingdom / Jefferies, Amanda; Cubric, Marija (Hrsg.): ACPI, 2015, S. 523 – 529
-
Towards a reliable mapping between performance and security tactics, and architectural patternsIn: Proceedings of the 20th European Conference on Pattern Languages of Programs / EuroPLoP '15, 21st European Conference on Pattern Languages of Programs, 6. - 10. Juli 2015, Kloster Irsee. New York: ACM, 2015, Article No. 39
-
Towards systematic selection of architectural patterns with respect to quality requirementsIn: Proceedings of the 20th European Conference on Pattern Languages of Programs / EuroPLoP '15, 21st European Conference on Pattern Languages of Programs, 6. - 10. Juli 2015, Kloster Irsee. New York: ACM, 2015, Article No. 40
-
A Review of Static Analysis Approaches for Programming ExercisesIn: Computer Assisted Assessment: Research into E-Assessment ; International Conference, CAA 2014 ; Zeist, The Netherlands, June 30 – July 1, 2014 ; Proceedings / International Computer-Assisted Assessment Conference ; CAA ; June 30 - July 1, 2014, Zeist, The Netherlands / Kalz, Marco; Ras, Eric (Hrsg.). Cham: Springer International Publishing, 2014, S. 100 – 113
-
Automated assessment of UML activity diagramsIn: Proceedings of the ACM Innovation and Technology in Computer Science Education Conference / The ACM Innovation and Technology in Computer Science Education Conference : June 21 - 25, 2014, Uppsala, Sweden. New York, NY: ACM, 2014, S. 336
-
Begleitende E-Assessments als Unterstützung großer Grundlagenveranstaltungen in der StudieneingangsphaseIn: Grundfragen Multimedialen Lehrens und Lernens: der Qualitätspakt E-Learning im Hochschulpakt 2020 ; [Tagungsband] ; GML2 2014. Münster: Waxmann, 2014, S. 150 – 163
-
Concepts and realisations of flexible exercise design and feedback generation in an e-assessment system for mathematicsIn: Workshop and Work in Progress Papers at CICM 2014: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014) / Workshop and Work in Progress Papers at Conferences on Intelligent Computer Mathematics (CICM 2014), 7-11 July 2014, Coimbra, Portugal / England, Matthew; Davenport, James H.; Kohlhase, Andrea; Kohlhase, Michael; Libbrecht, Paul; Neuper, Walther; Quaresma, Pedro; Sexton, Alan P.; Sojka, Petr; Urban, Josef; Watt, Stephen M. (Hrsg.). Aachen: RWTH Aachen, 2014Online Volltext (Open Access)
-
Integrating protocol contracts with Java codeIn: BM-FA '14: conference proceedings / 2014 Workshop on Behaviour Modelling-Foundations and Applications , York, United Kingdom , July 22 - 22, 2014. New York: ACM, 2014, S. 3
-
JACK und MaStEr : Universitätsübergreifende Weiterentwicklung zweier Mathematik-Vorkurs-Konzepte mit computerbasierter Diagnose und FörderungIn: Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2014: Beiträge zum gleichnamigen Symposium am 7. & 8. November 2014 an der Westfälischen Wilhelms-Universität Münster / Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2014 "Lesen, schreiben, rechnen, heuristisch denken lernen - intelligentes Üben in der Hochschulmathematik", 7.-8. November 2014, Münster; Paravicini, Walther Dietrich; Schnieder, Jörn. Münster: WTM-Verlag für wissenschaftliche Texte und Medien, 2014, S. 197 – 208
-
Analyse von Programmieraufgaben durch SoftwareproduktmetrikenIn: Software Engineering im Unterricht der Hochschulen 2013: Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013 / 13. Workshop "Software Engineering im Unterricht der Hochschulen" (SEUH 2013), 28. Feb. - 1. März 2013, Aachen, Germany / Spillner, Andreas; Lichter, Horst (Hrsg.). Aachen: RWTH Aachen, 2013, S. 59 – 68Online Volltext (Open Access)
-
Beobachtungen zur Motivation der Studierenden bei verschiedenen FrageformatenIn: DeLFI 2013: die 11. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. (GI) ; 8. - 11. 9. 2013 in Bremen / Breiter, Andreas (Hrsg.). Bonn: Ges. für Informatik (GI), 2013, S. 35 – 46
-
Bewertung von kurzen Freitextantworten in automatischen PrüfungssystemenIn: DeLFI 2013: die 11. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. (GI) / 11. E-Learning Fachtagung Informatik der Gesellschaft für Informatik (DeLFI 2013), 8.-11. 9. 2013, Bremen / Breiter, Andreas; Rensing, Christoph (Hrsg.). Bonn: Gesellschaft für Informatik (GI), 2013, S. 227 – 232
-
JACK revisited : Scaling up in multiple dimensionsIn: Scaling up Learning for Sustained Impact: Proceedings / 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013 / Hernández-Leo, Davinia; Ley, Tobias; Klamma, Ralf; Harrer, Andreas (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, S. 635 – 636
-
Modellierung und Enactment mit ESSENCEIn: Software engineering 2013: Workshopband : (inkl. Doktorandensymposium) / Fachtagung des GI-Fachbereichs Softwaretechnik ; 26. Februar - 1. März 2013 in Aachen. Bonn: Gesellschaft für Informatik (GI), 2013, S. 405 – 414
-
Towards architecture-centric evolution of long-living systems (the ADVERT approach)In: Proceedings of the 9th international ACM Sigsoft Conference on Quality of Software Architectures / 9th international ACM Sigsoft Conference on Quality of Software Architectures, Comparch '13, Vancouver, BC, Canada, June 17 - 21, 2013 / Kruchten, Philippe (Hrsg.). New York: ACM, 2013, S. 163 – 168
-
Trace alignment for automated tutoringIn: Proceedings of CAA 2013 International Conference / CAA 2013 International Conference, Marseille, France, 28 October - 1 November 2013, 2013
-
A Conceptual Framework and Experimental Workbench for ArchitecturesIn: Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / Heisel, Maritta (Hrsg.). Berlin: Springer, 2012, S. 36 – 52
-
Deriving Quality-based Architecture Alternatives with PatternsIn: Software Engineering 2012 / Fachtagung des GI-Fachbereichs Softwaretechnik ; 27. Februar - 2. März 2012 in Berlin / Jähnichen, Stefan (Hrsg.). Bonn: Ges. für Informatik, 2012, S. 71 – 82
-
Refounding software engineering : the semat initiative (invited presentation)In: 34th International Conference on Software Engineering (ICSE), 2012: Proceedings / International Conference on Software Engineering, 2 - 9 June 2012, Zurich, Switzerland / Glinz, Martin (Hrsg.). Piscataway, NJ: IEEE Press, 2012, S. 1649 – 1650
-
A Question-Based Method for Deriving Software ArchitecturesIn: Software Architecture: Proceedings / 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 / Crnkovic, Ivica; Gruhn, Volker; Book, Matthias (Hrsg.). Berlin [u.a.]: Springer, 2011, S. 35 – 42
-
Automated Checks on UML DiagramsIn: Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science Education / ITiCSE '11; Darmstadt, Germany; 27 - 29 June 2011. New York: ACM, 2011, S. 38 – 42
-
Enriching Java Enterprise interfaces with formal sequential contractsIn: Proceedings of the Third Workshop on Behavioural Modelling / Third Workshop on Behavioural Modelling. New York: ACM, 2011, S. 5 – 11
-
Enriching OSGi Service Interfaces with Formal Sequential ContractsIn: Conference of the GI Division on Software Engineering: Software Engineering 2011; Proceedings / Conference of the GI Division on Software Engineering; Karlsruhe, Germany; 21 February - 25 February 2011 / Reussner, Ralf (Hrsg.). Bonn: Gesellschaft für Informatik (GI), 2011, S. 41 – 46
-
Studentische Interaktion mit automatischen PrüfugnssystemenIn: DeLFI 2011 - Die 9. e-Learning Fachtagung Informatik / DeLFI 2011, 9. E-Learning-Fachtagung Informatik, 5. - 8. September 2011, Dresden / Rohland, Holger; Kienle, Andrea; Friedrich, Steffen (Hrsg.). Dresden, 2011, S. 209 – 220
-
Studentische Interaktion mit automatischen PrüfungssystemenIn: DeLFI 2011 - 9th e-Learning Fachtagung Informatik der Gesellschaft fur Informatik e.V. / 9. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 5. - 8. September 2011, Technische Universität Dresden / Rohland, Holger (Hrsg.). Bonn: Ges. für Informatik, 2011, S. 209 – 219
-
Using Run Time Traces in Automated Programming TutoringIn: Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science Education / ITiCSE '11; Darmstadt, Germany; 27 - 29 June 2011. New York: ACM, 2011, S. 303 – 307
-
Continuous Maintenance of Multiple Abstraction Levels in Program CodeIn: Future trends of model-driven development: proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development, FTMDD 2010 / International Workshop on Future Trends of Model-Driven Development, Funchal, Madeira, Portugal, 8 - 12 June 2010 / Ferreira Pires, Luís; Hammoudi, Slimane (Hrsg.). [S.l.]: SciTePress, 2010, S. 68 – 79
-
Enabling Graph Transformations on Program CodeIn: Pre-Proceedings GraBaTs 2010 / 4th International Workshop on Graph Based Tools, September 28th 2010, University of Twente, Enschede, The Netherlands / da Lara, Juan; Varro, Daniel (Hrsg.). Enschede, The Netherlands, 2010, S. 29 – 40
-
Feedback-Moeglichkeiten in automatischen PruefungssystemenIn: DeLFI 2010: 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V. : 12. - 15. September 2010, Universität Duisburg-Essen / DeLFI 2010 „Interaktive Kulturen“, 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V., Essen, Germany, 12.-15.09.2010 / Kerres, Michael; Ojstersek, Nadine; Schroeder, Ulrik; Hoppe, Heinz Ulrich (Hrsg.). Bonn: Gesellschaft für Informatik, 2010, S. 85 – 96
-
Monitoring model specifications in program code patternsIn: Models@run.time 2010: Proceedings of the 5th Workshop on Models@run.time / 5th Workshop on Models@run.time (MRT-2010), 5 October 2010, Oslo, Norway. Aachen: RWTH Aachen, 2010, S. 60 – 71Online Volltext (Open Access)
-
Representing Formal Component Models in OSGiIn: Software Engineering 2010 / Fachtagung des GI-Fachbereichs Softwaretechnik, 22. - 26.02.2010 in Paderborn / Engels, Gregor (Hrsg.). Bonn: Ges. für Informatik, 2010, S. 45 – 56
-
SyLaGen - An Extendable Tool Environment for Generating LoadIn: Proceedings of "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance" / 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010 / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). Berlin [u.a.]: Springer, 2010, S. 307 – 310
-
SyLaGen: From Academic Tool Engineering Requirements to a new Model-based Development ApproachIn: Third International Workshop on Academic Software Development Tools and Techniques. Antwerp, 2010, S. 32 – 43
-
Teaching programming with formal models in GreenfootIn: Proceedings of the 2nd International Conference on Computer Supported Education / Cordeiro, José; International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010. [Setúbal]: INSTICC, 2010, S. 309 – 316
-
Tool Support for Continuous Maintenance of State Machine Models in Program CodeIn: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering / ASE '10, IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20 - 24, 2010 / Pecheur, Charles; Andrews, Jamie; Di Nitto, Elisabetta (Hrsg.). New York: ACM, 2010, S. 175 – 176
-
Towards Domain-specific Modeling for Java Enterprise ApplicationsIn: Modelling, simulation, verification and validation of enterprise information systems : proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010 ; in conjunction with ICEIS 2010, [12th International Conference on Enterprise Information Systems] ; Funchal, Madeira, Portugal, [8 - 9] June 2010 / International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ; 8 (Funchal) : 2010.06.08-09 / Capel-Tuñón, Manuel I.; Garbajosa Sopeña, Juan (Hrsg.). [S.l.]: SciTePress, 2010, S. 30 – 39
-
Visualizing Data Structures in an E-Learning SystemIn: Proceedings of the 2nd International Conference on Computer Supported Education: Vol. 1 / 2nd International Conference on Computer Supported Education : Valencia, Spain, April 7 - 10, 2010 / Moinhos Cordeiro, Jose A.; Shishkov, Boris; Verbraeck, Alexander; Helfert, Markus (Hrsg.). Setúbal, Portugal: SciTePress, 2010, S. 172 – 179
-
A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated MarkingIn: Proceedings of the 1st International Conference on Computer Supported Education 2009. Lisboa, Portugal, 2009, S. 54 – 61
-
Adaptive User Profiles in Pervasive Advertising EnvironmentsIn: Ambient Intelligence: European Conference ; Proceedings / 3rd European Conference on Ambient Intelligence; AmI 2009; Salzburg, Austria; November 18-21, 2009 / Tscheligi, Manfred; de Ruyter, Boris; Markopoulus, Panos; Wichert, Reiner; Mirlacher, Thomas; Meschterjakov, Alexander; Reitberger, Wolfgang (Hrsg.). Berlin: Springer, 2009, S. 276 – 286
-
Effekte automatischer Bewertungen für Programmieraufgaben in Übungs- und PrüfungssituationenIn: DeLFI 2009 - Die 7. E-Learning Fachtagung Informatik / Schwill, Andreas; Apostolopoulos, Nicolas (Hrsg.). Bonn: Gesellschaft für Informatik e.V. (GI), 2009, S. 223 – 234
-
Embedding Behavioral Models into Object-Oriented Source CodeIn: Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik ; 02. - 06.03.2009 in Kaiserslautern / Software Engineering 2009 ; Fachtagung GI-Fachbereich Softwaretechnik ; 02. - 06.03.2009, Kaiserslautern, Germany / Liggesmeyer, Peter; Engels, G.; Münch, J.; Dörr, J.; Riegel, N. (Hrsg.). Bonn: Gesellschaft für Informatik, 2009, S. 51 – 62
-
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009)In: Software Engineering 2009: Workshopband / Fachtagung des GI-Fachbereichs Softwaretechnik, 02. - 06.03.2009 in Kaiserslautern / Münch, Jürgen; Liggesmeyer, Peter (Hrsg.). Bonn: Ges. für Informatik, 2009, S. 363 – 366
-
A Case for ViewPoints and DocumentsIn: Innovations for Requirement Analysis: From Stakeholders’ Needs to Formal Designs / 14th Monterey Workshop 2007, Monterey, USA, September 10-13, 2007 / Paech, Barbara; Martell, Craig (Hrsg.). Berlin: Springer, 2008, S. 62 – 84
-
A Specification Language for Static Analysis of Student ExercisesIn: Proceedings of the 23rd International Conference on Automated Software Engineering / ASE 2008; L'Aquila, Italy; 15 - 19 September 2008. Piscataway: IEEE, 2008, S. 355 – 358
-
Embedding State Machine Models in Object-Oriented Source CodeIn: Proceedings of the 3rd Workshop on Models@run.time at MODELS 2008. Toulouse, 2008, S. 6 – 15
-
UPPAAL-Modelle als ausführbare Spezifikation in JavaIn: Software Engineering 2008: Workshopband ; Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in München / Software Engineering 2008 ; Fachtagung GI-Fachbereich Softwaretechnik ; 18. - 22.02.2008, München, Germany / Maalej, Walid; Bruegge, Bernd (Hrsg.). Bonn: Gesellschaft für Informatik, 2008, S. 212 – 218
-
Workshop Modellgetriebene Softwarearchitektur : Evolution, Integration und Migration (MSEIM 2008)In: Software Engineering 2008: Workshopband ; Fachtagung des GI-Fachbereichs Softwaretechnik ; 18. - 22.02.2008 in München / Software Engineering 2008 ; Fachtagung GI-Fachbereich Softwaretechnik ; 18. - 22.02.2008, München, Germany / Maalej, Walid; Bruegge, Bernd (Hrsg.). Bonn: Gesellschaft für Informatik, 2008, S. 173 – 177
-
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und MigrationIn: Software Engineering 2008: Fachtagung des GI-Fachbereichs Softwaretechnik ; 18. - 22.02.2008 in München / Software Engineering 2008 ; Fachtagung GI-Fachbereich Softwaretechnik ; 18. - 22.02.2008, München, Germany / Herrmann, Korbinian; Bruegge, Bernd (Hrsg.). Bonn: Gesellschaft für Informatik, 2008, S. 285 – 287
-
An Integrated Approach to Model-Driven Design, Execution, Analysis and MonitoringIn: Enterprise Interoperability II: New Challenges and Approaches / 3rd International Conference on Interoperability of Enterprise Software and Applications (I-ESA ’07), 27.-30.03.2007, Madeira / Gonçalves, Ricardo J.; Müller, Jörg P.; Mertins, Kai; Zelm, Martin (Hrsg.). London: Springer, 2007, S. 463 – 466
-
Dependency analysis and manipulation using abstract syntax graphsIn: Joint Astrenet/Sosornet Workshop on Source Code Analsysis and Software Services. London, 2007, S. 1 – 4
-
A Meta-model for Representing Variability in Product Family DevelopmentIn: Software Product-Family Engineering: Revised Papers / 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003 / van der Linden, Frank J. (Hrsg.). Berlin: Springer, 2003, S. 66 – 80
-
Domain-Specific Runtime Variability in Product Line ArchitecturesIn: Object-Oriented Information Systems: 8th International Conference, OOIS 2002 Montpellier, France, September 2–5, 2002 Proceedings / Object-Oriented Information Systems: 8th international conference, 02-05.09.2002, Montpellier / Bellahsène, Zohra; Patel, Dilip; Rolland, Colette (Hrsg.). Berlin: Springer, 2002, S. 384 – 396
-
Message redirectorIn: Proceedings of the 6th European Conference on Pattern Languages of Programs, 2001 / EuroPLoP: European Conference on Pattern Languages of Programs ; 6 (Irsee) : 2001.07.04-08 / Rüping, Andreas (Hrsg.). Konstanz: UVK, Univ.-Verl. Konstanz, 2002, S. 317 – 330
-
A Key Technology Evaluation Case Study : Applying a New Middleware Architecture on the Enterprise ScaleIn: Engineering Distributed Objects: Second International Workshop,EDO 2000 Davis, CA, USA, November 2–3, 2000 Revised Papers / 2nd International Workshop, EDO 2000, 02.-03.11.2000, Davis, CA / Emmerich, Wolfgang; Tai, Stefan (Hrsg.). Berlin: Springer, 2001, S. 8 – 26
-
Berichte über Projekte zur Unterstützung der Lehre und des Lernens durch den Einsatz ‚neuer Medien’In: Schriftenreihe Uni-Kompass. Essen, 2001
-
Design and Implementation Constructs for the Development of Flexible, Component-Oriented Software ArchitecturesIn: Generative and Component-Based Software Engineering: Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers / Second International Symposium, GCSE 2000, October 9–12, 2000, Erfurt / Butler, Greg; Jarzabek, Stan (Hrsg.). Berlin: Springer, 2001, S. 114 – 130
-
Object System LayerIn: Proceedings of the 5th European Conference on Pattern Languages of Programs, 2000: [EuroPLoP 2000] / EuroPLoP 2000: Fifth European Conference on Pattern Languages of Programs, 5 - 9 July 2000 , Irsee / Devos, Martine; Rüping, Andreas (Hrsg.). Irsee: Universitätsverlag Konstanz, 2001
-
Piecemeal migration of a document archive system with an architectural pattern languageIn: Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, 14 - 16 March 2001, Lisbon, Portugal / Fifth European Conference on Software Maintenance and Reengineering, 14.-16.03.2001, Lisbon / Sousa, Pedro; Ebert, Jürgen (Hrsg.). Los Alamitos: IEEE Computer Society, 2001, S. 180 – 184
-
ViewPoint-oriented Software Development : Tool Support for Integrating Multiple Perspectivcs by Distributed Graph TransformationIn: Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / 6th International Conference: TACAS 2000, 25.03.–02.04.2000, Berlin / Graf, Susanne; Schwartzbach, Michael (Hrsg.). Berlin: Springer, 2001, S. 43 – 47
-
Tool Support for ViewPoint-Oriented Software DevelopmentIn: Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999: Proceedings / AGTIVE'99, 01.-03.09.1999, Kerkrade / Nagl, Manfred; Schürr, Andreas; Münch, Manfred (Hrsg.). Berlin: Springer, 2000, S. 419 – 425
-
Towards Integrating Multiple Perspectives by Distributed Graph TransformationIn: Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999: Proceedings / AGTIVE'99, 01.-03.09.1999, Kerkrade / Nagl, Manfred; Schürr, Andreas; Münch, Manfred (Hrsg.). Berlin: Springer, 2000, S. 369 – 378
-
Dynamic accommodation of change : automated architecture configuration of distributed systemsIn: 14th IEEE International Conference on Automated Software Engineering 12-15 Oct. 1999: 14th IEEE International Conference on Automated Software Engineering, 12.-15.10.1999, Cocoa Beach. Los Alamitos: IEEE Computer Society, 1999
-
ViewPoint-oriented software development by distributed graph transformation : towards a basis for living with inconsistenciesIn: International Symposium on Requirements Engineering (RE '99) Proceedings / International Symposium on Requirements Engineering, 07.-11.06.1999, Limerick. Los Alamitos: IEEE Computer Society Press, 1999, S. 92 – 99
-
Web-based tool support for dynamic management of distribution and parallelism in integrating architecture design and performance evaluationIn: Proceedings, International Symposium on Software Engineering for Parallel and Distributed Systems: Los Angeles, California, USA, 17-18 May 1999 / International Symposium on Software Engineering for Parallel and Distributed Systems, 17.-18.05.1999, Los Angeles, California / Croll, Peter; El-Rewini, Hesham (Hrsg.). Los Alamitos, Calif: IEEE Computer Society, 1999, S. 156 – 165
-
Checking Object Semantics in Evolving Distributed Systems based on CORBAIn: Proceedings of the Third International Conference on Integrated Design and Process Technology / Third International Conference on Integrated Design and Process Technology: IDPT , International Workshop on Issues and Applications of Database Technology (IADT'98), July 6-9, 1998, Berlin / Özsu, M. Tamer; Dogac, Asuman; Ulusoy, Özgür (Hrsg.): Society for Design and Process Science, 1998
-
Design and Evaluation of Distributed Component-Oriented Software SystemsIn: Turku Centre for Computer Science Annual Report 1997 / Aspnäs, Mats; Back, Ralph-Johan; Järvi, Timo; Lehto, Tiina (Hrsg.). Turku: Turku Centre for Computer Science, 1998
-
Dynamic Change Management by Distributed Graph Transformation : Towards Configurable Distributed SystemsIn: Theory and Application of Graph Transformations: 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers / 6th International Workshop, TAGT’98, 16.-20.11.1998, Paderborn / Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz (Hrsg.). Berlin: Springer, 1998, S. 179 – 193
-
Dynamic semantics negotiation in distributed and evolving CORBA systems : towards semantic-directed system configurationIn: Fourth International Conference on Configurable Distributed Systems: proceedings, May 4-6, 1998, Annapolis, Maryland / Fourth International Conference on Configurable Distributed Systems, May 4-6, 1998, Annapolis. Los Alamitos: IEEE Computer Society Press, 1998, S. 101 – 110
-
Formal Design and Performance Evaluation of Object-Oriented Application FrameworksIn: Building application frameworks: object-oriented foundations of framework design / Fayad, Mohamed E.; Schmidt, Douglas C.; Johnson, Ralph E. (Hrsg.). New York: Wiley, 1998, S. 345 – 348
-
Formal Design and Performance Evaluation of Parallel and Distributed Software SystemsIn: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems: International Symposium on Software Engineering for Parallel and Distributed Systems, April 20-21, 1998, Kyoto / Krämer, Bernd (Hrsg.). Los Alamitos: IEEE Computer Society, 1998, S. 136 – 144
-
Hierarchical Specification of Graphical User Interfaces using a Graph Grammar ApproachIn: Proceedings of the Third International Conference on Integrated Design and Process Technology: Third International Conference on Integrated Design and Process Technology: IDP,International Workshop on Issues and Applications of Database Technology (IADT'98), July 6-9, 1998, Berlin / Özsu, M. Tamer; Dogac, Asuman; Ulusoy, Özgür (Hrsg.): Society for Design and Process Science, 1998
-
On detecting and handling inconsistencies in integrating software architecture design and performance evaluationIn: Proceedings, 13th IEEE International Conference on Automated Software Engineering: October 13-16, 1998, Honolulu, Hawaii / 13th IEEE International Conference on Automated Software Engineering, 13.-16.10.1998, Honolulu, Hawaii. Los Alamitos, Calif: IEEE Computer Society Press, 1998
-
WWW-based software architecture design support for cooperative representation and checkingIn: ISAW '98: Proceedings of the third international workshop on Software architecture / SOFT98: Sixth International Symposium on the Foundations of Software Engineering, November 1 - 5, 1998, SOFT98: Sixth International Symposium on the Foundations of Software Engineering Orlando Florida USA November 1 - 5, 1998, SOFT98: Sixth International Symposium on the Foundations of Software Engineering Orlando Florida USA November 1 - 5, 1998, Orlando / Magee, Jeff N.; Perry, Dewayne E. (Hrsg.). New York: ACM, 1998, S. 41 – 44
-
Design and Evaluation of Distributed Component-Oriented Software SystemsIn: Object-oriented technology: ECOOP'97 workshop reader; ECOOP'97 Workshops, Jyväskylä, Finland, June 9 - 13, 1997; proceedings / ECOOP'97 Workshops, June 9-13, 1997, Jyväskylä, Finland / Bosch, Jan; Mitchell, Stuart (Hrsg.). Berlin: Springer, 1997, S. 348 – 352
-
Elaboration of important Interfaces between Pi and QSDLIn: DFG Project QUAFOS: Report G-2. Essen: University of Essen, Department of Mathematics and Computer Science, 1997
-
Semantics-Directed Component Interaction in CORBA : a Case for Using Modular Graph GrammarsIn: Technical Report. Essen: University of Essen, Department of Mathematics and Computer Science, Specification of Software Systems, 1997
-
Towards A Concept for the Interaction of ComponentsIn: Report Pi-2 of the DFG Project QUAFOS. Essen: University of Essen, Department of Mathematics and Computer Science / Specification of Software System, 1997
-
Using Java in Education: Concept and first ExperiencesIn: Proceedings of STJA 97 - SmallTalk and Java in Industry and Education / Gens, Wolfgang (Hrsg.). Ilmenau: University of Ilmenau, Germany, 1997
-
A Module Concept for ViewPointsIn: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops / International Software Architecture Workshop ; ISAW ; International Workshop on Multiple Perspectives in Software Development ; Viewpoints ; SIGSOFT ; October 1996, San Francisco / Wolf, Alexander L.; Finkelsteiin, Anthony; Spanoudakis, George; Vidal, Laura (Hrsg.). New York: ACM Press, 1996, S. 247 – 251
-
The Process Road Between Requirements and DesignIn: Integrated Design and Process Technology: presented at the Second World Conference on Integrated Design and Process Technology, Austin Texas, December 1 - 4, 1996 ; Vol. 1 / Second World Conference on Integrated Design and Process Technology ; DeceProceedings the Second World Conference on Integrated Design and Process Technology ; December 1-4, 1996, Austin, Texas / Cooke, D.; Krämer, B. J.; Sheu, P. C-Y.; Tsai, J. P.; Mittermeir, R. (Hrsg.). Austin, Texas: Society for Design and Process Science, 1996, S. 176 – 177
-
Towards A Flexible Software Architecture of Interactive SystemsIn: Critical Issues in User Interface Systems Engineering / Benyon, David; Palanque, Philippe (Hrsg.). London: Springer, 1996, S. 211 – 223
-
Towards a Formal Specification Method for Graphical User Interfaces using Modularized Graph GrammarsIn: Proceedings of the 8th International Workshop on Software Specification and Design / International Workshop on Software Specification and Design ; IWSSD ; March 22-23, 1996, Schloss Velen, Germany. Washington: IEEE Computer Society Press, 1996, S. 56 – 65
-
Formal MethodsIn: Software Reusability / 1st International Workshop on Software Reusability ; July 1991, Dortmund / Schäfer, Wilhelm; Pietro-Diaz, Ruben; Matsumoto, Masao (Hrsg.). New York: Horwood, 1994
-
On the Specification of Software ComponentsIn: Proceedings of the Sixth International Workshop on Software Specification and Design / International Workshop on Software Specification and Design ; IWSSD '91 ; October 25-26, 1991, Como, Italy. Los Alamitos: IEEE Computer Society Press, 1991, S. 166 – 174
-
ViewPoint oriented software development : Methods and viewpoints in requirements engineeringIn: Algebraic Methods II: Theory, Tools and Applications / Bergstra, J. A. (Hrsg.). Berlin: Springer, 1991
-
Requirements engineering : Proceedings: foundation for software quality : 25th international working conference, REFSQ 2019, Essen, Germany, March 18-21, 2019 : proceedings
25th International Working Conference, REFSQ 2019, 18.-21.03.2019, Essen,Cham: Springer International Publishing, 2019
(Programming and Software Engineering ; 11412) -
The Essentials of Modern Software Engineering : Free the Practices from the Method Prisons!New York: Association for Computing Machinery, 2019
(ACM Books ; 25) -
Proceedings of the 1st International Workshop on Rapid Continuous Software Engineering
International Workshop on Rapid Continuous Software Engineering ; RCoSE ; International Conference on Software Engineering ; ICSE ; June 3, 2014, Hyderabad, India,New York: ACM, 2014 -
Software Engineering 2005 : Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.03.2005 in Essen. GI 2005
Fachtagung des GI-Fachbereichs Softwaretechnik, 8. - 11.03.2005, Essen,Bonn: Gesellschaft für Informatik, 2005
(GI-Edition / Proceedings, Lecture Notes in Informatics ; 64)Online Volltext (Open Access) -
Lehrbuch der Programmierung mit JavaHeidelberg: d-punkt, 2000
-
Description of the Graph Grammar-MachineEssen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems, 1994
-
On the Architecture of Interactive Software SystemsEssen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems, 1994
-
The Architecture of Interactive SystemsEssen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems, 1994
-
On the structure of software description languages : a component oriented viewDortmund: Dekanat Informatik, Univ., 1992
(Forschungsberichte des Fachbereichs Informatik der Universität Dortmund ; 473) -
Zweiter Jahresbericht zum Projekt "Bildungsgerechtigkeit im Fokus" (Teilprojekt 1.2 - "Blended Learning") an der Fakultät für WirtschaftswissenschaftenEssen, 2014
(ICB Research Reports ; 59)DOI, Online Volltext (Open Access) -
Erster Jahresbericht zum Projekt "Bildungsgerechtigkeit im Fokus" (Teilprojekt 1.2 - 'Blended Learning') an der Fakultät für WirtschaftswissenschaftenEssen, 2013
(ICB Research Reports ; 54)DOI, Online Volltext (Open Access) -
Computer Aided Assessments and Programming Exercises with JACKEssen, 2008
(ICB Research Reports ; 28)DOI, Online Volltext (Open Access) -
Towards Automated Detection and Handling of Inconsistencies in Requirements EngineeringEssen, 1997
-
Interfaces between Pi and QSDL : Report G-1 of the DFG Project QUAFOSEssen, 1996
-
Modularisation of Graph Grammars to Specify User InterfacesEssen, 1996
-
On Distribution of Components in Pi : Report Pi-1 of the DFG Project QUAFOSEssen, 1996
-
On Modular Graph Specifications with Applications to Software Engineering Problems : ArbeitsberichtEssen, 1996
-
Component-Oriented Software Development with PiDortmund, 1994
(ISST-Bericht ; 21) -
Some Formal Methods Supporting Software ReuseEssen, 1993
(Informatik-Berichte ; 93,2) -
Design and evaluation of distributed software architectures
ESEC/FSE 97: 6th European Software Engineering Conference and 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 22.-25.09.1997, Zürich,1997 -
Towards digitalisation of summative and formative assessments in academic teaching of statistics
Fifth International Conference on Learning and Teaching in Computing and Engineering (LaTiCE 2017), 20-23 April 2017, Hong Kong, China,Hong Kong, 2017 -
On Modelling Inconsistencies in Software Development Processes with Graph Based Notations
ICSE 97: International Conference on Software Engineering, May 17 - 23, 1997, Boston, Massachusetts, USA,1997 -
Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering MethodIn: Advanced Information Systems Engineering Workshops: Springer International Publishing, 2014, S. 136 – 147