| 题名: | a csp and z combined modeling of document exchange processes in e-commerce protocols |
| 作者: | Wang X
; Cheung SC
; Wei J
|
| 会议名称: | 2nd Asia-Pacific Conference on Quality Software
|
| 会议日期: | DEC 10-11,
|
| 出版日期: | 2002
|
| 会议地点: | HONG KONG, PEOPLES R CHINA
|
| 关键词: | formal specification
; e-commerce protocols
; Internet Open Trading Protocol
; CSP
; Z
; document exchange process
|
| 出版者: | INFORMATION AND SOFTWARE TECHNOLOGY
|
| 出版地: | PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS
|
| 收录类别: | sci
; istp
; sciencedirect
|
| ISSN: | 0950-5849
|
| 部门归属: | Univ Oxford, Comp Lab, Oxford OX1 3QD, England. Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China. Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
|
| 主办者: | City Univ Hong Kong, Dept Comp Sci, Ctr Software Engn, Sch Informat Technol, Swinburn Univ Technol, Informat Technol Serv Dept, Govt Hong Kong, British Comp Soc, Hong Kong Sect, Hong Kong Comp Soc, Hong Kong Inst Engineers Informat Technol Div
|
| 英文摘要: | E-commerce protocols comprise a vital component of the trading infrastructure over the Internet. Effectiveness and reliability of trading transactions likely depend on the quality of such protocols. However, building a quality c-commerce proto |
| 语种: | 英语
|
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/13422
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Wang X,Cheung SC,Wei J. a csp and z combined modeling of document exchange processes in e-commerce protocols[C]. 见:2nd Asia-Pacific Conference on Quality Software. HONG KONG, PEOPLES R CHINA. DEC 10-11,.
|
|
|
