[ecoop-info] Call For Paper (CSIVV 2011)

Soonseok Kim soonseok.kim at gmail.com
Thu Dec 30 13:10:00 CET 2010


 Interface Verification and Validation for Components and Services (CSIVV

                          Busan, Korea, 26-28 May 2011


                          In conjunction with ICASE 2011


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
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

      Topics of Interest
The topics of interest include, but are not limited to:

· Formal methods and theories in interface V&V
· V&V of component and service interface specifications and models (or
Model-based V&V of component and service

· V&V of multimodal interfaces
· Formal models for interface testing
· Test generation based on formal and semi-formal models of component and
service interfaces
· Test coverage metrics and criteria for interface testing
· Tools for interface V&V
· Experience reports from testing of component and service interfaces in
· V&V of adaptative services and interfaces
· Handling QOS properties in services and interfaces design

Expected number of papers to be submitted: Between 6 and 8.

Desired length of the workshop: A half-day workshop held before the main

  Important Dates
Submission Deadline : January 3
Acceptance Notification : February 1
Camera-Ready : February 15
Conference : May 26-28

Workshop Proceedings, Paper Presentation (tentative)

Accepted submissions will be published by IEEE Press and available in the
IEEE digital library. For this, one of the

authors needs to register and present the accepted submission. During the
workshop, each paper will have a slot of

30 minutes, with 20-25 minutes presentation.

Prof. Dr. Yamine Ait Ameur (yamine at ensma.fr)
Ecole Nationale Superieure de Mecanique et d’Aerotechnique, France

Asst. Prof. Dr. Tugkan Tuglular (tugkantuglular at iyte.edu.tr)
Izmir Institute of Technology, Turkey

Program Committee (preliminary)

Fevzi BELLI, University Paderborn, Germany
Djamal BENSLIMANE, LIRIS, University of Lyon, France
Christof J. BUDNIK, Siemens Corporate Research, Princeton, USA
Stephane JEAN, LISI, ENSMA-University of Poitiers, France
Ahmet KOLTUKSUZ, Yasar University, Turkey
Bruno LEGEARD, LEIRIOS Technologies
Eric WONG, UT Dallas, USA
Franz WOTAWA, Saarbrucken University, Germany
Hasan URAL, University of Ottawa, Canada
Husnu YENIGUN, Sabanci Univ., Turkey
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20101230/a955c455/attachment-0001.html 

More information about the ecoop-info mailing list