185.325 Seminar in Software Engineering
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015S, SE, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Aim of course

To promote the ability for doing research on a scientific topic and for presenting it in a seminar paper and in a talk; and to get acquainted with new fields in the area of software engineering.

Subject of course

Formal verification of software - methods and tools.

Additional information

First meeting (discussion of topics and dates): Wednesday, March 11, 2015, 16:00, seminar room "Gödel" (Favoritenstr. 9/ground floor/access from the courtyard) Please register for the seminar via TISS, or if this fails via email to salzer@logic.at. For more information see www.logic.at/lvas/se_fvsw. If necessary the seminar will be held in English.

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Course registration

Begin End Deregistration end
16.02.2015 00:00 15.03.2015 23:59

Registration modalities

Ort: TISS

Curricula

Study CodeObligationSemesterPrecon.Info
066 933 Information & Knowledge Management Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective
066 950 Didactic for Informatics Mandatory elective

Literature

No lecture notes are available.

Miscellaneous

Language

English