Personensuche
Personensuche
Es wurde 1 Person gefunden.
WiWi / ICB
Anschrift
Gerlingstr. 16
45127 Essen
45127 Essen
Raum
S - GW 206
Telefon
Telefax
Webseite
Funktionen
- Universitätsprofessor/in, Spezifikation von Softwaresystemen
- Mitglied, Fakultätsrat
Aktuelle Veranstaltungen
-
2020 WS
- Bachelorprojekt Spezifikation von Softwaresystemen
- Masterprojekt Spezifikation von Softwaresystemen
- Projektgruppe Spezifikation von Softwaresystemen
- Programmierung B (Übung)
- Design und Architektur von Softwaresystemen (Übung)
- Formale Methoden des Software Engineering
- Programmierung B
- Formale Methoden des Software Engineering (Übung)
- Fallstudie Spezifikation von Softwaresystemen
- Design und Architektur von Softwaresystemen
- Seminar Spezifikation von Softwaresystemen
- ZEB10087, ZEE71001 Programmierung A und ZED500711, ZED711 Programmierung
- Programmierung (Übung)
- Programmierung A (Übung)
- Programmierung A
- Distributed Objects & XML
- Programmierung (Tutorium)
- Programmierung (Testat) (Programmierung A / B)
- Programmierung
Vergangene Veranstaltungen (max. 10)
-
2020 SS
- Distributed Objects & XML
- Fallstudie Spezifikation von Softwaresystemen
- Seminar Spezifikation von Softwaresystemen
- Distributed Objects & XML (Übung)
- Projektgruppe Spezifikation von Softwaresystemen
- Bachelorprojekt Spezifikation von Softwaresystemen
- Programmierung B (Übung)
- Programmierung A
- Masterprojekt Spezifikation von Softwaresystemen
- Programmierung A (Ü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.
-
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
ISSN: 2196-6826; 1618-162XOnline Volltext: dx.doi.org/ Online Volltext -
E-Assessment Using Variable-Content Exercises in Mathematical StatisticsIn: Journal of Statistics Education Jg. 26 (2018) Nr. 3, S. 174 - 189
ISSN: 1069-1898Online Volltext: dx.doi.org/ (Open Access) -
Introduction to the special section-general theories of software engineering : new advances and implications for researchIn: Information & software technology Jg. 70 (2016) S. 176 - 180
ISSN: 0950-5849Online Volltext: dx.doi.org/ (Open Access) -
Variability for Qualities in Software ArchitectureIn: ACM SIGSOFT software engineering notes Jg. 41 (2016) Nr. 1, S. 32 - 35
ISSN: 0163-5948Online Volltext: dx.doi.org/ Online Volltext -
Design for future: managed software evolution : The DFG priority programme for long-living software systemsIn: Computer Science - Research and Development Jg. 30 (2015) Nr. 3, S. 321 - 331
ISSN: 1865-2034; 1865-2042Online Volltext: dx.doi.org/ (Open Access) -
Towards general theories of software engineeringIn: Science of computer programming Jg. 101 (2015) Nr. April, S. 1 - 5
ISSN: 0167-6423Online Volltext: dx.doi.org/ -
Analyse von Programmieraufgaben durch SoftwareproduktmetrikenIn: CEUR Workshop Proceedings / 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013 Aachen, 28. Feb. - 1. März 2013, (SEUH 2013) / Spillner, Andreas; Lichter, Horst (Hrsg.) Jg. 956 (2013) S. 59 - 68
ISSN: 1613-0073 -
Report on the Second SEMAT Workshop on General Theory of Software Engineering (GTSE 2013)In: Software Engineering Notes Jg. 38 (2013) Nr. 5, S. 47 - 50
ISSN: 0163-5948 -
Design for Future - Legacy-Probleme von morgen vermeidbar?In: Informatik-Spektrum Jg. 32 (2009) Nr. 5, S. 393 - 397
ISSN: 0170-6012; 1432-122X -
Designing Runtime Variation Points in Product Line Architectures: Three CasesIn: Science of Computer Programming Jg. 53 (2004) Nr. 3, S. 353 - 380
-
SyLaGen Synthetischer Lastgenerator;Lastsimulation fuer Anwendungsumgebungen in vernetzten IT-ArchitekturenIn: Mittelungen der GI-Fachgruppe MMB (2003) Nr. 43,
-
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 Framework : Special Issue of the Transactions of the SDPSIn: 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 & Process Science Jg. 5 (2001) Nr. 1,
-
A High Level Design Framework for Software SystemsIn: Transactions of the SDPS Journal of Integrated Design and Process Science (1998)
-
Dealing with Inconsistencies between Requirements and DesignIn: Softwaretechnik-Trends Jg. 17 (1997) Nr. 1, S. 11 - 12
-
Using Java in Education: Concept and first ExperiencesIn: 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: an international journal (2020)
ISSN: 1573-7616; 1382-3256Online Volltext: dx.doi.org/ -
PrefaceIn: 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 / Knauss, Eric; Goedicke, Michael (Hrsg.) (2019) S. V - VI
ISBN: 978-3-030-15538-4; 978-3-030-15537-7 ISSN: 1611-3349; 0302-9743 -
E-Science als Herausforderung für die InformatikIn: Informatik-Spektrum Jg. 41 (2018) Nr. 6, S. 357 - 358
ISSN: 1432-122X; 0170-6012Online Volltext: dx.doi.org/ -
EditorialIn: Journal of Systems and Software Jg. 123 (2017) S. 173 - 175
ISSN: 0164-1212Online Volltext: dx.doi.org/ -
Rapid continuous software engineeringIn: Journal of Systems and Software Jg. 133 (2017) S. 159
ISSN: 0164-1212Online 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
ISBN: 9781450341769 -
Message from the chairsIn: 25th International Conference on Software Engineering: Proceedings / International Conference on Software Engineering ; ICSE ; 3-10 May 2003, Portland / Jacobs, Anne (Hrsg.) (2003) S. XV
ISBN: 0-7695-1877-X -
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. 346
ISBN: 978-1-4503-2833-3Online Volltext: dx.doi.org/ -
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 - 338
ISBN: 978-1-7281-0930-5; 978-1-7281-0931-2Online 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 - 328
ISBN: 978-3-88579-691-6Online 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 - 102
ISBN: 978-3-88579-691-6Online Volltext: dx.doi.org/ -
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 - 323
ISBN: 9781538665312Online 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 - 138
ISBN: 9781538610039Online 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 - 1699
ISBN: 9781509054671 ISSN: 2165-9567; 2165-9559Online Volltext: dx.doi.org/ -
Auf dem Weg zu variablen Programmieraufgaben : Requirements Engineering anhand didaktischer AspekteIn: Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) / ABP 2017, Automatische Bewertung von Programmieraufgaben, Potsdam, Germany, October 5-6, 2017 / Strickroth, Sven; Müller, Oliver; Striewe, Michael (Hrsg.) 2017
ISSN: 1613-0073 -
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 - 526
ISBN: 978-1-5090-5467-1Online 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
ISBN: 978-3-88579-656-5 -
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 - 50
ISBN: 978-3-662-49192-8; 978-3-662-49191-1Online 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 - 23
ISBN: 978-1-5090-2504-6Online 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. 22
ISBN: 978-1-4503-3393-1Online Volltext: dx.doi.org/ Online Volltext -
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 - 994
ISBN: 978-1-4799-1934-5 ISSN: 0270-5257Online 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 - 984
ISBN: 9781479919345 ISSN: 0270-5257Online 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 - 75
ISBN: 978-1-4799-9968-2Online 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
ISBN: 3-88579-641-4; 978-3-88579-641-1 ISSN: 1617-5468 -
Evolution of the E-Assessment Framework JACKIn: Software Engineering Workshops 2015: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015 / Software Engineering Workshops 2015, Dresden, 17.-18. März 2015 / Zimmermann, Wolf (Hrsg.) 2015, S. 118 - 120
ISSN: 1613-0073 -
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 - 219
ISBN: 978-3-319-21911-0; 978-3-319-21912-7Online Volltext: dx.doi.org/ -
Java, LEDs und ein RaspberryPi : ein Projektversuch mit ErstsemesternIn: SEUH 2015: 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 - 101
ISSN: 1613-0073Online 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
ISBN: 978-1-910810-70-5 -
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. 39
ISBN: 978-1-4503-3847-9Online 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. 40
ISBN: 978-1-4503-3847-9Online Volltext: dx.doi.org/ Online Volltext -
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 - 113
ISBN: 978-3-319-08656-9; 978-3-319-08657-6; 3-319-08656-1Online 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. 336
ISBN: 978-1-4503-2833-3; 978-1-4503-3110-4Online 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
ISBN: 978-3-8309-3106-5 -
Concepts and realisations of flexible exercise design and feedback generation in an e-assessment system for mathematicsIn: CICM-WS-WiP 2014: 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) / Conferences on Intelligent Computer Mathematics : CICM ; July 7-11, 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.) 2014
-
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. 3
ISBN: 978-1-4503-2791-6Online 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
ISBN: 978-3-942197-97-7; 978-3-942197-99-1 -
Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering MethodIn: Advanced Information Systems Engineering Workshops 2014, S. 136 - 147
ISBN: 978-3-319-07868-7 -
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
ISBN: 978-3-88579-612-1 ISSN: 1617-5468 -
Bewertung von kurzen Freitextantworten in automatischen PrüfungssystemenIn: DeLFI 2013: die 11. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. (GI) ; 8.-11. 9. 2013 in Bremen / Breiter, Andreas; Rensing, Christoph (Hrsg.) 2013, S. 227 - 232
ISBN: 978-3-88579-612-1 ISSN: 1617-5468 -
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 - 636
ISBN: 978-3-642-40814-4; 978-3-642-40813-7Online 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
ISBN: 978-3-88579-609-1 ISSN: 1617-5468 -
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 - 168
ISBN: 978-1-4503-2126-6Online 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 - 52
ISBN: 978-3-642-30834-5; 978-3-642-30835-2Online 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
ISBN: 978-3-88579-292-5 -
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
ISBN: 978-1-467-31066-6; 978-1-4673-1067-3; 978-1-4673-1064-2 -
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 - 42
ISBN: 978-3-642-23797-3; 978-3-642-23798-0Online 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 - 42
ISBN: 978-1-4503-0697-3Online 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 - 11
ISBN: 978-1-4503-0617-1Online Volltext: dx.doi.org/ Online Volltext -
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
ISBN: 978-3-88579-282-6 -
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
ISBN: 978-3-88579-282-6 -
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 - 307
ISBN: 978-1-4503-0697-3Online 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
ISBN: 978-989-8425-10-2 -
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
ISBN: 978-3-88579-263-5 -
Monitoring model specifications in program code patternsIn: Proceedings of the 5th Workshop on Models@run.time at the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010) / MRT-2010, Models@run.time 2010, Oslo, Norway, October 5th, 2010 2010, S. 60 - 71
ISSN: 1613-0073 -
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
ISBN: 978-3-88579-253-6 -
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 - 310
ISBN: 978-3-642-12103-6 ISSN: 0302-9743Online 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
ISBN: 978-989-674-023-8 -
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 - 176
ISBN: 978-1-4503-0116-9Online 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
ISBN: 978-989-8425-12-6 -
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
ISBN: 978-989-6740-23-8 -
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
ISBN: 978-989-8111-82-1 -
Adaptive User Profiles in Pervasive Advertising EnvironmentsIn: Ambient intelligence: European conference ; proceedings / 3rd European Conference on Ambient Intelligence, November 18th - 21st 2009 / Tscheligi, M.; de Ruyter, B.; Markopoulus, P.; Wichert, R.; Mirlacher, Th.; Meschterjakov, A.; Reitberger, W. (Hrsg.) 2009, S. 276 - 286
ISBN: 3642054072; 978-3642054075 -
Effekte automatischer Bewertungen fuer Programmieraufgaben in Uebungs- und PruefungssituationenIn: DeLFI 2009 - Die 7. E-Learning Fachtagung Informatik / Schwill, Andreas; Apostolopoulos, Nicolas (Hrsg.) 2009, S. 223 - 234
ISBN: 978-3-88579-247-5 -
Embedding Behavioral Models into Object-Oriented Source CodeIn: Proceedings of "Software Engineering 2009" / Liggesmeyer, Peter (Hrsg.) 2009, S. 51 - 62
ISBN: 978-3-88579-237-6 -
A Case for ViewPoints and DocumentsIn: Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 2008, S. 62 - 84
ISBN: 978-3-540-89777-4 -
A Specification Language for Static Analysis of Student ExercisesIn: Proceedings of the 23rd International Conference on Automated Software Engineering 2008
-
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 ausfuehrbare Spezifikation in JavaIn: Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration, co-located at Software Engineering 2008 2008
-
An Integrated Approach to Model Driven Design, Execution, Analysis and MonitoringIn: Enterprise Interoperability II: New Challenges and Approaches: Proc. 3rd International Conference on Interoperability for Enterprise Software and Applications, I-ESA'07, Funchal, Portugal / Goncalves, R.j.; Mueller, J.p. (Hrsg.) 2007, S. 463 - 466
-
Dependency analysis and manipulation using abstract syntax graphsIn: Joint Astrenet/Sosornet Workshop on Source Code Analsysis and Software Services 2007, S. 1 - 4
-
Automation of Java Code Analysis for Programming ExercisesIn: Proceedings of the 3rd International Workshop on Graph based Tools (GraBaTs): 3rd International Conference on Graph Transformation (ICGT) 2006
-
Managing Variability in Product Family Development.In: Proceeding of 5th Intl. Workshop on Product Family Engineering (PFE-5).: Lecture Notes in Computer Science / van der Linden, F. (Hrsg.) 2003, S. 66 - 80
-
Domain-Specific Runtime Variability in Product Line Architecture.In: Proceedings of Object-Oriented Information Services (OOIS'02).: Lecture Notes in Computer Science / Bellahsene, Z.; Patel, D.; Rolland, C. (Hrsg.) 2002, S. 384 - 396
-
Domain-specific runtime variability in product line architecturesIn: Proceedings of the 8th International Conference on Object-Oriented Information Systems (OOIS 2002): LNCS 2425 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.) 2002, S. 317 - 330
-
Berichte über Projekte zur Unterstützung der Lehre und des Lernens durch den Einsatz ‚neuer Medien’In: Schriftenreihe Uni-Kompass 2001
-
Piecemeal migration of a document archive system with an architectural pattern languageIn: 5th European Conference on Software Maintenance and Reengineering (CSMR'01) 2001, S. 180 - 184
-
A Key Technology Evaluation Case Study: Applying a New Middleware Architecture on the Enterprise ScaleIn: Proc. of 2nd Int. Workshop on Engineering Distributed Objects (EDO 2000), Nov 2-3 2000
-
Design and Implementation Constructs for the Development of Flexible, Component-Oriented Software ArchitecturesIn: Proc. of Second International Symposium on Generative and Component-Based Software Engineering (GCSE'2000),Oct 9-12 2000
-
Towards an Integration of Different Specification Methods by Using the ViewPoint FrameworkIn: Proceedings of the 2000 IDPT Conference - The Fifth World Conference on Integrated Design & Process Technology, June 4-8 2000
-
ViewPoint-oriented Software Development: Tool Support for Integrating Multiple Perspectivcs by Distributed Graph TransformationIn: Proceedings of ETAPS 2000, TACAS Tool Demo Track, March 25 - April 2 2000, S. 43 - 47
-
Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed SystemsIn: Proceedings Automated Software Engineering, 14th IEEE International Conference 1999
-
Proceedings of Doctoral Symposium on Requirements Engineering.In: Arbeitsbericht, University of Limerick 1999
-
Tool Support for ViewPoint-oriented Software DevelopmentIn: Proceedings International Workshop and Symposium AGTIVE - Applications of Graph Transformations with Industrial Relevance, Monastery Rolduc, Kerkrade, The Netherlands 1999
-
Towards Dynamic Semantic-Directed Configuration ManagementIn: Engineering Distributed Objects (EDO99): 21th International Conference on Software Engineering 1999
-
Towards Integrating Multiple Perspectives by Distributed Graph TransformationIn: Proceedings International Workshop and Symposium AGTIVE - Applications of Graph Transformations with Industrial Relevance, Monastery Rolduc, Kerkrade, The Netherlands 1999
-
ViewPoint-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with InconsistenciesIn: Proc. 4th International Symposium on Requirements Engineering 1999
-
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 - 165
ISBN: 0-7695-0193-1; 0-7695-0191-5; 978-0-7695-0193-2; 978-0-7695-0191-8 -
Checking Object Semantics in Evolving Distributed Systems based on CORBAIn: Proceedings of the third World Conference on Integrated Design and Process Technology 1998
-
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed SystemsIn: 6th International Workshop on Theory and Application of Graph Transformations 1998
-
Dynamic Semantics Negotiation in Distributed and Evolving CORBA Systems: Towards Semantic-Directed System ConfigurationIn: 4th International Conference on Configurable Distributed Systems, May 4-6 1998
-
Formal Design and Performance Evaluation of Object-Oriented Application FrameworksIn: Object-Oriented Application Frameworks / Fayad, M.; Schmidt, D.; Johnson, R.e. (Hrsg.) 1998
ISBN: 0-471-24875-4 -
Formal Design and Performance Evaluation of Parallel and Distributed Software SystemsIn: Proc. International Symposium on Software Engineering for Parallel and Distributed Systems: 20th International Conference on Software Engineering 1998
-
Hierarchical Specification of Graphical User Interfaces using a Graph Grammar ApproachIn: Proceedings of the third World Conference on Integrated Design and Process Technology 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
ISBN: 978-0-8186-8756-3; 978-0-8186-8759-4; 978-0-8186-8750-1; 0-8186-8750-9; 0-8186-8759-2; 0-8186-8756-8 -
WWW-based Software Architecture Design Support for cooperative Representation and CheckingIn: Proc. 3rd International Software Architecture Workshop 1998
-
Design and Evaluation of Distributed Component-Oriented Software SystemsIn: Technical Report 1997
-
Design and Evaluation of Distributed Component-Oriented Software SystemsIn: Short Version of the WCOP 97 Paper, Workshop Reader 1997
-
Design and Evaluation of Distributed Component-Oriented Software SystemsIn: Second Workshop on Component Oriented Programming (WCOP 97): 11th European Conference on Object Oriented Programming (ECOOP 97) 1997
-
Elaboration of important Interfaces between Pi and QSDLIn: Report G-2 of the DFG Project QUAFOS 1997
-
On Modelling Inconsistencies in Software Development Processes with Graph Based NotationsIn: Position paper for the Workshop "Living with Inconsistencies": International Conference on Software Engineering 1997 (ICSE 1997) 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
-
Towards Automated Detection and Handling of Inconsistencies in Requirements EngineeringIn: Technical Report 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: Proceedings of the SIGSOFT 96 Workshops Second International Software Architecture Workshop (ISAW-2): International Workshop on Multiple Perspectives in Software Development / Vidal, L.; Finkelstein, A.; Spanoudakis, G.; Wo, A. (Hrsg.) 1996
ISBN: 0-89791-867-3 -
Interfaces betwwen Pi and QSDLIn: Report G-1 of the DFG Project QUAFOS 1996
-
Modularisation of Graph Grammars to Specify User InterfacesIn: Technical Report 1996
-
On Distribution of Components in PiIn: Report Pi-1 of the DFG Project QUAFOS 1996
-
On Modular Graph Specifications with Applications to Software Engineering ProblemsIn: Arbeitsbericht 1996
-
The Process Road Between Requirements and DesignIn: Integrated Design and Process Technology: Proceedings the Second World Conference on Integrated Design and Process Technology / Cooke, D.; Kraemer, B.; Sheu, P.; Tsai, J.; Mittermeir, R. (Hrsg.) 1996
-
Towards A Flexible Software Architecture of Interactive SystemsIn: Critical Issues in User Interface Systems Engineering / Benyon, D.; Palanque, P. (Hrsg.) 1996
-
Towards a Formal Specification Method for Graphical User Interfaces using Modularized Graph GrammarsIn: Proceedings of the eighth International Workshop on Software Specification and Design, March, 22-23 1996
-
Description of the Graph Grammar-MachineIn: Internal Report 1994
-
Formal MethodsIn: Software Reusability / Schaefer, W.; Pietro-Diaz, R.; Matsumoto, M. (Hrsg.) 1994
-
On the Architecture of Interactive Software SystemsIn: Internal Report 1994
-
The Architecture of Interactive SystemsIn: Internal Report 1994
-
Some Formal Methods Supporting Software ReuseIn: Technical Report 1993
-
On the Specification of Software ComponentsIn: Proceedings of the 6th Int. ACM/IEEE Workshop on Software Specification and Design 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 (2019) XIII, 306 p. 67 illus., 35 illus. in color
(Programming and Software Engineering ; 11412)ISBN: 978-3-030-15538-4; 978-3-030-15537-7 ISSN: 1611-3349; 0302-9743Online 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
ISBN: 978-1-4503-2856-2 -
Tagungsband zur Software Engineering 2005. : Lecture Notes in InformaticsBonn (2005)
-
Lehrbuch der Programmierung mit JavaHeidelberg (2000)
ISBN: 3-932588-22-3 -
Design and Evaluation of Distributed Object-Oriented Application Frameworkso.O. (1997)
-
On the Structure of Software Description Languages: A Component Oriented View : Habilitation ThesisDortmung (1993)
-
Viewpoint oriented Software Development: Methods and Viewpoints in Requirements Engineering : Lecture Notes in Computer Science : Algebraic Methods II, Theory, Tools and Applications.Berlin / Heidelberg (1991)
(490) -
Zweiter Jahresbericht zum Projekt "Bildungsgerechtigkeit im Fokus" (Teilprojekt 1.2 - "Blended Learning") an der Fakultät für WirtschaftswissenschaftenEssen (2014) iv, 46 Seiten
(ICB Research Reports - Forschungsberichte des ICB ; 59)Online 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 WirtschaftswissenschaftenEssen (2013) v, 61 Seiten
(ICB Research Reports - Forschungsberichte des ICB ; 54)Online Volltext: dx.doi.org/ Online Volltext (Open Access) -
Computer Aided Assessments and Programming Exercises with JACKEssen (2008) vi, 40 Seiten
(ICB-Research Reports - Forschungsberichte des ICB ; 28)Online Volltext: dx.doi.org/ Online Volltext -
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)