ARPP: Automatizirani razvoj programske potpore

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ć