10月24日至26日第10屆構(gòu)件化軟件形式化方法國際研討會（FACS2013）于在江西師范大學(xué)舉行，信息學(xué)院基礎(chǔ)教研室楊桃、孫娟、黃淑燕3位教師師參加了此次會議。該會議旨在引導(dǎo)中青年教師和研究生盡快掌握計(jì)算機(jī)軟件前沿理論、方法和開發(fā)，4位國家知名專家做了軟件前沿技術(shù)講座。
會上，來自美國德克薩斯大學(xué)的JayadevMisra教授做了“Structured Orchestration of Data and Computation”的報(bào)告。JayadevMisra教授在云計(jì)算領(lǐng)域取得了國際公認(rèn)的成果，云計(jì)算被看作第三次IT浪潮，將帶來生活、生產(chǎn)方式和商業(yè)模式的根本性改變。JayadevMisra教授在此次報(bào)告中介紹了由他領(lǐng)銜的學(xué)術(shù)團(tuán)體研發(fā)的云計(jì)算語言“Orc”。Orc可通過層次化組合機(jī)制，實(shí)現(xiàn)數(shù)據(jù)和計(jì)算資源的結(jié)構(gòu)化整合。接著來自康奈爾大學(xué)的David Gries教授做了報(bào)告“TheachingCalculational Logic as an Alternative to Other Logics”。David Gries教授是世界著名計(jì)算機(jī)科學(xué)家和杰出的教育家，程序設(shè)計(jì)方法學(xué)創(chuàng)始人之一。在計(jì)算機(jī)領(lǐng)域編寫了兩本很有影響力的著名的書：The Science of Programming (1981) 和A Logical Approach to Discrete Math (1993, with F. B. Schneider)。1994年獲IEEE Taylor L. Booth Award ，1991年獲ACM SIGCSE Award。 David Gries教授用杰出教育家所特有的講學(xué)方式，用非常淺顯的語言講解了計(jì)算邏輯。讓參會者領(lǐng)略到了大師的杰出教學(xué)風(fēng)范。
最后，來自聯(lián)合國大學(xué)澳門軟件研究所的高級研究員劉志明做了報(bào)告“rCOS:Defining Meanings of Component-Based Software Architecture”。劉志明研究員在實(shí)時、容錯系統(tǒng)的規(guī)約和驗(yàn)證模型驅(qū)動軟件工程方法rCOS領(lǐng)域的工作備受國際關(guān)注。此次會議上，劉志明研究員介紹了他提出的模型驅(qū)動開發(fā)方法rCOS。最后，來自中國科學(xué)院軟件研究所的研究員詹乃軍作了報(bào)告“Formal Modelling Analysis and Verification of Hybird Systems”。詹乃軍研究員的研究領(lǐng)域有：程序驗(yàn)證、時序邏輯、并發(fā)計(jì)算模型、構(gòu)件和面向?qū)ο笙到y(tǒng)的語義基礎(chǔ)。此次會議上，詹乃軍研究員介紹了系統(tǒng)的建模、分析和驗(yàn)證方法。
參加此次會議，促進(jìn)信息學(xué)院教師及時了解計(jì)算機(jī)軟件前沿理論、方法和開發(fā)工具。同時，對進(jìn)一步促進(jìn)信息學(xué)院教師的科研和教學(xué)工作起到了推動的作用。
贛公網(wǎng)安備36040202000313
學(xué)生
教工
校友
考生
訪客
