Software and Systems Verification - Hírek

SWSV: HA summary, consultation and exam exercises

The last lecture (5th December) will include the followings:

  • Summary of HA experiencies, examples of excellent solutions, room for questions.
  • Exam consultation (if needed)

Two materials have been published to help with exam preparation (both in Hungarian): Read more »

SWSV: HA4 deadline extension

Due to several requests the deadline for HA4 has been extended to 2017-11-29 18:00.

SWSV: HA3 evaluation is published

The evaluation of the third phase of the home assignment (HA3) has been published. The detailed evaluations can be found on the GitHub wikis (via the HomeAssignmentEvaluation page). If you have any questions regarding the evaluation, please contact the lead instructor during the lectures or labs.

SWSV: website will be down this weekend

Due to a planned maintenance for the power systems of the I building, the inf.mit.bme.hu website including the SWSV website will be down probably for the whole weekend starting from Friday evening.

Please download any materials that you could need (e.g. slides for the MBT lesson, description of HA4).

The lab materials and team repositories on GitHub will be (hopefully) accessible.

SWSV: HA4 is out

The fourth phase of the home assignment (HA4) has been published.

Goal and deadline are available on the Home assignment page.

The detailed subtasks can be found in the team's GitHub repository.

SWSV: LAB4 results

The results of LAB4 have been published.

Please pay attention that 4 labs needs to be completed, and there are only 2 labs left (there are several people with 2 completed labs!).

SWSV: LAB results updated

There was a bug in the script collecting the lab results (it was not tested well:). It has been corrected and the results of the LABs have been updated.

We ask everyone to double check the table and see whether their results are correctly reflected. It there are any problems, please email the lead instructor.

SWSV: HA2 evaluation is published

The evaluation of the second phase of the home assignment (HA2) has been published. The detailed evaluations can be found on the GitHub wikis (via the HomeAssignmentEvaluation page). If you have any questions regarding the evaluation, please contact the lead instructor during the lectures or labs.

SWSV: LAB registration sheet

Please do not forget to update the LAB registration sheet before each lab session. It would help us greatly with the planning of the labs.

SWSV: HA3 deadline extension

As the HA3 deadline is conflicting with mid-terms from other subjects, we will extend the HA3 submission to 2017-11-12 23:59.

The Home assignment page have been updated with the new deadline. (The milestone in each team's repository has not been changed, the teams should change that).

Syndicate content