Zadaci: 

algoritmi i postupci testiranja, analiza scenarija telekomunikacijskih usluga, oblikovni obrasci za deklarativno programiranje usluga, algoritmi za planiranje i alokaciju resursa, vizualizacija postupaka testiranja, analize scenarija i planiranja, izrada vlastitih programskih alata  

Metode: 

analitičke, simulacijske

Pomagala: 

skriptni jezici, C, Java i JavaPathFinder, Clips, Prod, Spin, Maxima, Octave, Zchaff, MZScheme, vlastiti razvoj

Primjeri završnih radova:

• Testiranje algoritma za raspodjelu resursa
• Verifikacija Java programa enumeracijom puteva
• Testiranje algoritma za raspodjelu resursa
• Planiranje primjenom CLIPS ekspertnog sustava
• Interpretacija UML dijagrama Petrijevom mrežom
• Deklarativni opis scenarija za uslugu u mobilnoj mreži
• Algoritmi i oblikovni obrasci za automatizirano programiranje 
• Povezivanje (raznih) programskih jezika s bazom SQLite
• Razvoj ATTM programske potpore 

Predmet: 

Informacija, logika i jezici

Mentori: 

Izv. prof. dr. sc. Bruno Blašković