Michael Goedicke

According to our database1, Michael Goedicke authored at least 125 papers between 1985 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
The Nature of Software Evolution.
Proceedings of the Managed Software Evolution., 2019

Future Research.
Proceedings of the Managed Software Evolution., 2019

Lessons Learned.
Proceedings of the Managed Software Evolution., 2019

Introducing Managed Software Evolution.
Proceedings of the Managed Software Evolution., 2019

Continuous Design Decision Support.
Proceedings of the Managed Software Evolution., 2019


2018
E-Science als Herausforderung für die Informatik.
Informatik Spektrum, 2018

Supporting evolution of automated material flow systems as part of CPPS by using coupled meta models.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Automatische Generierung von Aufgaben zum Codeverständnis.
Proceedings of the DeLFI 2018, 2018

Klausurprognose mit Hilfe von E-Assessment-Nutzerdaten.
Proceedings of the DeLFI 2018, 2018

2017
Variability and Complexity in Software Design: Towards Quality through Modeling and Testing.
ACM SIGSOFT Software Engineering Notes, 2017

Rapid Continuous Software Engineering.
Journal of Systems and Software, 2017

Editorial.
Journal of Systems and Software, 2017

A Dashboard for Visualizing Software Engineering Processes Based on ESSENCE.
Proceedings of the IEEE Working Conference on Software Visualization, 2017

3rd International Workshop on Rapid Continuous Software Engineering (RCoSe 2017).
Proceedings of the 3rd IEEE/ACM International Workshop on Rapid Continuous Software Engineering, 2017

2nd International Workshop on Variability and Complexity in Software Design (VACE 2017).
Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

10 Jahre automatische Bewertung von Programmieraufgaben mit JACK - Rückblick und Ausblick.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

A case study of software engineering methods education supported by digital game-based learning: Applying the SEMAT Essence kernel in games and course projects.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Towards competency based testing and feedback: Competency definition and measurement in the field of algorithms & data structures.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Ein Lückentext-Test zur Beherrschung einer Programmiersprache.
Proceedings of the Bildungsräume 2017: DeLFI 2017, 2017

Evaluation einer Statistiklehrveranstaltung mit dem JACK R-Modul.
Proceedings of the Bildungsräume 2017: DeLFI 2017, 2017

Auf dem Weg zu variablen Programmieraufgaben: Requirements Engineering anhand didaktischer Aspekte(Towards Variable Programming Tasks: Requirements Engineering Based on Didactic Aspects).
Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), 2017

2016
Variability and Complexity in Software Design: Towards a Research Agenda.
ACM SIGSOFT Software Engineering Notes, 2016

Variability for Qualities in Software Architecture.
ACM SIGSOFT Software Engineering Notes, 2016

Introduction to the special section - General Theories of Software Engineering: New advances and implications for research.
Information & Software Technology, 2016

From ESSENCE to Theory Oriented Software Engineering.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Towards Deriving Programming Competencies from Student Errors.
Proceedings of the International Conference on Learning and Teaching in Computing and Engineering, 2016

Beobachtungen zum Abbruchverhalten von Studierenden in einem webbasierten Mathematik Vorkurs.
Proceedings of the DeLFI 2016, 2016

2015
Towards general theories of software engineering.
Sci. Comput. Program., 2015

Design for future: managed software evolution.
Computer Science - R&D, 2015

Java, LEDs und ein RaspberryPi: Ein Projektversuch mit Erstsemestern.
Proceedings of the Tagungsband des 14. Workshops "Software Engineering im Unterricht der Hochschulen" 2015, Dresden, Deutschland, 26., 2015

Evolution of the E-Assessment Framework JACK.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

A Framework for Generic Exercises with Mathematical Content.
Proceedings of the 2015 International Conference on Learning and Teaching in Computing and Engineering, 2015

2nd International Workshop on Rapid Continuous Software Engineering (RCoSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

4th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards systematic selection of architectural patterns with respect to quality requirements.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Towards a reliable mapping between performance and security tactics, and architectural patterns.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA): Workshop Introduction.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Aufwand und Nutzen parametrisierbarer, pfadbasierter Aufgaben.
Proceedings of the DeLFI 2015, 2015

2014
How to Develop a General Theory of Software Engineering: Report on the GTSE 2014 Workshop.
ACM SIGSOFT Software Engineering Notes, 2014

A Review of Static Analysis Approaches for Programming Exercises.
Proceedings of the Computer Assisted Assessment. Research into E-Assessment, 2014

Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics.
Proceedings of the Joint Proceedings of the MathUI, 2014

Code reading exercises using run time traces.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

Automated assessment of UML activity diagrams.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method.
Proceedings of the Advanced Information Systems Engineering Workshops, 2014

Integrating Protocol Contracts with Java Code.
Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context.
Proceedings of the Behavior Modeling, 2014

2013
Report on the Second SEMAT Workshop on General Theory of Software Engineering (GTSE 2013).
ACM SIGSOFT Software Engineering Notes, 2013

Analyse von Programmieraufgaben durch Softwareproduktmetriken.
Proceedings of the Tagungsband des 13. Workshops "Software Engineering im Unterricht der Hochschulen" 2013, Aachen, 28. Feb., 2013

Modellierung und Enactment mit ESSENCE.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Towards architecture-centric evolution of long-living systems (the ADVERT approach).
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

