Contents :

Introduction
Topics of Interest
Participation and Submission of Papers
Important Dates
Program Committee
Workshop Co-Chairs
Workshop Program
Invited Speakers
Workshop Summary

List of accepted papers

Introduction

There is a growing realization that the design of effective software engineering tools must be smarter. Real world software specs can be very intricate. Manual browsing by a software engineer cannot reveal its subtleties. Automatic tools are required to reflect over business knowledge to identify what is missing or could be effectively changed. At the same time, many AI researchers now realise that software engineering provides the best testbed for AI tools and techniques. For example:
• During analysis:
  • Knowledge acquisition methods for requirements elicitation
  • Knowledge representation methods for expressing the business knowledge.
  • Formal reasoning with non-classical logics for requirements engineering and evolution.
• During design and coding:
  • Knowledge base verification techniques can critique the structure of a knowledge base/specification.
  • Knowledge-based validation techniques can detect bad semantics in a knowledge base/specification
  • Classical theorem proving and related formal reasoning techniques are being widely applied in the context of formal specification languages, as well as in managing changing specifications for reuse-oriented software maintenance.
  • Formal languages for planning in the AI context are being reincarnated as languages for software process modelling.
• During maintenance:
  • Tools from AI can assist in maintaining declarative and procedural knowledge.
  • AI techniques for program comprehension and reverse engineering of legacy systems. This has been reinforced by recent successes in applying methods such as constraint satisfaction and plan recognition to reverse engineering legacy systems.

Submissions should address software engineering applications of AI technologies. Of interest to the workshop are:
• papers that present fundamental/theoretical advances.
• papers that describe fielded applications.
• papers that study the effectiveness of deployed solutions.

Submitted papers should not exceed 5000 words in length. To submit a paper, authors must go through BOTH of the following steps:

• Email an electronic version (preferably in the form of a postscript file) to Aditya Ghose at the following address:
  aditya@uow.edu.au
• Mail 4 copies of the paper to Aditya Ghose at the address provided below.

If you wish to participate without presenting a paper, send a brief email message outlining your areas of interest to Aditya Ghose at:
aditya@uow.edu.au

.

• Papers due by: September 7, 1998
• Notification of Acceptance: September 25, 1998
• Camera-ready version of Final Paper due: October 25, 1998
• Date of Workshop: November 22-27, 1998 (Final workshop date TBA)

• Robert Colomb, University of Queensland, Australia.
• Alex Quilici, University of Hawaii, USA.
• Alessandra Russo, Imperial College, UK.
• Paul Sorenson, University of Alberta, Canada.
• Steven Woods, SEI, Carnegie Mellon University, USA.
• Qiang Yang, Simon Fraser University, Canada.
• Didar Zowghi, Macquarie University, Australia.

• Aditya Ghose, University of Wollongong, Australia. (Email: aditya@uow.edu.au)
• Tim Menzies, University of New South Wales, Australia. (Email: timm@cse.unsw.edu.au)