Formal Methods for Service Oriented Architecture Sample Clauses

Formal Methods for Service Oriented Architecture. Following the SSAI FP7 Call 1 projects meeting that took place in March 2008 in Brussels, we have identified a common thematic, namely “Formal methods for Service Oriented Architecture”, bridging over DEPLOY main focus (formal methods) and “Internet Technology” mainstream that most FP7 Call 1 projects adhere to.