Visa resultat

Software Engineering using Formal Methods, Lp 1 Ht11, TDA293/DIT270

Your own effort

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

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

3. How understandable are the course goals?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

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?

17. What should definitely be changed to next year?

18. Additional comments