Contents :

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

Accepted Papers

Workshop Program

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.

Attendance will be limited to 40 participants. To be invited, please submit either a paper (of up to 5000 words) on the topic of the workshop or a brief statement (of up to two pages) of your interests in the topic and a list of your related publications. The preferred method for submitting a paper or statement is to e-mail an HTTP pointer to a PostScript file to Aditya Ghose. Alternately, send five copies of your paper or statement to Aditya Ghose.

. Important Dates

• Papers due by: March 12, 1999
• Notification of Acceptance: March 26, 1999
• Camera-ready version of Final Paper due: April 21, 1998
• Date of Workshop: July 17-18, 1999 (Final workshop date TBA)

• Steve Easterbrook, NASA Software IV&V Facility/WVU, USA.
• Alex Quilici, University of Hawaii, USA.
• Alessandra Russo, Imperial College, UK.
• Paul Sorenson, University of Alberta, Canada.
• Christopher Welty, Vassar College, USA.
• Steven Woods, SEI, Carnegie Mellon University, USA.
• Qiang Yang, Simon Fraser University, Canada.

• Aditya Ghose, University of Wollongong, Australia. (Email: aditya@uow.edu.au)
• Tim Menzies, NASA Software IV&V Facility/WVU, USA. (Email: tim.menzies@ivv.nasa.gov)
• Ken Satoh, Hokkaido University, Japan. (Email: ksatoh@db-ei.eng.hokudai.ac.jp)