5th International Conference On Enterprise Information Systems 
École Supérieure d' Électronique de l' Ouest - Angers - France - 23-26 April, 2003

Abstract of Accepted Papers

Program Committee

Case Studies

Keynote Lectures



Paper Templates


Social Activities

Transportation and Accomodation

Local Information

Organizing Committee

Steering Committee


Hall of Fame


Co-organized by:

École Supérieure d' Électronique de l' Ouest
École Supérieure
d' Électronique de
l' Ouest

Escola Superior de Tecnologia
Departamento de Sistemas 
e Informática
Escola Superior de 
Tecnologia de Setúbal 

 Instituto Politécnico de Setúbal


ICEIS 2003 Sites

DBLP bibliography

The First International Workshop on

Verification and Validation of Enterprise Information Systems VVEIS-2003

April 22, 2003Angers, France

  First Announcement and Call for Papers 

In conjunction with the Fifth International Conference on Enterprise Information Systems - ICEIS 2003 (


See the Workshop Program here. 


Juan Carlos Augusto ( ) and Ulrich Ultes-Nitsche ( )

Declarative Systems and Software Engineering Research Group
University of Southampton  SO17 1BJ,  Hampshire, 
United Kingdom


Workshop Background and Goals

It is the aim of this workshop to stimulate the exchange of ideas/experiences of practitioners, researchers, and Engineers working in the area of validating/verifying software for enterprise information systems (EIS). So we will welcome both practical and theoretical papers, including case studies, from all areas related to increasing the confidence in the correctness of EIS software, such as:


Large Scale Component Based Development Specification-based testing and analysis
Reuse of specifications and proofs Combination of verification systems
Dependability   Quality control and assurance
Software Architecture Application Integration
Case studies   Quality attributes
Safety critical systems Model checking
Process algebra Deductive systems
Formal methods Petri nets
Consistency Checking  and Data Integrity  Finite-state abstractions of infinite-state systems

We will aim at including reports on methods currently used for EIS validation/verification as well as existing approaches in academic environments, hoping that both practioners and researchers will benefit from such a mixture of presentations.

Format of the Workshop

The workshop will consist of oral presentations of papers submitted in advance, which will be peer reviewed. The proceedings  of the workshop will be published in the form of a book by ICEIS.

Submission of Papers

Prospective authors are invited to submit papers for oral presentation in any of the areas listed above. Only full papers in English will be accepted, and the length of the paper should not exceed 8 pages. Instructions for preparing the manuscript (in Word and Latex format) are available at the ICEIS web site. Postscript/RTF versions of the manuscript should be sent electronically to the workshop secretariat (see e-mail below) or submitted thru ICEIS web-based paper submission procedure.

Important Dates

Full paper submission: December 15, 2002
Author notification: January 15, 2003
Camera-ready:  January 30, 2003
Workshop: April 22, 2003 

Workshop Program Committee:

Glenn Bruns, Bell Labs (USA)
Jérôme Delatour, École Supérieure d'Électronique de l'Ouest (France)
Stefania Gnesi, National Research Council (Italy)
Andy Gravell, University of Southampton (UK)    
John Grundy, University of Auckland (NZ)          
Alan Hu, University of British Columbia (Canada)
William Lam, SUN Microsystems 
Jose Maldonado, Universidade de Sao Pablo (Brazil) 
Radu Mateescu, INRIA (France)
Pedro Merino Gómez, Universidad de Málaga (Spain)
Daniel Moldt, University of Hamburg (Germany)  
A. Jefferson Offutt, George Mason University (USA)
Alfredo Olivero, Universidad Argentina de la Empresa (Argentina)
Marc Roper, University of Strathclyde  (UK) 
Lone Leth Thomsen, Aalborg University (Denmark)
Pierre Wolper, University of Liege (Belgium)

Conference Location

The workshop will be held at the École Supérieure d' Électronique de l' Ouest in Angers, France, which is 90 minutes from Paris by the high-speed train (TGV). 

Registration Information

To attend the workshop you need to register at


ICEIS-2003 Secretariat - The First  International Workshop on Verification and Validation of Enterprise Information Systems ESEO - École Supérieure d' Électronique de l' Ouest 
4, rue Merlet de la Boulaye - BP926 - 49009
Fax: +33 2 41 87 99 27
Tel: +33 2 41 86 67 19

E-mail: w6-secretariat ( at )
Web site:

Page Updated on 

Copyright © Escola Superior de Tecnologia de Setúbal, Instituto Politécnico de Setúbal