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

[Soonseok Kim]

********************************************************************************

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


                          Busan, Korea, 26-28 May 2011

                          http://selab.iyte.edu.tr/workshops/csivv2011


                          In conjunction with ICASE 2011
     (http://www.ftrai.org/icase2011)
********************************************************************************


====================
    Introduction
====================

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.


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

interfaces)
· 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
practice
· 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
conference.


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


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