A Language–based Approach to Specification and Enforcement of Architectural Protocols (CMU-ISR-10-110)Kevin Bierhoff,Darpan Saini,Matthew Kehrt,Majid Almeshari,Sangjin Han,Jonathan Aldrichmag(2010)引用 22|浏览10暂无评分关键词protocol,software architectureAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要