 6th International Conference on Enterprise Information Systems |
Workshops |
|
|
Workshop Paper Submission:
expired
Workshop Author Notification: expired Final Camera-Ready Submission and Registration: 1st March 2004 |
|
Call
For Papers |
|
Accepted Papers |
|
|
Conference Program |
|
|
Organized by: Co-organized by: |
|
|
|
|
|
|
The Second International Workshop
on
Verification and Validation of
Enterprise Information Systems VVEIS-2004
April 13, 2004 – Porto, Portugal
First Announcement and
Call for Papers
See here the workshop program:
In conjunction with the
Sixth International Conference on Enterprise
Information Systems - ICEIS 2004 (http://www.iceis.org/)
Co-Chairs:
Juan
Carlos Augusto (
jc.augusto@ulster.ac.uk
)
School of Computing and Mathematics
University of Ulster at Jordanstown
BT37 0QB Newtownabbey, Co. Antrim
Northern Ireland
Ulrich
Ultes-Nitsche (uun@unifr.ch)
Telecommunications, Networks & Security Research Group
Department of Informatics, University of Fribourg
CH-1700 Fribourg,
Switzerland
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). 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 | Combination of verification systems |
| Reuse of specifications and proofs | Quality control and assurance |
| Software Architecture | Application Integration |
| Quality attributes | Dependability |
| Case studies | Testing |
| Requirements | Use cases |
| Formal methods | Petri nets |
| Process algebra | Model checking |
| Safety critical systems | Deductive systems |
| Consistency Checking and Data Integrity | Finite-state abstr. 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 practitioners and
researchers will benefit from such a mixture of presentations.
Three main categories of submissions/presentations will be considered: a) regular papers, b) abstracts of work in progress and position papers (e.g. for Ph.D. students wishing to obtain feedback on early stages of their research), and c) tool demonstrations. All submissions falling in any of these categories have to follow the procedure explained below under the heading "Submission of Papers".
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.
Contacts will be made with an International Journal to publish a selection of best papers.
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 (see below). Postscript/RTF versions of the manuscript should be submitted thru ICEIS web-based paper submission procedure.
Important Dates
Full paper submission: January 15, 2004
Author notification: February 15, 2004
Camera-ready paper submission: March 1, 2004
Workshop Program Committee:
Glenn Bruns, Bell Labs (United States of America)
David Bustard, University of Ulster (United Kingdom)
Jérôme Delatour, ESEO (France)
Stefania Gnesi, National Research Council (Italy)
Andy Gravell, University of Southampton (United Kingdom)
John Grundy, University of Auckland (New Zealand)
Pieter Kritzinger, University of Cape Town (South Africa)
Guangyuan Li, Chinese Academy of Sciences (China)
Pericles Loucopoulos, UMIST (United Kingdom)
Jose Maldonado, ICMC, University of Sao Paulo (Brazil)
Radu Mateescu, INRIA (France)
Pedro Merino Gómez, Universidad de Málaga (Spain)
Daniel Moldt, University of Hamburg (Germany)
Alfredo Olivero, UADE (Argentina)
Marc Roper, University of Strathclyde (United Kingdom)
Michael Rosemann, Queensland University (Australia)
Lone L. Thomsen, Aalborg University (Denmark)
Conference Location
The workshop will be held at Departamento de Informática, Universidade Portucalense, Porto, Portugal.
Registration Information
To attend the workshop you need to register at http://www.iceis.org
ICEIS-2004
Secretariat
International
Workshop on Verification and Validation of Enterprise Information
Systems
ICEIS 2004 Secretariat
Universidade Portucalense
Departamento de Informática
Rua Dr. António Bernardino de Almeida, 541-619
4200 - 072 Porto - Portugal
Tel: +351 22 557 2512 Fax: +351 22 557 2015
E-mail: workshops ( at ) iceis.org
Copyright © INSTICC
Page Updated on
19-10-2006