Skupina doživotnih članova (engl. Life Member Affinity Group, kraće LMAG) okuplja članove IEEE-a kojima je zbroj godina života (najmanje 65) i godina članstva u IEEE-u dostigao ili premašio broj 100. U radu Skupine mogu sudjelovati i dobrodošli su ostali članovi Sekcije, a posebno stariji članovi i umirovljenici koji nisu još dostigli status doživotnih članova. Profil i program rada skupina u našoj Regiji 8 opisani su ovdje:
http://www.ieeer8.org/category/member-activities/life-members/
Pozivamo vas na predavanje člana naše Skupine doživotnih članova prof.dr.sc. Nikole Bogunovića,
koje organizira Udruga Alumni FER:
Formalne metode - mitovi i stvarnost
u Sivoj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu
14. ožujka 2018. godine, u 17 sati
Sažetak predavanja
S povećanjem složenosti sklopovskih i programskih računalnih artefakata tradicijska provjera ispravnosti rada ispitivanjem (testiranjem) i simulacijom više nije dovoljna. Postoji uvjerenje da uporaba formalnih metoda može ostvariti valjano pronalaženje duboko skrivenih pogrešaka a bez bitnog produljenja vremena od zamisli do stavljanja proizvoda na tržište.
U ovom prikazu definirat će se formalne metode kao matematičke tehnike specifikacije i verifikacije složenih računalnih sustava. Prikazat će se nekoliko najpopularnijih metoda bez dubokih i detaljnih razmatranja teoretskih temelja. Pokušat će se odgovoriti na pitanje oko mogućeg normativnog prihvaćanja formalnih metoda u okviru uobičajenih modela procesa oblikovanja sklopovskih i programskih artefakata. Navest će se neke formalne metode koje su danas u standardnoj uporabi u najvećim svjetskim informatičkim tvrtkama.
