Michael Striewe

Michael Striewe
University of Duisburg-Essen | uni-due · paluno - The Ruhr Institute for Software Technology

Dr.

About

73
Publications
15,748
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
294
Citations
Additional affiliations
April 2010 - present
University of Duisburg-Essen
Position
  • SEMAT, i.e. Language track
Description
  • Definition of a kernel and language for the agile creation and enactment of software engineering practices and methods.
April 2007 - present
University of Duisburg-Essen
Position
  • Systems for automated tutoring and assessment in software engineering
Description
  • Automated analysis of software artifacts (code, models, ...) for providing grades and helpful feedback.
April 2007 - present
University of Duisburg-Essen
Position
  • Exercise tutor and interim lecturer
Description
  • Tutor and/or interim lecturer for Java Programming, Design and Architecture of Software Systems, Formal Methods in Sotware Engineering, and Software Performance Engineering.
Education
April 2007 - December 2014
University of Duisburg-Essen
Field of study
  • Computer Science
October 2001 - February 2007
Technische Universität Dortmund
Field of study
  • Computer Science
October 2001 - September 2006
Ruhr-Universität Bochum
Field of study
  • Archaeology

Publications

Publications (73)
Conference Paper
Full-text available
Static source code analysis is a common feature in automated grading and tutoring systems for programming exercises. Different ap-proaches and tools are used in this area, each with individual benefits and drawbacks, which have direct influence on the quality of assessment feedback. In this paper, different principal approaches and different tools...
Thesis
Full-text available
Automated grading and feedback generation for programming and modeling exercises has become a usual means of supporting teachers and students at universities and schools. Tools used in this context engage general software engineering techniques for the analysis of software artefacts. Experiences with the current state-of-the-art show good results,...
Article
Grading and feedback generation for complex open exercises is a major challenge in e-learning and e-assessment. One particular instance of e-assessment systems designed especially for grading programming exercises is JACK. This paper aims to discuss and evaluate key architectural concepts of JACK in terms of components, interfaces, and communicatio...
Article
Full-text available
Computer-assisted assessment (CAA) is widely used in modern university courses in many different fields. It can be used both in formative and summative assessments and with different emphasis on (self-)training, grading, and feedback generation. This article reports on experiences from using the CAA tool “JACK” to support a university lecture on ma...
Chapter
The chapter presents and discusses a structured approach to assessment planning and organization. The approach is inspired by Kanban-style notations as well as by the SEMAT approach for agile software engineering processes. It is based on a breakdown of assessments into their essential elements and phases. It is hence more suitable for agile assess...
Article
Full-text available
Zusammenfassung In vielen Bereichen der Wirtschaftsinformatik spielt die Erstellung konzeptueller Modelle unter Verwendung grafischer Modellierungssprachen eine wichtige Rolle. Entsprechend wichtig ist eine fundierte Grundausbildung, die sich an den benötigten Modellierungskompetenzen orientiert und daher neben theoretischen auch praktische Aspekte...
Conference Paper
The workshop connects to the central theme “Educating for the Future” of CSEE&T 2020 and thus explores opportunities to improve Software Engineering education and training by using Essence. Essence, an OMG Standard, delivers essential, universal elements found in all Software Engineering (SE) endeavours and a language to describe and extend these e...
Article
Full-text available
Using two case studies from biology, the article demonstrates and analyses how domain-specific self-learning items with variable content can be generated automatically for a blended learning environment. It shows that automated item generation works well even for highly specific technical properties and that a good item quality can be produced. Eva...
Chapter
E-assessment systems that provide automated feedback are a well-known part of modern education. Extensibility of e-assessment system with respect to domain-specific features is an import aspect of system design. This paper reports on two successful cases in which an existing e-assessment system was extended with domain-specific features.
Chapter
In the domain of e-learning and e-assessment, many different components are used to realise particular system features. Even for similar features using similar components there are different ways of realisation in terms of connection and integration. This paper presents results from literature review and design-space explorations that result in a c...
Conference Paper
Full-text available
Der Beitrag demonstriert und analysiert an zwei Fallbeispielen aus der Biologie, wie fachspezifische Selbstlernaufgaben mit variablen Inhalten für ein Blended Learning Angebot automatisiert erzeugt werden können. Es wird gezeigt, dass auch hochspezifische fachliche Eigenschaften technisch abgebildet werden können und eine gute Item-Qualität erzeugt...
Chapter
This paper reports on practical experiences with the two e-assessment tools AlephQ and JACK, explains their key features and sketches usage scenarios from two different universities. Using a lecture in accountancy as a concrete example, the paper then presents a successful concept for improving a lecture by introducing both e-assessment systems. Co...
Chapter
Automated generation of assessment items can provide large item pools for formative assessments with little effort. However, if the generation process produces self-contained items, these need to be updated or re-generated each time the data source used for generation changes. This paper describes and discusses an alternative approach that dynamica...
Preprint
Full-text available
Web-based systems for assessment or homework are commonly used in many different domains. Several studies show that these systems can have positive effects on learning outcomes. Many research efforts also have made these systems quite flexible with respect to different item formats and exercise styles. However, there is still a lack of support for...
Conference Paper
Full-text available
Die 8. Fachtagung für Hochschuldidaktik der Informatik (HDI) fand im September 2018 zusammen mit der Deutschen E-Learning Fachtagung Informatik (DeLFI) unter dem gemeinsamen Motto „Digitalisierungswahnsinn? - Wege der Bildungstransformationen“ in Frankfurt statt. Dabei widmet sich die HDI allen Fragen der informatischen Bildung im Hochschulbereich....
Article
Lückentext-Items auf der Basis von Programmcode können eingesetzt werden, um Kenntnisse in der Syntax einer Programmiersprache zu prüfen, ohne dazu komplexe Programmieraufgaben zu stellen, deren Bearbeitung weitere Kompetenzen erfordert. Der vorliegende Beitrag dokumentiert den Einsatz von insgesamt zehn derartigen Items in einer universitären Erst...
Conference Paper
Full-text available
E-Assessments sind immer weiter verbreitet in der Hochschullehre. In einigen Einsatz-gebieten birgt die Erstellung von automatisierten Ansätzen für die Bewertung besondere Herausfor-derungen, so auch bei klassischen Modellierungsaufgaben. In diesem Beitrag wird ein Schema für die Bewertung von Modellen in Form von Ereignisgesteuerten Prozessketten...
Conference Paper
Full-text available
Learning outcomes are more and more defined and measured in terms of competencies. Many research projects are conducted that investigate combinations of knowledge and skills that students might learn. Yet, it is also promising to analyze what students might fail to learn, which provides information about the absence of certain competencies. For thi...
Conference Paper
The Essence standard combines a kernel and a modelling language for software engineering. It defines dynamic semantics of Essence by a mixture of formal and informal means. This paper presents a uniform formalization of the dynamic semantics based on a graph grammar and discusses various applications of this grammar. It is shown that solid formal f...
Article
Support systems for programming education are in widespread use. However common standards for the exchange of general (learning) content and tests do not meet the special requirements of programming tasks, e.g. dealing with complex submissions consisting of multiple files or the combination of different (automatic) evaluation and assessment procedu...
Poster
Full-text available
Eine allgemeine Beschreibung dessen, was eine “intelligente E-Prüfung” ist und eine einfache Entscheidungshilfe für diejenigen, die ein passendes Werkzeug für ihre Zwecke suchen.
Conference Paper
The idea of using randomly generated mathematical exercises in Computer Assisted Assessment (CAA) is well-known. Variable values can be used to create different versions of an exercise, each time a student looks at it. This approach helps to avoid plagiarism between students and leads to discussions about the concepts of an exercise rather than dis...
Conference Paper
Unterstützungssysteme für die Programmierausbildung sind weit verbreitet, doch gängige Standards für den Austausch von allgemeinen (Lern-)Inhalten und Tests erfüllen nicht die speziellen Anforderungen von Programmier-aufgaben wie z. B. den Umgang mit komplexen Einreichungen aus mehreren Dateien oder die Kombination verschiedener (automatischer) Bew...
Conference Paper
Full-text available
Current approaches to automated assessment of UML diagram mainly focus on static analysis. As this may be insufficient for behavioural diagrams, this contribution presents an approach to dynamic checks of UML Activity Diagrams. The approach makes use of trace generation and sequence alignment and shows fair results in preliminary experiments.
Conference Paper
Full-text available
Programming requires both to write code and to read code. In debugging tasks, students can use supporting tools that create additional artefacts like visualizations or traces, but these again need to be read and understood. This contribution presents a concept of code reading exercises that asks students to create the same artefacts for given code...
Article
In computer aided assessment (CAA) and automated tutoring the feedback to a submitted solution is very important for the learning outcome of students. It should help them to improve their performances, which means it is designed to go beyond a classification into right or wrong. In this paper we consider the domain of mathematics and introduce a ge...
Conference Paper
Full-text available
In 2009 the authors of this paper published their proposal for a modular software architecture for computer aided assessments and au-tomated marking. Since then, four more years of experience have passed. This paper reports on technical and organizational aspects of using the proposed architecture and the actual system in various scenarios.
Conference Paper
Full-text available
Die manuelle Bewertung von offenen Aufgaben, insbesondere Freitextaufgaben, ist für Lehrende zeitaufwändig und unterliegt Schwankungen durch subjektive Einschätzungen. Besonders im Hinblick auf aktuelle Entwicklungen wie Massive Open Online Courses (MOOC), bei denen sich zehntausende Studierende für Online-Vorlesungen einschreiben, ist formatives A...
Conference Paper
Full-text available
In automated tutoring systems for programming exercises, feedback can be given by comparing a student solution to a sample solution. Running test cases on both of them can give hints on flaws, but cannot look inside methods or functions, as long as they are handled as black boxes. This paper suggests to compare full traces instead of just output in...
Book
Full-text available
Der vorliegende Technical Report beschreibt und diskutiert ein System für Computer Aided Assessments im Bereich Mathematik, welches im Rahmen des Projekts „Bildungsgerechtigkeit im Fokus, Teilprojekt 1.2 - Blended Learning“ realisiert worden ist. Der Report enthält eine Beschreibung des Projekts, eine detaillierte Beschreibung des Systems, erste Er...
Conference Paper
Full-text available
Der Einsatz von Softwareproduktmetriken zur Beobachtung und Beurteilung von Softwareprojekten ist ein oft diskutiertes Thema. Es gibt vielfältige Vor- und Nachteile, die beim Einsatz zu berücksichtigen sind. Der vorliegende Artikel diskutiert an Fallbeispielen, wie Metriken zur Lehrunterstützung in einer Lehrveranstaltung zur Programmierung genutzt...
Conference Paper
Full-text available
Komplexe Softwareentwicklungsmethoden entstehen selten in einem Zug und sind danach unveränderlich, sondern werden schrittweise erstellt und kontinu-ierlich verbessert. Der konkrete Projektfortschritt muss durch sie messbar sein, aber gleichzeitig muss das Vorgehen projektspezifisch adaptierbar bleiben. Vor dem Hinter-grund dieser Anforderungen wur...
Conference Paper
Full-text available
The new software engineering initiative, Semat, is in the process of developing a kernel for software engineering that stands on a solid theoretical basis. So far, it has suggested a set of kernel elements for software engineering and basic language constructs for defining the elements and their usage. This paper describes a session during which Se...
Conference Paper
Running test cases against a student's solution of a programming assignment is one of the easiest ways to generate feedback. If black-box tests are used, students may have difficulties to retrace the complete system behaviour and to find erroneous programming statements. This paper discusses the use of automated trace generation for assisting stude...
Conference Paper
Automated checks for software artefacts like UML diagrams used in automated assessment or tutoring systems do often rely on direct comparisons between a solution and a sample solution. This approach has drawbacks regarding flexibility in face of different possible solutions which are quite common in modeling tasks. This paper presents an alternativ...
Conference Paper
Full-text available
Software under development is considered by developers at different levels of abstraction, often with formal model specifications that describe actual program code. However, there are semantic barriers between high-level specifications and the resulting programs. In this contribution we introduce a set of tools that maintain multiple abstraction le...
Article
Full-text available
Dieser Artikel beschreibt die technischen, organisatorischen und inhaltlichen Herausforderungen, die bei der Organisation und Implementierung einer Plattform für PC-gestützte Prüfungen an der Universität Duisburg-Essen zu bewältigen waren. Anhand zweier Szenarien aus dem Wintersemester 2009/10 wird der Umstieg von papiergestützten Prüfungen auf PC-...
Conference Paper
Measuring run time behaviour of systems under load can cause the need for complex workload definitions, measurement strategies and integration of load generation techniques. In this contribution we present SyLaGen (“Synthetic Load Generator”), a load generation environment that focuses on extendability with respect to four different aspects: First,...
Conference Paper
Full-text available
In introductory courses on programming it is important to discuss algorithms at the syntactic level in terms of program code as well as at the semantic level in terms of affected data structures. While single visualizations for examples during a lecture are easy to create for a teacher, students have to create visualizations of their exercises on t...
Article
During development of software systems multiple notations are in use to describe requirements, design, source code, run time traces, and more. These notations usually have different purposes and semantics so that it is difficult to keep information consistent during development. In this position paper we propose an alternative approach to model-dri...
Article
Numerous approaches exist, that derive executable systems from well-defined specifications. However, model specifications are not available in program code of such derived systems, which impedes continuous validation and verification at run time. We earlier proposed to embed model specifications into well-defined program code patterns to bridge thi...
Article
In this paper we show a new approach to evolution of software systems. We embed high-level specification information into program code patterns, so that such program code is interpretable at different abstraction levels. Since these model information is also acessed at run time for execution, we can avoid the situation that program code and high-le...
Article
Typical techniques of model-driven development use graph transformations to manipulate models and use generators to produce source code. In this contribution we suggest to use graph transformations instead of generators in order to get a closer connection between model and code. We define a Triple Graph Grammar for the mapping from a modeling tool...
Book
Full-text available
In this report a system for computer aided assessments and exercises on Java programming is presented and discussed. The report includes a detailed system description, experiences and evaluations from using the system, plans for future development and a brief overview about related work and discussions.
Conference Paper
Full-text available
State machines can be comprehensively specified, simulated and validated at design time to get a formally founded skeleton for a software application. A direct implementation of state machines in Java source code can realize states as classes, transitions as methods and variables as well as pre-conditions and variable updates as auxilliary methods,...
Article
Full-text available
Typical techniques of model-driven development use graph transformations to manipulate models and use generators to produce source code. In this contribution we suggest to use graph transformations instead of generators in order to get a closer connection between model and code. We define a Triple Graph Grammar for the mapping from a modeling tool...
Article
Full-text available
In this contribution we reflect on the development of SyLaGen, an academic load generation tool for performance tests. It is able to generate a defined amount of requests to a system under test and measure the response times. The development of this tool has been influenced by two facts over the last ten years: First, its variety in functionality a...

Network

Cited By

Projects

Projects (6)
Project
KEA-Mod stands for "Kompetenz-orientiertes E-Assessment für die grafische Modellierung" (Competency-oriented e-assessment for the graphical modeling domain). It is a research project funded by the German BMBF with project partners from other institutions. Visit our homepage at http://www.keamod.de The overall goal of the project is the development and establishment of an e-assessment platform for the graphical modeling domain to be used in higher education. Current modeling languages from the disciplines of software engineering and information systems which are taken into account are: UML (class and sequence diagrams), EPK, Petri Nets and BPMN.
Project
This projects tries to investigate currents trend for support systems for learning programming.
Project
The SEMAT community issued the ESSENCE standard for software engineering process descriptions. This project covers my contributions to the standard and any related research.