Područje rada odjela za računarstvo obuhvaća sve vidove teorije, oblikovanja, prakse i primjene metoda i sustava vezanih uz računarstvo i obradu informacija. Djelovanje odjela usmjereno je na znanstvenu, stručnu, obrazovnu i društvenu komponentu. Kroz razmjenu tehničkih informacija i znanstvenih spoznaja, odjel teži unaprjeđenju struke i održavanju visoko profesionalnog položaja među članovima. S druge strane, kroz organizaciju znanstvenih i stručnih predavanja i rasprava te izdavanje tehničkih časopisa, promiče se višedisciplinarna suradnja s drugim strukama i otvorenom društvenom zajednicom.
Odjel za računarstvo
Odjel za računarstvo Hrvatske sekcije IEEE Vas poziva na predavanje:
Totalne funkcije: apstrakcijski alat u programiranju
koje će održati Marko Dimjašević,
iz tvrtke Input Output Hong Kong
u utorak, 11. prosinca 2018. godine, u 16.00 sati,
u dvorani D346 Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu.
Predviđeno trajanje predavanja je 60 minuta. Otvoreno je za sve zainteresirane te se posebno pozivaju studenti.
Više o predavanju i predavaču pročitajte u opširnijem sadržaju obavijesti.
Sažetak
Apstrakcija je kamen temeljac u programiranju složenih softverskih sustava. Bez apstrakcije, složeni softverski sustav je kompliciran softverski sustav. U ovom predavanju će se razmatrati bitan apstrakcijski alat u programiranju: totalne funkcije. Totalnost funkcija obuhvaća konačnost i produktivnost. Ako očekivano konačna funkcija nije totalna, to može dovesti do neregularnog završetka izvršavanja programa ili može odvesti u beskonačnu petlju. Nadalje, parcijalna funkcija koja se treba izvršavati bez prekida može dovesti u potpuni zastoj. Ovo predavanje razmatra tehnike za postizanje totalnosti funkcija u programiranju.
O predavaču
Marko Dimjašević je računalni znanstvenik s istraživačkim interesom u područjima teorije tipova i formalnih metoda. Radi kao inženjer za formalne metode na formalnom specificiranju blokovnih lanaca u tvrtci Input Output Hong Kong. Diplomirao je računarstvo na Fakultetu elektrotehnike i računarstva u Zagrebu. Doktorirao je računarstvo na Sveučilištu Utah u SAD-u na temu automatskog ispitivanja softvera. U NASA-i je istraživao i razvijao tehnike za ispitivanje i verificiranje softverskog sustava za izbjegavanje sudara zrakoplova.
Forum
>> / Sve diskusijske grupe / Kurikulum za srednje tehničke škole
Napomena:
* - oznaka za nove poruke
Poziv za predavače
Poziv za predavače:
Sve zainteresirane predavače koji bi željeli održati predavanje iz područja računarstva pozivamo da se jave na e-mail kako bi dobili više informacija.
Sve zainteresirane predavače koji bi željeli održati predavanje iz područja računarstva pozivamo da se jave na e-mail kako bi dobili više informacija.
