Aktuella utvärderingar

Visa resultat

Här kan se resultatet från utvärderingen och exportera statistiken till ett annat program. Det går också att göra en enkel filtrering genom att klicka på svarsalternativen och kommentarerna eller en avancerad filtrering genom att använda knappen längst ned.

Software engineering using formal methods , Lp1 HT-10, TDA293 / DIT270

Status: Avslutad
Öppen för svar: 2010-11-03 - 2010-11-08
Antal svar: 17
Procent av deltagarna som svarat: 25%
Kontaktperson: Victoria Ewers»

Your own effort

1. How many hours per week did you spend on this course?*

17 svarande

At most 15 hours/week»5 29%
Around 20 hours/week»9 52%
Around 25 hours/week»3 17%
Around 30 hours/week»0 0%
At least 35 hours/week»0 0%

Genomsnitt: 1.88 (bidrar till totalt genomsnitt/jämförelseindex)

2. How large part of the teaching offered did you attend?*

17 svarande

0%»0 0%
25%»3 17%
50%»5 29%
75%»5 29%
100%»4 23%

Genomsnitt: 3.58 (bidrar till totalt genomsnitt/jämförelseindex)

Genomsnitt totalt för detta stycke: 2.73

Goals and goal fulfilment

3. How understandable are the course goals?

17 svarande

I have not seen/read the goals»4 23%
The goals are difficult to understand»1 5%
The goals give some guidance, but could be clearer»6 35%
The goals clearly describe what I am supposed to learn»6 35%

Genomsnitt: 2.82

4. Are the goals reasonable considering your background and the number of credits?

13 svarande

No, the goals are set too low»0 0%
Yes, the goals seem reasonable»12 92%
No, the goals are set too high»1 7%

Genomsnitt: 2.07

5. Did the examination assess whether you have reached the goals?

17 svarande

(på denna fråga var det möjligt att välja flera svarsalternativ)

No, not at all»0 0%
To some extent»5 29%
Yes, definitely»10 58%
I don"t know/have not been examined yet»1 5%

- The lectures seemed to be a lot more about type theory and KeY internals than how to use formal verification practically (as the goals seem to suggest).» (To some extent)
- I considered the course as a software engineering management course by looking at the name and description, but get a total different view in the learning.» (To some extent)
- A pro tip is to not bring the solutions to the exam when you are there for questions. Thank you for the atomata points you give when you stood in the front. » (Yes, definitely)
- It did, although some of the exam question were a bit mean. Overly complex and requiring too much writing.» (Yes, definitely)

Teaching and course administration

6. To what extent has the teaching been of help for your learning?

16 svarande

Small extent»3 18%
To some extent»5 31%
Large extent»4 25%
Great extent»4 25%

Genomsnitt: 2.56

- Professor W was fairly good but R was better than him, also the assistants were not good enough. Professor W explained the subject too complicated.» (?) (den här kommentaren har blivit redigerad i efterhand)
- The exercise sessions and the KeY-related lectures were completely useless to me. The Promela/Spin lectures were great.» (Small extent)
- Too many students in a far too small room.» (Small extent)

7. To what extent has the course literature and other material been of help for your learning?

17 svarande

Small extent»3 17%
Some extent»7 41%
Large extent»6 35%
Great extent»1 5%

Genomsnitt: 2.29

- The lecture slides were really good during the lectures, but they did not explain things enough for them to be useful during the labs or while studying for the exam. The links on the website were not helpful either. The most helpful material was the exercise PDFs, which somewhat explained the lecture PDFs and allowed for trial-and-error.» (Some extent)
- The slides could be better to illustrate some concepts. Especially in the automata part, I cannot make a clear impression of that.» (Some extent)
- Great slides.» (Great extent)

8. How well did the course administration, web page, handouts etc work?

17 svarande

Very badly»1 5%
Rather badly»2 11%
Rather well»5 29%
Very well»9 52%

Genomsnitt: 3.29

- Felt like the course was a bit ill-prepared. If this was the first year for the course, then you are excused.» (Rather badly)
- It was difficult to get an overview of the links on the website, otherwise the website was quite nice.» (Rather well)

