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
-
Gruppe der Hochschullehrerinnen und Hochschullehrer, Fakultätsrat
Aktuelle Veranstaltungen
-
2022 SS
- Programmierung
- Bachelorprojekt Spezifikation von Softwaresystemen
- Programmierung B (Übung)
- Distributed Objects & XML (Übung)
- Distributed Objects & XML
- Software Engineering
- Projektgruppe Spezifikation von Softwaresystemen (Masterprojekt I-III)
- Software Engineering (Übung)
- Programmierung (Testat) (Programmierung A / B)
- Programmierung A
- Seminar Spezifikation von Softwaresystemen
- Programmierung A (Übung)
- Programmierung (Übung)
- Programmierung B
Vergangene Veranstaltungen (max. 10)
-
2021 WS
- Bachelorprojekt Spezifikation von Softwaresystemen
- Programmierung B (Übung)
- Programmierung
- Projektgruppe Spezifikation von Softwaresystemen (Masterprojekt I-III)
- Formale Methoden des Software Engineering (Übung)
- Programmierung A
- Formale Methoden des Software Engineering
- Design und Architektur von Softwaresystemen
- Design und Architektur von Softwaresystemen (Übung)
- Programmierung (Testat) (Programmierung A / B)
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.
-
When is the Best Time to Learn? : Evidence from an Introductory Statistics CourseIn: Open Education Studies Jg. 3 (2021) Nr. 1, S. 84 - 95
ISSN: 2544-7831Online 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 - 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 and Software Technology Jg. 70 (2016) S. 176 - 180
ISSN: 0950-5849; 1873-6025Online 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 + 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/ -
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: 1432-122X; 0170-6012Online 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)
ISSN: 1863-2122Online Volltext: dx.doi.org/ (Open Access) -
Designing Runtime Variation Points in Product Line Architectures : Three CasesIn: Science of Computer Programming Jg. 53 (2004) Nr. 3, S. 353 - 380
ISSN: 0167-6423Online 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 - 30
ISSN: 2047-7481Online 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
ISSN: 1875-8959; 1092-0617 -
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
ISSN: 1875-8959; 1092-0617 -
A High Level Design Framework for Software SystemsIn: Journal of Integrated Design and Process Science (1998)
ISSN: 1875-8959; 1092-0617 -
Dealing with Inconsistencies between Requirements and DesignIn: Softwaretechnik-Trends (STT) Jg. 17 (1997) Nr. 1, S. 11 - 12
ISSN: 0720-8928 -
Java in der Programmierausbildung : Konzept und erste ErfahrungenIn: Informatik-Spektrum Jg. 20 (1997) Nr. 6, S. 357 - 363
ISSN: 1432-122X; 0170-6012Online 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 - 57
ISSN: 0218-1940Online Volltext: dx.doi.org/ -
Towards a Formally Based Component Description Language : a Foundation for ReuseIn: Structured Programming Jg. 12 (1991) Nr. 2,
ISSN: 0935-1183 -
Foreword to the Special Issue in Empirical Software Engineering : Best Papers of REFSQ 2019In: Empirical Software Engineering Jg. 25 (2020) Nr. 5, S. 4348 - 4349
ISSN: 1573-7616; 1382-3256Online Volltext: dx.doi.org/ -
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
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-1212; 1873-1228Online Volltext: dx.doi.org/ -
Rapid continuous software engineeringIn: Journal of Systems and Software Jg. 133 (2017) S. 159
ISSN: 0164-1212; 1873-1228Online 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: 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
ISBN: 0-7695-1877-X; 978-0-7695-1877-0 -
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: 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.) 2017
ISSN: 1613-0073Online 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 - 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 / Workshops der Tagung Software Engineering 2015 (SE-WS 2015), 17.-18. März 2015, Dresden, Deutschland 2015, S. 118 - 120
ISSN: 1613-0073Online 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 - 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: 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 - 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: 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.) 2014
ISSN: 1613-0073Online 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. 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 -
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 - 68
ISSN: 1613-0073Online 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
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) / 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
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: 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 - 71
ISSN: 1613-0073Online 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
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; 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 - 286
ISBN: 978-3-642-05408-2; 978-3-642-05407-5Online 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
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 / 14th Monterey Workshop 2007, Monterey, USA, September 10-13, 2007 / Paech, Barbara; Martell, Craig (Hrsg.) 2008, S. 62 - 84
ISBN: 978-3-540-89777-4; 978-3-540-89778-1Online 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 - 358
ISBN: 978-1-4244-2188-6; 978-1-4244-2187-9Online 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
-
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 - 466
ISBN: 978-1-84628-857-9; 978-1-4471-7131-7; 978-1-84628-858-6Online 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 - 80
ISBN: 978-3-540-24667-1; 978-3-540-21941-5Online 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 - 396
ISBN: 978-3-540-44087-1; 978-3-540-46102-9Online 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 - 26
ISBN: 978-3-540-41792-7; 978-3-540-45254-6Online 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 - 130
ISBN: 978-3-540-44815-0; 978-3-540-42578-6Online 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
ISBN: 978-3-87940-775-0; 3-87940-775-4 -
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 - 184
ISBN: 0-7695-1028-0Online 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 - 47
ISBN: 978-3-540-46419-8; 978-3-540-67282-1Online 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 - 425
ISBN: 978-3-540-45104-4; 978-3-540-67658-4Online 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 - 378
ISBN: 978-3-540-45104-4; 978-3-540-67658-4Online 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 1999
ISBN: 978-0-7695-0415-5Online 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 - 99
ISBN: 0-7695-0188-5Online 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 - 165
ISBN: 978-0-7695-0193-2; 978-0-7695-0191-8Online 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
ISBN: 952-12-0185-1 -
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 - 193
ISBN: 978-3-540-46464-8; 978-3-540-67203-6Online 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 - 110
ISBN: 978-0-8186-8452-4; 978-0-8186-8453-1; 978-0-8186-8451-7Online 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
ISBN: 0-471-24875-4 -
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 - 144
ISBN: 0-8186-8467-4; 0-8186-8468-2Online 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
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: 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 - 44
ISBN: 978-1-58113-081-2Online 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 - 352
ISBN: 978-3-540-64039-4; 978-3-540-69687-2Online 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 - 251
ISBN: 0-89791-867-3; 978-0-89791-867-1Online 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 - 223
ISBN: 978-3-540-19964-9; 978-1-4471-1001-9Online 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
ISBN: 978-0-8186-7361-0; 0-8186-7361-3 -
Formal MethodsIn: Software Reusability / 1st International Workshop on Software Reusability ; July 1991, Dortmund / Schäfer, Wilhelm; Pietro-Diaz, Ruben; Matsumoto, Masao (Hrsg.) 1994
ISBN: 0-13-063918-4; 978-0-13-063918-9 -
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
ISBN: 978-0-8186-2320-2; 0-8186-2320-9; 0-8186-2321-7; 0-8186-2322-5 -
ViewPoint oriented software development : Methods and viewpoints in requirements engineeringIn: Algebraic Methods II: Theory, Tools and Applications / Bergstra, J. A. (Hrsg.) 1991
ISBN: 978-3-540-46351-1; 978-3-540-53912-4Online 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,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/ -
The Essentials of Modern Software Engineering : Free the Practices from the Method Prisons!New York (2019) 401 S.
(ACM Books ; 25)ISBN: 978-1-947487-27-7; 978-1-94748-724-6Online 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 -
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 (2005) 295 Seiten
(GI-Edition / Proceedings, Lecture Notes in Informatics ; 64)ISBN: 3-88579-393-8 ISSN: 1617-5468Online Volltext (Open Access) -
Lehrbuch der Programmierung mit JavaHeidelberg (2000) X, 367 S. : graph. Darst.
ISBN: 3-932588-22-3 -
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 viewDortmund (1992) 351 S.
(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) iv, 46 Seiten
(ICB Research Reports ; 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 ; 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 ; 28)Online 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 PiDortmund (1994) 69 Seiten
(ISST-Bericht ; 21) -
Some Formal Methods Supporting Software ReuseEssen (1993) 33 Seiten
(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)
-
UPPAAL-Modelle als ausführbare Spezifikation in Java
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration, co-located at Software Engineering 2008,München (2008)
-
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)