International Workshop on
Intelligent Technologies for Software Engineering

In conjunction with the
19thIEEE Internationl Conference on
Automated Software Engineering

Linz, Austria, September 20th - 25th, 2004

Provisional Programme

Overview Topics
Submission and Presentation Publication and Dates
Organisation Additional Information



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




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




Submission and Presentation


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 All submissions will be acknowledged shortly after receipt.


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


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. See 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 2nd, 2004        (NEW DEADLINE)

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

Camera-ready paper due: August 30th, 2004

Workshop day: September 21st, 2004

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



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

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