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)
-
2022 WS
- Programmierung A (Übung)
- Programmierung B
- Programmierung (Übung)
- Programmierung
- Programmierung B (Übung)
- Formale Methoden des Software Engineering
- Projektgruppe Spezifikation von Softwaresystemen (Masterprojekt I-III)
- Bachelorprojekt Spezifikation von Softwaresystemen
- Programmierung A
- 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.
-
Developing and evaluating an e-learning and e-assessment tool for organic chemistry in higher educationIn: Frontiers in Education Jg. 9 (2024) 1355078Online Volltext: dx.doi.org/ (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 (2024) in pressOnline Volltext: dx.doi.org/ (Open Access)
-
Inconsistency management in heterogeneous engineering data in intralogistics based on coupled metamodelsIn: at - Automatisierungstechnik Jg. 71 (2023) Nr. 5, S. 364 - 379Online Volltext: dx.doi.org/ (Open Access)
-
Konsistenzmanagement zum optimierten Data Management als Basis zur Anwendung von Data Science im Produktlebenszyklus von MaterialflusssystemenIn: Logistics Journal: Proceedings (2022) Nr. 11,Online Volltext: dx.doi.org/ 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 - 95Online Volltext: dx.doi.org/ (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 - 15Online Volltext: dx.doi.org/ Online Volltext
-
E-Assessment Using Variable-Content Exercises in Mathematical StatisticsIn: Journal of Statistics and Data Science Education (JSDSE) Jg. 26 (2018) Nr. 3, S. 174 - 189Online Volltext: dx.doi.org/ (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 - 180Online Volltext: dx.doi.org/ (Open Access)
-
Variability for Qualities in Software ArchitectureIn: ACM SIGSOFT Software Engineering Notes Jg. 41 (2016) Nr. 1, S. 32 - 35Online Volltext: dx.doi.org/
-
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 - 331Online Volltext: dx.doi.org/ (Open Access)
-
Towards general theories of software engineeringIn: Science of Computer Programming Jg. 101 (2015) Nr. April, S. 1 - 5Online Volltext: dx.doi.org/
-
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 - 397Online Volltext: dx.doi.org/
-
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 (2006)Online Volltext: dx.doi.org/ (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 - 380Online Volltext: dx.doi.org/
-
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 - 30Online Volltext: dx.doi.org/
-
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 - 363Online Volltext: dx.doi.org/
-
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 - 57Online Volltext: dx.doi.org/
-
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 Jg. 25 (2020) Nr. 5, S. 4348 - 4349Online Volltext: dx.doi.org/ (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.) (2019) S. V - VI
-
E-Science als Herausforderung für die InformatikIn: Informatik-Spektrum Jg. 41 (2018) Nr. 6, S. 357 - 358Online Volltext: dx.doi.org/ (Open Access)
-
EditorialIn: Journal of Systems and Software Jg. 123 (2017) S. 173 - 175Online Volltext: dx.doi.org/
-
Rapid continuous software engineeringIn: Journal of Systems and Software Jg. 133 (2017) S. 159Online Volltext: dx.doi.org/
-
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 (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 (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 (2014) S. 346Online Volltext: dx.doi.org/
-
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 (Hrsg.) 2024, S. 41 - 45Online Volltext: dx.doi.org/
-
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.) 2023, S. 225 - 232Online Volltext: dx.doi.org/
-
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.) 2023, S. 89 - 102Online Volltext: dx.doi.org/
-
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.) 2022, S. 24 - 30Online Volltext: dx.doi.org/
-
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.) 2022, S. 1317 - 1328Online Volltext: dx.doi.org/ (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 Jg. April 2020, S. 329 - 338Online Volltext: dx.doi.org/
-
Quantitative Methodenkompetenzen im Praxissemester in Lehramtsstudiengängen : Didaktisches Konzept eines ergänzenden Online-AngebotsIn: DELFI 2019: 17. Fachtagung Bildungstechnologien / DELFI 2019; Berlin; Germany; 16 - 19 September 2019 / Pinkwart, Niels; Konert, Johannes (Hrsg.) 2019, S. 327 - 328Online Volltext: dx.doi.org/
-
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.) 2019, S. 91 - 102Online Volltext: dx.doi.org/
-
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.) 2018, S. 153 - 164(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.) 2018, S. 171 - 176(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 2018, S. 316 - 323Online Volltext: dx.doi.org/
-
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 Jg. 2017-October 2017, S. 134 - 138Online Volltext: dx.doi.org/
-
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 2017, S. 1689 - 1699Online Volltext: dx.doi.org/
-
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.) 2017Online Volltext (Open Access)
-
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 2017, S. 517 - 526Online Volltext: dx.doi.org/
-
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.) 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.) 2016, S. 43 - 50Online Volltext: dx.doi.org/
-
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 2016, S. 19 - 23Online Volltext: dx.doi.org/
-
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 2015 Article No. 22Online Volltext: dx.doi.org/
-
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 2015, S. 993 - 994Online Volltext: dx.doi.org/
-
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 2015, S. 983 - 984Online Volltext: dx.doi.org/
-
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 2015, S. 70 - 75Online Volltext: dx.doi.org/
-
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.) 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 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.) 2015, S. 197 - 219Online Volltext: dx.doi.org/
-
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.) 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.) 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 2015 Article No. 39Online Volltext: dx.doi.org/ Online Volltext
-
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 2015 Article No. 40Online Volltext: dx.doi.org/
-
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.) 2014, S. 100 - 113Online Volltext: dx.doi.org/
-
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 2014, S. 336Online Volltext: dx.doi.org/
-
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 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.) 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 2014, S. 3Online Volltext: dx.doi.org/
-
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 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.) 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.) 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.) 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.) 2013, S. 635 - 636Online Volltext: dx.doi.org/
-
Modellierung und Enactment mit ESSENCEIn: Software engineering 2013: Workshopband : (inkl. Doktorandensymposium) / Fachtagung des GI-Fachbereichs Softwaretechnik ; 26. Februar - 1. März 2013 in Aachen 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.) 2013, S. 163 - 168Online Volltext: dx.doi.org/
-
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.) 2012, S. 36 - 52Online Volltext: dx.doi.org/
-
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.) 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.) 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.) 2011, S. 35 - 42Online Volltext: dx.doi.org/
-
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 2011, S. 38 - 42Online Volltext: dx.doi.org/
-
Enriching Java Enterprise interfaces with formal sequential contractsIn: Proceedings of the Third Workshop on Behavioural Modelling / Third Workshop on Behavioural Modelling 2011, S. 5 - 11Online Volltext: dx.doi.org/
-
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.) 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.) 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.) 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 2011, S. 303 - 307Online Volltext: dx.doi.org/
-
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.) 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.) 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.) 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 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.) 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.) 2010, S. 307 - 310Online Volltext: dx.doi.org/
-
SyLaGen: From Academic Tool Engineering Requirements to a new Model-based Development ApproachIn: Third International Workshop on Academic Software Development Tools and Techniques 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 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.) 2010, S. 175 - 176Online Volltext: dx.doi.org/
-
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.) 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.) 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 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.) 2009, S. 276 - 286Online Volltext: dx.doi.org/
-
Effekte automatischer Bewertungen für Programmieraufgaben in Übungs- und PrüfungssituationenIn: DeLFI 2009 - Die 7. E-Learning Fachtagung Informatik / Schwill, Andreas; Apostolopoulos, Nicolas (Hrsg.) 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.) 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.) 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.) 2008, S. 62 - 84Online Volltext: dx.doi.org/
-
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 2008, S. 355 - 358Online Volltext: dx.doi.org/
-
Embedding State Machine Models in Object-Oriented Source CodeIn: Proceedings of the 3rd Workshop on Models@run.time at MODELS 2008 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.) 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.) 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.) 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.) 2007, S. 463 - 466Online Volltext: dx.doi.org/
-
Dependency analysis and manipulation using abstract syntax graphsIn: Joint Astrenet/Sosornet Workshop on Source Code Analsysis and Software Services 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.) 2003, S. 66 - 80Online Volltext: dx.doi.org/
-
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.) 2002, S. 384 - 396Online Volltext: dx.doi.org/
-
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.) 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.) 2001, S. 8 - 26Online Volltext: dx.doi.org/
-
Berichte über Projekte zur Unterstützung der Lehre und des Lernens durch den Einsatz ‚neuer Medien’In: Schriftenreihe Uni-Kompass 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.) 2001, S. 114 - 130Online Volltext: dx.doi.org/
-
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.) 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.) 2001, S. 180 - 184Online Volltext: dx.doi.org/
-
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.) 2001, S. 43 - 47Online Volltext: dx.doi.org/
-
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.) 2000, S. 419 - 425Online Volltext: dx.doi.org/
-
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.) 2000, S. 369 - 378Online Volltext: dx.doi.org/
-
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 1999Online Volltext: dx.doi.org/
-
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 1999, S. 92 - 99Online Volltext: dx.doi.org/
-
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.) 1999, S. 156 - 165Online Volltext: dx.doi.org/
-
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.) 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.) 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.) 1998, S. 179 - 193Online Volltext: dx.doi.org/
-
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 1998, S. 101 - 110Online Volltext: dx.doi.org/
-
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.) 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.) 1998, S. 136 - 144Online Volltext: dx.doi.org/
-
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.) 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 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.) 1998, S. 41 - 44Online Volltext: dx.doi.org/
-
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.) 1997, S. 348 - 352Online Volltext: dx.doi.org/
-
Elaboration of important Interfaces between Pi and QSDLIn: DFG Project QUAFOS: Report G-2 1997
-
Semantics-Directed Component Interaction in CORBA : a Case for Using Modular Graph GrammarsIn: Technical Report 1997
-
Towards A Concept for the Interaction of ComponentsIn: Report Pi-2 of the DFG Project QUAFOS 1997
-
Using Java in Education: Concept and first ExperiencesIn: Proceedings of STJA 97 - SmallTalk and Java in Industry and Education / Gens, Wolfgang (Hrsg.) 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.) 1996, S. 247 - 251Online Volltext: dx.doi.org/
-
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.) 1996, S. 176 - 177
-
Towards A Flexible Software Architecture of Interactive SystemsIn: Critical Issues in User Interface Systems Engineering / Benyon, David; Palanque, Philippe (Hrsg.) 1996, S. 211 - 223Online Volltext: dx.doi.org/
-
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 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.) 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 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.) 1991Online Volltext: dx.doi.org/
-
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,In: Programming and Software Engineering Cham Jg. 11412 (2019) XIII, 306 p. 67 illus., 35 illus. in colorOnline Volltext: dx.doi.org/ -
The Essentials of Modern Software Engineering : Free the Practices from the Method Prisons!In: ACM Books New York Jg. 25 (2019) 401 S.Online Volltext: dx.doi.org/
-
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 (2014) 62 Seiten -
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,In: GI-Edition / Proceedings, Lecture Notes in Informatics Bonn Jg. 64 (2005) 295 SeitenOnline Volltext (Open Access) -
Lehrbuch der Programmierung mit JavaHeidelberg (2000) X, 367 S. : graph. Darst.
-
Description of the Graph Grammar-MachineEssen (1994)
-
On the Architecture of Interactive Software SystemsEssen (1994)
-
The Architecture of Interactive SystemsEssen (1994)
-
On the structure of software description languages : a component oriented viewIn: Forschungsberichte des Fachbereichs Informatik der Universität Dortmund Dortmund Jg. 473 (1992) 351 S.
-
Zweiter Jahresbericht zum Projekt "Bildungsgerechtigkeit im Fokus" (Teilprojekt 1.2 - "Blended Learning") an der Fakultät für WirtschaftswissenschaftenIn: ICB Research Reports Essen Jg. 59 (2014) iv, 46 SeitenOnline Volltext: dx.doi.org/ Online Volltext (Open Access)
-
Erster Jahresbericht zum Projekt "Bildungsgerechtigkeit im Fokus" (Teilprojekt 1.2 - 'Blended Learning') an der Fakultät für WirtschaftswissenschaftenIn: ICB Research Reports Essen Jg. 54 (2013) v, 61 SeitenOnline Volltext: dx.doi.org/ Online Volltext (Open Access)
-
Computer Aided Assessments and Programming Exercises with JACKIn: ICB Research Reports Essen Jg. 28 (2008) vi, 40 SeitenOnline Volltext: dx.doi.org/ 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 PiIn: ISST-Bericht Dortmund Jg. 21 (1994) 69 Seiten
-
Some Formal Methods Supporting Software ReuseIn: Informatik-Berichte Essen Jg. 93,2 (1993) 33 Seiten
-
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 (2014) S. 136 - 147