Rok Strniša: Lastnosti dobrega modularnega sistema

Lastnosti dobrega modularnega sistema

Rok Strniša
Computer Laboratory, University of Cambridge

Povzetek: To predavanje temelji na moji doktorski nalogi "Formalising, improving, and reusing the Java Module System." V predavanju bom predstavil pojem modularnega sistema in zaželene lastnosti, trenutne probleme modularnosti v Javi, predlagani Java Module System, naše formalizacije, analize, in izboljšave le-tega, in nekaj splošnih zaključkov. Če bo čas dovoljeval, bom naredil tudi kratek uvod v formalizacijska orodja, ki smo jih uporabljali: Ott in Isabelle.

Vabljeni!