arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1202.2572cs.SE
收藏

一种面向服务应用程序开发的形式化方法

A Formal Approach for the Development of Service-Oriented Applications

Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre

摘要:

Lorina Negreanu,Cristian Giumale,Alexandru Agache,Mihnea Muraru,Matei Popovici,Ciprian Dobre,A Formal Approach for the Development of Service-Oriented Applications,in Proc. of 18th International Conference on Control Systems and计算机科学学(CSCS-18),Bucharest,Romania,2011,pp. 804-810,ISSN:2066-4451,Politehnica Press”

英文摘要:

Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