Formal methods in the era of service-oriented design

被引：0

作者：

Margaria, Tiziana ^{[1
]}

机构：

[1] Univ Potsdam, Chair Serv & Software Engn, Potsdam, Germany

来源：

2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2011年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：452 / 453

页数：2

共 15 条

[1]

[Anonymous], ED WORKFL MAN SOFTW

[2]

Bernstein A., 2010, P 4 INT WORKSH SERV

[3]

Jung G, 2008, COMM COM INF SC, V17, P139

[4]

Krug Andreas, P ICSC 2008 2 IEEE I, P480

[5]

Kubczak C., 2009, SMR2 P 3 INT WORKSH

[6]

Lamprecht A.-L., 2009, CEUR WORKSHOP P, V435

[7]

Lamprecht A.-L., 2010, P 3 WORKSH SEM WEB A

[8] Semantics-based composition of EMBOSS services [J].

Lamprecht A.-L. ;

Naujokat S. ;

Margaria T. ;

Steffen B. .

[9]

Margaria T, 1998, LECT NOTES COMPUT SC, V1382, P188, DOI 10.1007/BFb0053591

[10]

Margaria T., 2009, LNCS