2nd SEMAT workshop on a general theory of software engineering (GTSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

JACK Revisited: Scaling Up in Multiple Dimensions.
Proceedings of the Scaling up Learning for Sustained Impact, 2013

Beobachtungen zur Motivation der Studierenden bei verschiedenen Frageformaten.
Proceedings of the DeLFI 2013, 2013

Bewertung von kurzen Freitextantworten in automatischen Prüfungssystemen.
Proceedings of the DeLFI 2013, 2013

2012
Deriving Quality-based Architecture Alternatives with Patterns.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Refounding software engineering: The Semat initiative (Invited presentation).
Proceedings of the 34th International Conference on Software Engineering, 2012

A Conceptual Framework and Experimental Workbench for Architectures.
Proceedings of the Software Service and Application Engineering, 2012

2011
Enriching OSGi Service Interfaces with Formal Sequential Contracts.
Proceedings of the Software Engineering 2011, 2011

Using run time traces in automated programming tutoring.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Automated checks on UML diagrams.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

A Question-Based Method for Deriving Software Architectures.
Proceedings of the Software Architecture - 5th European Conference, 2011

Studentische Interaktion mit automatischen Prüfungssystemen.
Proceedings of the DeLFI 2011, 2011

Enriching Java Enterprise interfaces with formal sequential contracts.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Viewpoints.
Proceedings of the Encyclopedia of Software Engineering, 2010

Browser-based Analysis of Web Framework Applications
Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

Towards Domain-specific Modeling for Java Enterprise Applications.
Proceedings of the Modelling, 2010

Representing Formal Component Models in OSGi.
Proceedings of the Software Engineering 2010, 2010

Monitoring Model Specifications in Program Code Patterns.
Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010

SyLaGen - An Extendable Tool Environment for Generating Load.
Proceedings of the Measurement, 2010

Tool support for continuous maintenance of state machine models in program code.
Proceedings of the ASE 2010, 2010

Feedback-Möglichkeiten in automatischen Prüfungssystemen.
Proceedings of the DeLFI 2010, 2010

Visualizing Data Structures in an e-Learning System.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

Teaching Programming with Formal Models in Greenfoot.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009
Design for Future - Legacy-Probleme von morgen vermeidbar?
Informatik Spektrum, 2009

Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM2009).
Proceedings of the Software Engineering 2009, 2009

Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2009).
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

Embedding Behavioral Models into Object-Oriented Source Code.
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

Effekte automatischer Bewertungen für Programmieraufgaben in Übungs- und Prüfungssituationen.
Proceedings of the Lernen im digitalen Zeitalter - DeLFI 2009, die 7. E-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V., 14., 2009

A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

Adaptive User Profiles in Pervasive Advertising Environments.
Proceedings of the Ambient Intelligence, 2009

2008
Using a Triple Graph Grammar for State Machine Implementations.
ECEASST, 2008

Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008).
Proceedings of the Software Engineering 2008, 2008

Workshop Modellgetriebene Softwarearchitektur -Evolution, Integration und Migration.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

UPPAAL-Modelle als ausführbare Spezifikation in Java.
Proceedings of the Software Engineering 2008, 2008

A Specification Language for Static Analysis of Student Exercises.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007
Bericht über den Workshop Software-Architektur und Migration im Rahmen der Software-Engineering 2007, 27. März 2007 in Hamburg.
Softwaretechnik-Trends, 2007

Einführung.
Proceedings of the Software Engineering 2007, 2007

WG5: Workshop Softwarearchitektur und Migration.
Proceedings of the Software Engineering 2007, 2007

A Case for ViewPoints and Documents.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

An Integrated Approach to Model-Driven Design, Execution, Analysis and Monitoring.
Proceedings of the Enterprise Interoperability II, 2007

2006
Automation of Java Code Analysis for Programming Exercises.
ECEASST, 2006

2005

2004
Designing runtime variation points in product line architectures: three cases.
Sci. Comput. Program., 2004

Guest Editors' Introduction.
Autom. Softw. Eng., 2004

2003
A Meta-model for Representing Variability in Product Family Development.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

2002
Piecemeal legacy migrating with an architectural pattern language: a case study.
Journal of Software Maintenance, 2002

Towards an Integration of Different Specification Methods by using the Viewpoint Framework.
Transactions of the SDPS, 2002

Domain-Specific Runtime Variability in Product Line Architectures.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

2001
Hierarchical Specification of Graphical User Interfaces using a Graph Grammar Approach.
Transactions of the SDPS, 2001

Integration and Collaboration Based on Graphical Techniques (Editorial).
Transactions of the SDPS, 2001

Message Redirector.
Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), 2001

Piecemeal Migrating of a Document Archive System with an Architectural Pattern Language.
Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

2000
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Design and Implementation Constructs for the Development of Flexible, Component-Oriented Software Architectures.
Proceedings of the Generative and Component-Based Software Engineering, 2000

Object System Layer.
Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), 2000

A Key Technology Evaluation Case Study: Applying a New Middleware Architecture on the Enterprise Scale.
Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

Service Integration.
Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

Lehrbuch der Programmierung mit Java.
dpunkt.verlag, ISBN: 978-3-932588-22-8, 2000

1999
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Tool Support for ViewPoint-oriented Software Development.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

Formal Design and Performance Evaluation of Parallel and Distributed Software Systems.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Dynamic semantics negotiation in distributed and evolving CORBA systems: towards semantic-directed system configuration.
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

1997
Java in der Programmierausbildung: Konzepte und erste Erfahrungen.
Informatik Spektrum, 1997

Design and Evaluation of Distributed Component-Oriented Software Systems.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1992
Viewpoints: A Framework for Integrating Multiple Perspectives in System Development.
International Journal of Software Engineering and Knowledge Engineering, 1992

1991
Towards a Formally Based Component Description Language - A Foundation for Reuse.
Structured Programming, 1991

Towards a Formally Based Component Description Language.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1989
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering.
Proceedings of the Algebraic Methods II: Theory, 1989

1985
Eine Sprache zur formalen Spezifikation eingebetteter Systeme.
PhD thesis, 1985


  Loading...