华东师范大学：域名科学与工程学院总分学中的作用
华东师范大学软件学院和科技处邀请欧洲科学院院士Dines Bjørner教授做域名科学与工程学院总分学中的作用主题讲座。
我们举一个抽象的模型，零部件和发动机罩部分关系的软件应用领域，如金融服务行业，铁路系统，道路交通系统中，医疗保健，石油管道，安全的[IT]系统，等等。我们与这个模型的公理系统总分学，表明满足fiabi的附录一般资料。最后，我们表明，每总分学有对应一类进行通讯的顺序进程（CSP），即：λ-表达式。粗糙总分学体现了列氏总分学与粗糙性理论结合的一个方面,但列氏总分学作为与经典集合论相提并论的理论体系,具有完全基于该理论构造粗糙性的能力。
Dines Bjørner教授，欧洲科学院院士。计算机科学教授。丹麦（DTU）1976 - 2007和DTU一个教授名誉教授。他与IBM R＆D1962-1976。在IBMBjørner工作阿姆达尔（基因超级计算机的设计），约翰·巴克斯（函数式编程），EFCodd（关系数据库），在IBM实验室，奥地利的维也纳，在那里，他的小团队，怀VDM，维也纳发展。方法，第一个ISO标准的形式化方法。 Bjørner共同创办丹麦语Datamatik中心1979年至1989年，导致许多欧盟R＆D项目，包括正式的规范。为阿达的R＆D，CHILL和Ada编译器，以及培养，严谨的态度，以工业软件工程的语义。 1991年至1997年Bjørner是联合国成立和第一主任在澳门的联合国大学国际软件技术研究所，联合国大学的国际机场。研究所。 SW技术部历史。 2006年Bjørner出版三册书的“软件工程”与施普林格与清华大学出版社，2009年。他已发表120多篇论文，6本书，编辑11个其他书籍，是欧洲学会的成员，ACM院士，IEEE院士，俄罗斯自然科学院成员，约翰·冯·纽曼奖章，匈牙利（1993年），马萨里克黄金梅德尔（1996）和（2004）从马萨里克大学anhonorary博士学位。布尔诺，捷克共和国，等等，等等，是皇家的丹麦国旗骑士（1984）。
华东师范大学在职研究生招生网
换一换
