Hoppa till huvudinnehållet
Till KTH:s startsida

FDD3456 Avancerade objektorienterade system 7,5 hp

Administrera Om kursen

Information per kursomgång

Kursomgångar saknas för aktuella eller kommande terminer.

Kursplan som PDF

Notera: all information från kursplanen visas i tillgängligt format på denna sida.

Kursplan FDD3456 (VT 2010–)
Rubriker med innehåll från kursplan FDD3456 (VT 2010–) är markerade med en asterisk ( )

Innehåll och lärandemål

Kursinnehåll

  • A review of object-oriented themes, terminology, the computational model.
  • OO language features exemplified in commercial and experimental languages such as Java, Self, Ruby, AspectJ etc.
  • Operational semantics of sequential class-based OO languages.
  • Hoare’s logic and JML approach to OO static analysis and verification.
  • Abadi/Cardelli object calculus to model object-based languages and types.
  • Static type checking methods for object-based languages.
  • Live sequence charts for OO use-case requirements capture and validation.
  • Students can choose a practical mini-project related to any one of the above themes.

Lärandemål

Under the heading of practice we will study some advanced OO programming concepts which are featured in object based languages (such as Self), class based languages (such as Ruby), aspect-oriented languages (such as AspectJ) and requirements/design languages (live sequence charts).
We will also focus on the mathematical theory of OO type systems, including static and dynamic type checking, type safety and models of OO languages such as Abadi/Cardelli object calculus.
The course is examined by means of a mini-project and a take home exam.

Kurslitteratur och förberedelser

Särskild behörighet

Ingen information tillagd

Rekommenderade förkunskaper

An introductory course in at least one object-oriented programming language is a prerequisite.
An introductory course in logic is strongly advised.

Kurslitteratur

To be announced on the course web page at least 4 weeks before the course start.

Examination och slutförande

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Betygsskala

P, F

Examination

    Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

    Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

    In this course all the regulations of the code of honor at the School of Computer science and Communication apply, see: http://www.kth.se/csc/student/hederskodex/1.17237?l=en_UK.

    Examinator

    Profile picture Karl Meinke

    Etiskt förhållningssätt

    • Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
    • Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
    • Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

    Ytterligare information

    Kursrum i Canvas

    Registrerade studenter hittar information för genomförande av kursen i kursrummet i Canvas. En länk till kursrummet finns under fliken Studier i Personliga menyn vid kursstart.

    Ges av

    EECS/Teoretisk datalogi

    Huvudområde

    Denna kurs tillhör inget huvudområde.

    Utbildningsnivå

    Forskarnivå

    Forskarkurs

    Forskarkurser på EECS/Teoretisk datalogi