Study climate

9. How were the opportunities for asking questions and getting help?

17 svarande

Very poor»1 5%
Rather poor»1 5%
Rather good»6 35%
Very good»6 35%
I did not seek help»3 17%

Genomsnitt: 3.52

- Thanks Richard he helped us a lot» (Rather good)
- The feedback from the course assistances was good.» (Very good)
- The exercise sessions with the assistants were mostly very good.» (Very good)
- Every course should have a mailing list like this!» (Very good)
- It was easier to use the trial-and-error approach than finding a way to phrase questions.» (I did not seek help)

10. How well has cooperation between you and your fellow students worked?

17 svarande

Very poorly»0 0%
Rather poorly»2 11%
Rather well»8 47%
Very well»7 41%
I did not seek coopeation»0 0%

Genomsnitt: 3.29

- My labpartner didn"t pull their weight» (Rather poorly)
- We had both taken most of the recommended courses, plus cryptography, which simplified the labs somewhat.» (Very well)
- The Google Group was excellent!» (Very well)

Summarizing questions

11. What is your general impression of the course?

17 svarande

Poor»1 5%
Fair»4 23%
Adequate»3 17%
Good»7 41%
Excellent»2 11%

Genomsnitt: 3.29

- I think logic and testing courses must be prequisite for this course. Otherwise it is too hard to understand the subject.» (Fair)
- Please, answer on the group my question: Is there any company in the industry that is using KeY? Moreover, is there any company that is verifying an application by using spin? » (Fair)
- The Promela/Spin part was really good and quite interesting, though the lectures on this subject were a bit too slow at times. The KeY part seemed to focus a great deal on the internals of KeY, and was difficult to grasp.» (Adequate)
- The name of this course could be more clear to show the goal of verification by using mathematics.» (Adequate)
- Great teachers, planning and labs.» (Excellent)

12. What should definitely be preserved to next year?

- It was fun to model parallel programs, and it would be interesting to get a deeper insight in how more complex systems could be modeled.»
- lecture»
- The exercise seminar.»

13. What should definitely be changed to next year?

- The KeY part should, in my opinion, have a more pragmatic approach. It should start with JML and examples of what buttons to press in order to make KeY prove it for you. After that, an explanation of the rules used in the course, and finally an explanation of KeY internals which make use of examples from the students" past KeY experience. Of course, there might be reasons for why the topics are currently brought up in the opposite order. It would also be interesting with more information on how formal verification is actually used in the industry, how they manage proofs cost-effectively (assuming they are able to do that, of course).»
- Probably learn tools that are used by companies!!!»
- Too much focus on some specific topics like KeY and Spin and not a general point of view on the subject. More JML and logic would be a better option.»
- The concurrent problem modeling is interesting. Hope to make it more serious.»
- Don"t take very high-hat course assistance that couldn’,t explain why you failed and only sad "not high academic standard". You should also write explicitly that it"s only ONE resubmission. "Each submission of a lab is either rejected (meaning you must improve it) or accepted (meaning you have passed the lab)." isn"t clear enough. »
- The structure of the course need to be slightly modified. Too much time in the beginning was given to rather trivial stuff, so when the more advanced topics came up later they were almost rushed through. A higher, but more even, pace would be great.»
- I have only a few, minor complaints. 1) The deadline for lab 2 was a bit late. It"s always nice, if possible, to be done with the labs when the exams are approaching, so one can focus on studying for the exam. 2) I didn"t really get a good idea about how loop invariants are from the lectures, before we were asked to create them in the lab. On October 22, Richard posted a mail with some tips about constructing loop invariants. Maybe some of that could be incorporated in the lectures so we don"t have to fumble in the dark as much. :)»

14. Additional comments

- We still have an unfinished lab since we were unable to start with the first lab early in the course. Also because grading has been VERY slow. It would be better if the course was finished before the next period started.»
- Good course, even it is not quite suitable for my interesting and studying scope.»

Additional comments

Genomsnitt totalt för alla frågor: 2.73
Beräknat jämförelseindex: 0.43

* obligatoriska frågor

Kursutvärderingssystem från