标题:Formalization and Verification of REST Architecture in Viewpoints
作者:Tang, YT[1];Wu, X[1];Zhu, HB[1];Guo, J[1]
作者全称:Tang, Yiting[1];Wu, Xi[1];Zhu, Huibiao[1];Guo, Jian[1]
通讯作者地址:Tang, YT (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, Peoples R China.
出版年:2015
卷:2015-January
期:January
页码:197-206
关键词:CSP; Formal methods; REST architecture; View
摘要:Representational State Transfer (REST), as a promising software architecture style, has been used in large scale since proposed. However, there still 更多
收录类别:SCOPUS;CPCI-S;EI
WOS被引:1
Scopus被引:1
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:

个性服务

原文链接

被引量

wos被引: 1 更新
scopus被引: 1

网络计量

其他

TOP