3.0/2.0 SE Seminar in Software Engineering – Formal Verification of Software (185.325)

Lecturer: Gernot Salzer

Elective course (Wahllehrveranstaltung) in the master studies "Information & Knowledge Management" (066933) and "Software Engineering & Internet Computing" (066937).

The seminar will be held in English unless all participants are fluent in German.


News


Contents

The aim of the course is to enhance the ability for doing research on a scientific topic and for presenting it adequately in written and oral form. Moreover, the participants will learn about new developments in the field of software engineering. The topics of the seminar will be related to the tools and methods used in the formal verification of software.


Activities

Participation in the course requires the following activities.

  1. Literature search: As basis for the seminar paper and the talk you will search books, journals and the web for literature related to the topic that you chose at the first meeting.

  2. Seminar paper: You will write a seminar paper that presents the topic in a coherent and consistent manner. The paper has to be written in English using the typesetting system LaTeX. As a guideline, its length should be 12-15 pages. But note that quality is more important than quantity.

  3. Talk: You will present your topic in a talk (in English) of 25 minutes using beamer or overhead projector. In case you use LaTeX for the presentation (not obligatory) I recommend the beamer package.

  4. Active participation in meetings: You will attend the few meetings that we will have and engage in discussions following the presentations of the topics.

If you have questions or encounter problems, e.g. when installing or using LaTeX, send me an email (salzer@logic.at) or see me in my office.


Course dates

Please register for the seminar via TISS, or if this fails, via email to salzer@logic.at.

First meeting (selection of dates and topics, organizational matters): Wednesday, 11 March 2015, 16:00, seminar room "Gödel" (Favoritenstraße 9/ground floor/courtyard).


Links

Searching libraries and databases

Seaching the internet

How to write a seminar paper

How to present a paper

LaTeX installation

For participants of the seminar: in case of problems ask me for advice. Moreover, you can ask your colleagues in the online Informatik-Forum.

LaTeX usage

For participants of the seminar: in case of problems ask me for advice. Moreover, you can ask your colleagues in the online Informatik-Forum.


salzer@logic.at