SET seminar
| A N N O U N C E M E N T S |
| 4-september-2008 | SET seminar moved to thursday. |
|---|
| 9-september-2008 | Slides and papers online for GLT and VIDE. |
|---|
| 18-september-2008 | Slides online for Cocktail. |
|---|
| 24-september-2008 | Slides online on semantic gap. |
|---|
Course code: 2IS95
Time and location: Thursday, 15:30-17:15 (7th and 8th hour) in Auditorium 14
Background information on the course:
Given the fact that non-Dutch speaking students may participate the use
English language is obliged. This means that all presentations, discussions
and documents have to be in English.
This SET seminar has several purposes:
- Getting acquainted with the research topics of the Software Engineering and Technology group.
- Getting acquainted with the basic principles of academic research, such are reading of scientific papers, presenting scientific results both in oral as well as written form. This can be seen as a preparation for your Master Thesis project.
At the end of the seminar we expect that you are able to perform:
- Preparing and executing a literature search;
including preparation of bibliographic references
- Critical reading, reviewing of literature;
judging relevance/quality, summarizing, classifying, comparing, etc.
- Critical listening to presentations,
asking probing questions in dicussions
- Setting up a small-scale academic investigation
- Preparing and giving oral presentations
- Writing a technical article/report
If you do your Master Thesis project within SET, you can use this seminar to
prepare yourself by choosing scientific papers related to the topic of your
thesis.
The SET seminar consists of compulsory 15 weekly meetings.
These meetings will also be attended by the SET staff and
occasionally by students doing their Master thesis project.
Relevant papers and web pages on scientific writing and presenting:
Themes:
- Generic language technology
Relevant papers:
- The Syntax of Programming Languages: A Survey, R.W. Floyd, TIEEE Transactions on Electronic Computers 13(4), 1964.
- Simple LR(k) grammars, F.L. DeRemer, Commun. ACM 14(7), 453-460, 1971.
- Semantics of context-free languages, D.E. Knuth, Theory of Computing Systems 29(2),127-145, 1968.
- The genesis of attribute grammars, D.E. Knuth, In Proceedings of the international Conference on Attribute Grammars and their Applications, P. Deransart and M. Jourdan (Eds), 1-12, 1990.
- Attribute grammar paradigms a high-level methodology in language implementation, J. Paakki, ACM Comput. Surv. 27(2), 196-255, 1995.
- The synthesizer generator, T. Reps and T. Teitelbaum, SIGSOFT Softw. Eng. Notes 9(3), 42-48, 1984.
- Semantics of programming languages: a tool-oriented approach, J. Heering and P. Klint, SIGPLAN Not. 35(3), 39-48, 2000.
- Verification condition generation
Slides: VIDE_SET.ppt
Some classic publications on program correctness:
-
R.W. Floyd, "Assigning Meaning to Programs", in Proceedings of Symposium on
Applied Mathematics, Vol. 19, J.T. Schwartz (Ed.), A.M.S., 1967, pp. 19-32
- C. A. R.
Hoare, An axiomatic basis for computer programming, Communications of the
ACM, v.12 n.10, p.576-580, Oct. 1969
- Edsger W.
Dijkstra, Guarded commands, nondeterminacy and formal derivation of
programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975
Some publications related to the Verifying Compiler Grand Challenge:
- Implementation of Verifying IDEs:
Slides: SET_Seminar_Cocktail.ppt
Two Master assignments related to Cocktail: extending the Cocktail language and integrating other proving systems into Cocktail.
- Model Driven Engineering
Organization:
The seminar consists of 3 parts:
- In the first part SET staff (including PhD students) will
give presentations with background information on the two themes.
- In the second part you have to select a number of
papers related to the themes. You have to find extra material (related
scientific papers) and you must write an essay of at least 5 pages
and give a 30 minutes presentation on the material studied. The essay
should be handed on the 6th of November. The schedule of presentations is
- 30th of October: Robert-Jan Bijl and Diederik van Houten
- 6th of November: Thomas Delissen and Mara Saeli
- In the third part you will have to select a specific topic,
either related to the themes or related to your MSc project. You
have to find the relevant papers, write a report on these papers
based on some by yourself formulated research proposition.
Furthermore you to give a 30 minutes presentation.
If the selected topic is related to the MSc project,
the written report could be the related work section of the final
thesis.
The essay should be at least 10 pages. There is not a minimal number
of papers you have to read, but you have to hand in the list of
papers and the research proposal on 20th of November via e-mail:
m.g.j.v.d.brand@tue.nl.