Mehdi Bagherzadeh博士.D.
![]() | 助理教授 |
教学
- CSE 231/506:面向对象计算II
研究
- 为并发、安全、移动和大数据软件更容易地进行正确的软件工程
选定的出版物
- 存在事件子类型的模块化推理. 论模块化与组合1, 特别版:模块化的最佳论文' 15, 167 - 223页, 2016.
- 论消息传递软件中的排序问题. 第十五届国际模块化会议论文集, 模块化2016, 54 - 65页, 纽约, NY, 美国, 2016.
- 一个用于解决普遍干扰和无关干扰的并发编程模型. 第十四届国际模块化会议论文集, 模块化2015, 93 - 108页, 纽约, NY, 美国, 2015. ACM.
- AspectJML:横切契约的模块化规范和运行时检查. 第十三届模块化国际会议论文集, 模块化的14, 157 - 168页, 纽约, NY, 美国, 2014.
- 异常、事件和观察者链. 第12届面向方面的软件开发国际会议论文集, AOSD的13, 185 - 196页, 纽约, NY, 美国, 2013. ACM.
- 半透明契约:面向方面接口的表达性规范和模块化验证. 第十届面向方面的软件开发国际会议论文集, AOSD的11, 141 - 152页, 纽约, NY, 美国, 2011. ACM.