Robert Deline关注立即认领分享关注立即认领分享基本信息浏览量:8职业迁徙个人简介暂无内容研究兴趣论文共 4 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构Specifying and verifying softwareK. Rustan M. Leino, M. Barnett,R. DeLine, B. Jacobs,K. R. M. Leino, W. SchulteAutomated Software Engineering(2007)引用6浏览0EI引用60The fugue protocol checker: is your software baroque? technical report msr-tr-2004-07R. Deline,M. F?hndrichmsra(2004)引用35浏览0引用350Alice: a rapid prototyping system for 3d graphics R. Pausch,T. Burnette, A. Capehart,M. Conway,D. Cosgrove,R. Deline,J. Durbin,R. Gossweiler,S. Koga,J. WhiteIEEE Computer Graphics and Applications(1995)引用44浏览0引用440DBMS. (12) proposes TriggerMan, an asynchronous trig- ger processor which is designed to be able to gather up- dates from a wide variety of sources and to execute triggers asynchronously. In the CA. Koschel,S. Gatziu, R. Kramer,A. Dinn, M. Shaw,R. DeLinemsra引用23浏览0引用230作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn