Teaching design patterns in higher education enhances coding skills and improves software quality.However, manually correcting their work and detecting whether the students have correctly implemented the design patterns is timeconsuming and would benefit from automated tools.There exist tools that can automatically detect design patterns in code.However, these tools rarely provide an explicit specification of what each pattern should look like.As a consequence, these tools are not usable in an educational environment.When using a tool to detect design patterns in an educational environment, there are several important considerations to keep in mind.Firstly, the tool should use an explicit specification of each design pattern.Secondly, as a teacher, you should be able to adjust the specifications.Third, the tool should be accurate, meaning it should produce few to no false positives or false negatives when identifying patterns in the students' code.Finally, the tool should do this computationally efficiently.In this article, we present a new tool for detecting design patterns in code.Our tool is capable of recognizing 20 of the most commonly used design patterns, including those described by the 'Gang of Four'.

This experience report describes the idea of making teammates aware of personality differences and its influence on team work. This is a topic that has relevance in any team work setting, in particular in Software Engineering (SE) where team work is central.

In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We describe the basic program, discuss the reasons why we decided for such an assignment, and show the results. The assignment proved to be very effective both to train students to work with design patterns and to assess that students have reached the learning goals. This was true both for students with a professional background and for students with academic interests.

Our interest in the field of software architecture is focused on the application in technical systems, such as control systems. Our current research in this field is centered around a real-life case study, a control system for unmanned vehicles transporting containers on the "Maasvlakte" , an area in the ports of Rotterdam.Important issues in this control system are scalability, evolvability, and on-line change capacities.In this paper, we discuss two mechanisms for on-line change in the distributed control system for the Maasvlakte system, which we have implemented in Java. The software architecture we use is a configuration of distributed processes, communicating according to the subscription model. We will focus on the software architectural aspects of the mechanisms for on-line change. One of these mechanisms is associated with the decoupling of processes as a result of the subscription-based communication model. The other mechanism is based on the late-binding properties of Java.

The paper presents results from work in progress on finding a method for formal specification and verification of real time concurrent systems that incorporate a non trivial data component. We have extended Timed CCS, a timed CCS variant with a model oriented data language based on VDM. The semantics of the extension, called MTCCS is expressed in a combination of denotational and operational style. We show how verification of temporal logic properties based on symbolic model checking can be made possible for such a combination notation.