CSIVV 2011 - Interface Verification and Validation for Components and Services (CSIVV 2011)

Interface Verification and Validation for Components and Services (CSIVV 2011)

Organizers: Yamine Ait Ameur (yamine-AT-ensma.fr)
URL: http://selab.iyte.edu.tr/workshops/csivv2011/
--> Abstract
As web services become a promising technology for the effective automation of inter-organizational interactions, service-oriented architectures are emerging to facilitate intelligent, adaptive and automated integration of services. Similarly, architectures and/or frameworks providing (generic) components and multimodal interfaces appear more and more as software artifacts. One of the several issuses to be addresses for the trustworthiness of these software entities is reliable, safe and secure integration, which can be achieved through verification and validation (V&V) in addition to other reliable and secure software development approaches.
Verification and validation methodologies have the potential to increase user confidence in software artifacts. Therefore, theoretical foundations for quality assurance should be investigated to discover new methods that will bring high certainty to the trustworthiness of software entities. Verification and validation methods deliver important analytical techniques for quality assurance of component and service interfaces.