Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

85

CBSE
2007
Springer

72views Software Engineering» more CBSE 2007»

A Framework for Contract-Based Collaborative Verification and Validation of Web Services

15 years 9 months ago

A Framework for Contract-Based Collaborative Verification and Validation of Web Services

Download goanna.cs.rmit.edu.au

Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsa

Real-time Traffic

CBSE 2007 |

claim paper

Related Content

» SpecificationBased Verification and Validation of Web Services and ServiceOriented Operati...

» Using a Rigorous Approach for Engineering Web Service Compositions A Case Study

» Automated Model Checking and Testing for Composite Web Services

» Net Traveler A Framework for Autonomic Web Services Collaboration Orchestration and Choreo...

» Verifying web services composition based on hierarchical colored petri nets

» Web Service Discovery and Composition for Virtual Enterprises

» Mining clickthrough data for collaborative web search

» Establishing and maintaining compatibility in service oriented business collaboration

» Modeling Workflows Interaction Patterns Web Services and Business Processes The ASMBased A...

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CBSE
Authors	Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen

Comments (0)