10月24日至26日第10届构件化软件形式化方法国际研讨会（FACS2013）于在江西师范大学举行，信息学院基础教研室杨桃、孙娟、黄淑燕3位教师师参加了此次会议。该会议旨在引导中青年教师和研究生尽快掌握计算机软件前沿理论、方法和开发，4位国家知名专家做了软件前沿技术讲座。
会上，来自美国德克萨斯大学的JayadevMisra教授做了“Structured Orchestration of Data and Computation”的报告。JayadevMisra教授在云计算领域取得了国际公认的成果，云计算被看作第三次IT浪潮，将带来生活、生产方式和商业模式的根本性改变。JayadevMisra教授在此次报告中介绍了由他领衔的学术团体研发的云计算语言“Orc”。Orc可通过层次化组合机制，实现数据和计算资源的结构化整合。接着来自康奈尔大学的David Gries教授做了报告“TheachingCalculational Logic as an Alternative to Other Logics”。David Gries教授是世界著名计算机科学家和杰出的教育家，程序设计方法学创始人之一。在计算机领域编写了两本很有影响力的著名的书：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教授用杰出教育家所特有的讲学方式，用非常浅显的语言讲解了计算逻辑。让参会者领略到了大师的杰出教学风范。
最后，来自联合国大学澳门软件研究所的高级研究员刘志明做了报告“rCOS:Defining Meanings of Component-Based Software Architecture”。刘志明研究员在实时、容错系统的规约和验证模型驱动软件工程方法rCOS领域的工作备受国际关注。此次会议上，刘志明研究员介绍了他提出的模型驱动开发方法rCOS。最后，来自中国科学院软件研究所的研究员詹乃军作了报告“Formal Modelling Analysis and Verification of Hybird Systems”。詹乃军研究员的研究领域有：程序验证、时序逻辑、并发计算模型、构件和面向对象系统的语义基础。此次会议上，詹乃军研究员介绍了系统的建模、分析和验证方法。
参加此次会议，促进信息学院教师及时了解计算机软件前沿理论、方法和开发工具。同时，对进一步促进信息学院教师的科研和教学工作起到了推动的作用。
赣公网安备36040202000313
学生
教工
校友
考生
访客
