index

Overview

The increasing complexity of software systems and a number of recent advances in the field of computational intelligence (CI) have been providing a fruitful integration between requirements engineering (RE) and intelligent technologies. This is particularly true in the CI areas of model checking, validation, many-value logics, abductive reasoning, uncertainty management and belief based reasoning, artificial neural networks and machine learning, case-based reasoning, and the RE areas of requirements analysis and evolution, traceability, multiple viewpoints, inconsistency management and software risk assessment. The aim of this workshop is to bring together researchers from academia and industry, and practitioners working in the areas of computational intelligence and requirements engineering to discuss existing issues, work and experience, recent developments, case studies, and tools of intelligent technologies in various aspects of requirements engineering.

The Workshop on Intelligent Technologies for Software Engineering is intended to provide a forum for the presentation and discussion of a wide range of topics related to the applicability of (new) intelligent technologies to requirements engineering problems. The aim of this workshop is to bring together researchers from academia and industry, and ractitioners working in the areas of computational intelligence and requirements engineering to discuss existing issues, recent developments, applications, experience reports, and software tools of intelligent technologies in all aspects of requirements engineering.

Previous Events:WITSE 2003

Topics

We seek contributions addressing the theoretic foundations and practical techniques related, but not limited, to:

Intelligent methods of requirements analysis and evolution.
Machine learning for change management and risk assessment.
Intelligent approaches for inconsistency management of requirements specifications.
Intelligent architectures for requirements evolution.
Intelligent techniques for supporting the integration of requirements and architectures specifications
Intelligent technologies for traceability management.
Data Mining and Information Retrieval applied to requirements engineering.
Intelligent techniques for requirements validation.
Empirical studies, experience, and lessons learned on applying computational intelligence to the development of requirements specifications.

Submission and Presentation

Submissions

Researchers and practitioners are invited to submit original papers that have not been published elsewhere. Submitted papers must be written in English, in single column and using 12pt font. Papers should not exceed 11 pages including references and appendixes (if any). For further details on the formatting please see the OCG formatting guidelines. All submitted papers will be judged based on their quality, relevance, originality, significance, and soundness. Papers must be submitted directly by email in PDF format to witse04@doc.ic.ac.uk. All submissions will be acknowledged shortly after receipt.

Presentation

Authors of accepted papers are expected to present their work at the workshop. The workshop will include extra time for a discussion of the presentations allowing the group to have a better understanding of the issues, challenges, and ideas being presented.

Publication and Dates

Publication

Accepted papers will be published in official workshop proceedings, which will be distributed during the workshop. The proceedings will be published as an official publication of the Austrian Computer Society (OCG) in their OCG Schriftenreihe series. Authors must adhere to the formatting guidelines of the OCG. Seehttp://www.ocg.at/activities/books/Richtlinien.pdf for details. The proceedings will be published with an ISBN number. Copyright will remain with the OCG for one year.

Important Dates

Deadline for submission: July 2^nd, 2004 (NEW DEADLINE)

Notification of acceptance: August 16^th, 2004 (NEW DEADLINE)

Camera-ready paper due: August 30^th, 2004

Workshop day: September 21^st, 2004

ASE 2004 main conference dates: September 20-25, 2004

Organisation

Workshop Organisers:

Alessandra Russo

Artur d'Avila Garcez

Tim Menzies

Programme Committee

Eric Dubois (Research Centre Henri-Tudor, Luxembourg)
Artur d’Avila Garcez (City University London, UK) (co-chair)
Dimitra Giannakopoulou (RIACS/NASA AMES, USA)
Robert Hall (AT&T, USA)
Connie Heitmeyer (Naval Research Laboratory, Washington USA)
Chris Hogger (Imperial College London)
Antony Hunter (University College London, UK)
Julio Leite (PUC-Rio, Brazil)
Neil Maiden (City University London, UK)
Tim Menzies (Nasa IV&V, USA) (co-chair)
Stefan Rueger (Imperial College London, UK)
Alessandra Russo (Imperial College London, UK) (co-chair)
Camille Salinesi - Ben Achour (Paris I - Sorbonne, France)
Ken Satoh (National Institute of Informatics, Japan)
George Spanoudakis (City University London, UK)
Axel van Lamsweerde (Universite Catholique de Louvain, Belgium)
Andrea Zisman (City University London, UK)
Didar Zowghi (University of Technology, Sydney, Australia)

Additional Information

General questions concerning the workshop should be addressed to witse04@doc.ic.ac.uk.

Please re-visit this web-page regularly to find latest information on WITSE04.

Overview	Topics
Submission and Presentation	Publication and Dates
Organisation	Additional Information