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, Lp 1 Ht11, TDA293/DIT270

Status: Avslutad
Öppen för svar: 2011-10-10 - 2011-10-28
Antal svar: 19
Procent av deltagarna som svarat: 8%
Kontaktperson: Åsa samdell»

Your own effort

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

We mean total time, that is, it comprises the time you spent in class and the time you spent on your own work. Try to estimate the average time over the entire study period.

19 svarande

At most 15 hours/week»4 21%
Around 20 hours/week»9 47%
Around 25 hours/week»3 15%
Around 30 hours/week»1 5%
At least 35 hours/week»2 10%

Genomsnitt: 2.36

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

19 svarande

0%»0 0%
25%»2 10%
50%»2 10%
75%»7 36%
100%»8 42%

Genomsnitt: 4.1

Goals and goal fulfilment

The course syllabus states the course goals in terms of learning outcomes, i.e., knowledge, skills and attitudes to be acquired by the student during the course.

3. How understandable are the course goals?

19 svarande

I have not seen/read the goals»6 31%
The goals are difficult to understand»0 0%
The goals give some guidance, but could be clearer»2 10%
The goals clearly describe what I am supposed to learn»11 57%

Genomsnitt: 2.94

- With the exception of: * differentiate between syntax, semantics, and calculus in connection with logic-based systems. Even after the course, I"m not sure what this exactly means..» (The goals clearly describe what I am supposed to learn)

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

Answer this this question and the succeeding one, only if you do know the course goals.

13 svarande

No, the goals are set too low»0 0%
Yes, the goals seem reasonable»13 100%
No, the goals are set too high»0 0%

Genomsnitt: 2

- Although I would personally have preferred the "recap" of prerequisite logic knowledge to have been less rapid, it was good that it was there.» (Yes, the goals seem reasonable)

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

16 svarande

No, not at all»0 0%
To some extent»3 18%
Yes, definitely»10 62%
I don"t know/have not been examined yet»3 18%

Genomsnitt: 3

- I think the examination lacks a bit of "general theory" questions, which are always important in this kind of subjects. There were too many "technical questions" in my opinion.» (To some extent)
- I had appreciated more time or less question in the exam.» (To some extent)
- Felt that some parts of the exam, namely if TTL formulas were valid or not had not been adequately covered. » (Yes, definitely)

Teaching and course administration

6. To what extent have the lectures been of help for your learning?

19 svarande

small extent»1 5%
to some extent»4 21%
large extent»7 36%
great extent»7 36%

Genomsnitt: 3.05

- Slides where too technical at some points and hard to understand (although at most points, they did very clearly explained the thoery). It was hard to repeat some exercises at home (Büchi automata and first-order logic proofs using KeY), since there were no step-by-step solution of the exercices.» (to some extent)

7. To what extent have the exercises been of help for your learning?

19 svarande

small extent»6 31%
to some extent»3 15%
large extent»4 21%
great extent»6 31%

Genomsnitt: 2.52

- They where more or less utterly pointless. But then again I don"t really believe in the current practices of "exercies session" where the problems are solved for you and none is prepared!» (small extent)
- The course assistants who held the exercise sessions should be changed for next year if you want to improve the quality of the course. They came unprepared to the exercise sessions and at one point a student had to let one of the course assistant borrow his laptop because the assistant hadn"t installed the needed software. I think there was at most 10 persons on the exercise sessions except during the first session.» (small extent)

8. To what extent have the lab assignments been of help for your learning?

19 svarande

small extent»0 0%
to some extent»1 5%
large extent»10 52%
great extent»8 42%

Genomsnitt: 3.36

- The examination is mainly based on what is learned during the labs.» (great extent)

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

19 svarande

Small extent»6 31%
Some extent»4 21%
Large extent»8 42%
Great extent»1 5%

Genomsnitt: 2.21

- To be honest, the SPIN book was rather a waste of money. It is an expensive book for what you get for it. And in my opinion it does not add to what is taught in the lectures. Also, the book talks about an already out-dated version of Promela/SPIN. 445 SEK not well spent unfortunately.. It would have been more useful to have more literature with an introduction to (temporal/dynamic) logic as a reference.» (Small extent)
- I didn"t buy the book/s. The lecture slides worked good enough. » (Small extent)
- The slides where very important, on the otherside, I never bought to book.» (Some extent)

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

