美国 - 欧洲研讨会：软件工程和 Petri Nets，丹麦奥胡斯，2000 年 6 月 26 日-猫眼课题宝

美国 - 欧洲研讨会：软件工程和 Petri Nets，丹麦奥胡斯，2000 年 6 月 26 日

批准号：

0072954

负责人：

Sol Shatz

金额：

$1.26万

依托单位：

University of Illinois at Chicago

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

2000

资助国家：

美国

项目状态：

已结题

起止时间：

2000-05-01 至 2001-04-30

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=0072954&HistoricalAwards=false

关键词：

U.S.European Workshop Software Engineering

项目摘要

项目成果

Sol Shatz的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

0072954ShatzThis award supports Sol Shatz of the University of Illinois-Chicago and several junior researchers chosen from a broad group within the United States to attend a European Workshop on Software Engineering in Aarhus, Denmark. The workshop is being organized on the European side by Mario Pezze of the Polytechnic University in Milan, Italy. US researchers will join with scientists from all over Europe to discuss the use of Petri nets and other formal methods for the construction of software systems. Petri nets are a well-established method for modeling concurrent systems, and they are widely taught. The organizers are taking a broader view, though, and will focus attention on the application of their formal models to the building of real software systems. The workshop is being held in conjunction with the 21st International Conference on Application and theory of Petri Nets.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文