Dear students,

the re-exam for this course will take place on the 29.03.2021 at 2 pm. The room for the exam is the GHH (E2.2). Please be at the backside entrance of the GHH by 2 pm.

Please keep at least 1,5 m apart at all times before, after, and during the exam. After entering the room, immediately take a seat at a free seat with an exam in front of you. Fill the free seats from the middle to the outside of the rows and follow the instructions of the examiners.

Please note that it is necessary for you to bring your medical mouth-nose protection mask (surgical mask or FFP2/KN95/N95 mask) with you.

If your answer is "yes" to one or more of the following questions, then you are not allowed to attend the exam. If you provide a doctor’s certificate to the examination office later on, the examination attempt will be canceled and will not count.

1. Did you have definite contact with a Covid-19 patient, who was tested positive, in the last 14 days?
2. Do you have any of the following symptoms?

• Cough / Husten
• Sore throat / Halsschmerzen
• Nasal congestion / runny nose / Schnupfen
• Diarrhoea /Durchfall
• Fever /Fieber
• Aches and pains / Gliederschmerzen
• Loss of smell (e.g. no longer able to smell burnt food) / Geruchsverlust
• Loss of taste (e.g. unable to distinguish when food is burnt) / Geschmacksverlust”

If you have any questions feel free to ask us via email.

Best,
the SE team

Dear students,

the exam inspection for this course will take place on the 16.03.2021 from 2 pm. The inspection takes place in room HS 001 in E1.3.

We have separated the inspection into five 30 minute slots. You have to register for one of the slots via the personal status page in the CMS. The registration if open until Friday at 23:59. You are only allowed to register for one slot and you can only partake in the inspection in the slot that you registered for. Each slot is limited to 20 people. The spots in the slots are distributed first come first serve.

Please keep at least 1,5 m apart at all times before, after, and during the exam inspection. After entering the room, immediately take a seat at one of the marked seats. Please note that it is necessary for you to bring your medical mouth-nose protection mask (surgical mask or FFP2/KN95/N95 mask) with you.

If your answer is "yes" to one or more of the following questions, then you are not allowed to attend the exam inspection.

1. Did you have definite contact with a Covid-19 patient, who was tested positive, in the last 14 days?
2. Do you have any of the following symptoms?

• Cough / Husten
• Sore throat / Halsschmerzen
• Nasal congestion / runny nose / Schnupfen
• Diarrhoea /Durchfall
• Fever /Fieber
• Aches and pains / Gliederschmerzen
• Loss of smell (e.g. no longer able to smell burnt food) / Geruchsverlust
• Loss of taste (e.g. unable to distinguish when food is burnt) / Geschmacksverlust”

If you have any questions feel free to ask us via email.

Best,
the SE team

Dear students,

we have some additional information for the exam tomorrow.

If your answer is "yes" to one or more of the following questions, then you are not allowed to attend the exam. If you provide a doctor’s certificate to the examination office later on, the examination attempt will be canceled and will not count.

1. Did you have definite contact with a Covid-19 patient, who was tested positive, in the last 14 days?
2. Do you have any of the following symptoms?

• Cough / Husten
• Sore throat / Halsschmerzen
• Nasal congestion / runny nose / Schnupfen
• Diarrhoea /Durchfall
• Fever /Fieber
• Aches and pains / Gliederschmerzen
• Loss of smell (e.g. no longer able to smell burnt food) / Geruchsverlust
• Loss of taste (e.g. unable to distinguish when food is burnt) / Geschmacksverlust”

Please don't forget to bring your own medical mouth-nose protection mask (surgical mask or FFP2/KN95/N95 mask). You have to keep your masks on during every stage of the exam (before, during, after). The only exception is drinking, where you are allowed to take off your mask, drink a sip, and then immediately put your mask back on. Please try to do this as little as possible.

General Information for the exam:

•  Exam duration: 90 minutes
•  Maximum score for the exam: 90
•  You will be provided with additional sheets if requested. Write your seat number on the top right corner of each extra sheet. You can also use the back of the worksheets. It is not allowed to use your own sheets.
•  There are no additional aids (e.g., notes, calculator, ...) allowed.
•  Please bring your student ID and photo ID for identity control.
•  Only use indelible pens (e.g., ballpoint pens, ink pens). Do not use red or green pens or pencils.
•  You can provide solutions in English or German. However, do not switch languages within a task.
•  Please hand in all the sheets (including the worksheets) at the end of the exam.

Please also take a look at the news post from 12.02.2021 as there is stated when and where you have to be.

Best,
the SE team

Dear students,