19 svarande

Very badly»0 0%
Rather badly»0 0%
Rather well»9 47%
Very well»10 52%

Genomsnitt: 3.52

- There was quite a lot of hassle to get the computer programs too work. For example this form of formulas worked for my in JSpin (Windows): ltl mutex { always !(csp && csq) } but not the syntax that were used in the lectures. I struggled with KeY on windows before I read a post on google groups that you should use Java 1.6.» (Rather well)

Study climate

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

19 svarande

Very poor»0 0%
Rather poor»0 0%
Rather good»4 21%
Very good»10 52%
I did not seek help»5 26%

Genomsnitt: 4.05

- I"d like to thank Gabriele in particular for his help. He spent a lot of time helping us personally with any questions, which was much appreciated.» (Very good)
- Given the quality of the exercise sessions, I searched the lecture slides for assistance and guidance on how to solve my problems. » (I did not seek help)

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

19 svarande

Very poorly»1 5%
Rather poorly»0 0%
Rather well»6 31%
Very well»12 63%
I did not seek cooperation»0 0%

Genomsnitt: 3.52

- My labpartern (which I won"t name) was completely worthless in this course (don"t get me wrong, a wonderful person). He didn"t understand the basics behind if-stmts or what a function was... this made the labs less stimulating T_T This has never happend to me before so I was unsure of which action to take... tried to explain as much as I could and let the exam do the filtering.» (Very poorly)

13. How was the course workload?

19 svarande

Too low»0 0%
Low»1 5%
Adequate»16 84%
High»2 10%
Too high»0 0%

Genomsnitt: 3.05

14. How was the total workload this study period?

19 svarande

Too low»0 0%
Low»2 10%
Adequate»14 73%
High»2 10%
Too high»1 5%

Genomsnitt: 3.1

Summarizing questions

15. What is your general impression of the course?

19 svarande

Poor»0 0%
Fair»1 5%
Adequate»3 15%
Good»12 63%
Excellent»3 15%

Genomsnitt: 3.89

- The lectures were good, exercise sessions bad.» (Fair)
- This course is about the software engineering of formal methods. Perhaps it would be more interesting with a course about the computer science behind formal methods, i.e. focusing more on the logical foundations and algorithms behind KeY and Spin.» (Adequate)
- I really liked the lectures by WA on dynamic logic... » (Good)
- Did not feel like the second part of the course (java program proofing) was really practical in industry settings.» (Good)
- Maybe a bit too technical. Labs can be passed without knowing all details about the underlying behind the programs. For people studying the Secure and Dependable MP, we had one part of a lab consisting of modeling a security protocol. I wanted more!» (Excellent)

16. What should definitely be preserved to next year?

- Lab, excises, slides, post exam.»
- Both labs were pretty awesome.»
- The labs assignments»
- labs, teachers»

17. What should definitely be changed to next year?

- No.»
- -Not something that should "definitely" change, but it would be nice to have the exercises and lecture about KeY "peculiarities" and how to handle them earlier in the course. Questions on the second lab we really struggled with were answered by those at the very end of the course. -As mentioned earlier, ditch the SPIN book. Or recommend it as additional reading material at most. -Use SPIN version 6, so we don"t have to jump through hoops defining LTL formulae, for loops, random numbers, etc.»
- Maybe some guest lectures, so wee can see how this is being used in domains other than research.»
- LTL and Büchi automata are covered way to lightly in the lectures when considering the amount of points the take up in the exam. Neither lecturers nor TAs even bothered providing some intuition on either of these two topics. Overall the course could benefit from more mathematical/logical rigor.»
- installation instructions, and also that it is tested on Ubuntu, Windows and Mac.»
- Ramona knows a lot of stuff and is very helpfull when asking individual questions but she is not the best choice giving the execises. Stuff we needed in the second lab was introduced very late in the course. Very stressfull time during the exam.»
- Course assistants.»

18. Additional comments

- I think we should have had learn how to verify our JML specification immediately, with KeY or an other program. Rather than spending one week learning all of the syntax without knowing if the specification holds.»

Kursutvärderingssystem från