the exam for this course will take place on the 17.02.2021 at 2 pm. The rooms for the exam are the GHH (E2.2) and the HS002 (E1.3). You can find the room you are in and when you have to be at the entrance in the following table:

Please keep at least 1,5 m apart at all times before, after, and during the exam. After entering the room, immediately take a seat at a free seat with an exam in front of you. Fill the free seats from the middle to the outside of the rows and follow the instructions of the examiners.

Please note that it is necessary for you to bring your medical mouth-nose protection mask (surgical mask or FFP2/KN95/N95 mask) with you.

If your answer is "yes" to one or more of the following questions, then you are not allowed to attend the exam. If you provide a doctor’s certificate to the examination office later on, the examination attempt will be canceled and will not count.

1. Did you have definite contact with a Covid-19 patient, who was tested positive, in the last 14 days?
2. Do you have any of the following symptoms?

• Cough / Husten
• Sore throat / Halsschmerzen
• Nasal congestion / runny nose / Schnupfen
• Diarrhoea /Durchfall
• Fever /Fieber
• Aches and pains / Gliederschmerzen
• Loss of smell (e.g. no longer able to smell burnt food) / Geruchsverlust
• Loss of taste (e.g. unable to distinguish when food is burnt) / Geschmacksverlust”

If you have any questions feel free to ask us via email.

Best,
the SE team

Dear Students,

someone in the forum noticed a typo in task 1b) of the fourth assignment sheet. The variability context to use for the type derivation should of course be phi' and not phi. We updated the assignment sheet accordingly.

Best,
the SE team

Edit: Typos while fixing typos... It's task 1b), not 2b).

Dear students,

we have just published the fourth and final assignment. As always you can find the link to an explanatory video here.

Best,
the SE team

Edit: currently the sound of the explanatory video is not working. We will redo the video after the exercise session and keep you posted.

Edit 2: The Link is updated and it should now work.

Dear students,

since the submission of assignment 03 is already this Friday, we have decided to publish the codes for the MS Teams teams of the Tuesday and Wednesday groups. This it to enable the Friday group to ask questions on the assignment before it is too late and so that they can see the solutions to the exercise sheet with time to spare before the submission.

Feel free to join whatever tutorial you like.

Tuesday: und7p7r

Wednesday: 2qt31jk

Best,
the SE team

Dear Students,

we just uploaded an archive with a couple of test cases to the CMS. The archive contains several folders, and each folder consists of a configuration file, as well as one or more test input and expected output files.

Also, we noticed that the assignment sheet is not completely clear how the traffic lights should behave if Orange is on, but neither Bottom or Top. Therefore, we decided to exclude this case and we will not test for it. That means, you can assume that the feature model has an additional constraint Orange ⇒ (Bottom v Top). This change should not require any additional work on your side.

As always, if you have questions, ask them in the forum or write us an email.

Best,
the SE team

Dear students,

as the lecture is a bit behind the exercises, we decided to cancel the Tuesday (08.12.) and Wednesday (09.12.) exercise sessions this week, and the Friday session next week (18.12.). This gives the Tuesday and Wednesday groups more time to work on the current exercise sheet, as some of the tasks can only be solved after the lecture tomorrow.

The next exercise sheet will come out in the beginning of next week along with the second assignment.

Best,
the SE team

Dear students,

some of you have discovered that when using the new version of XOR in the propositional formula, you get a combinatorial explosion for the "and not" clauses. Therefore we have introduced a simplification/abbreviation which can be used. You can find all the information in this forum post: https://forum.se.cs.uni-saarland.de:51443/t/xor-groups-in-propositional-formulas/249/3

Best,
the SE team

Dear students,

we have just uploaded the first assignment sheet to the CMS. We also provide a video with explanations on the assignment under the following Link: Video-Link

Remember that no teamwork is allowed for the assignments and that the assignment is mandatory if you want to attend the exam.
Also remember to submit your solution in time. All information regarding this can be found on the sheet.

Best,
the SE team

Dear students,

for privacy protection reasons it is not allowed to record the exercise sessions in any way. One of the reasons is that other students can be in the meeting with their video turned on. This means that it is not possible for us to record the session and not allowed for students.

So please refrain from recording the session.

Best,
the SE team

Dear students,

we will send you a team code that allows you to join a tutorial team in MS Teams shortly.

The tutorials will take place as a meeting inside the respective Teams team. We will try to make the tutorial sessions as interactive as possible. For this to work, we will mute all of you and you can only unmute yourself if you 'raise your hand' in the meeting. We will setup a form in the team where you can vote which tasks of the exercise sheet you want to discuss.

Best,
the SE team