Paper Submission Deadline: May 23, 1997
The IEEE International Conference on Automated Software Engineering, formerly called the Knowledge-Based Software Engineering Conference, has for the past decade provided a forum for researchers and practitioners to discuss the application of automated reasoning and knowledge representation to software engineering problems. The conference originated from and continues to be fostered by the Knowledge-Based Software Assistant program at Rome Laboratory.
ASE-97 will expand this tradition, focusing on computer-based construction, representation, semantic analysis, reasoning, and understanding, of software artifacts and processes. These techniques may be fully automatic, or support and cooperate with people. Starting this year, the scope of the conference is being expanded for greater international participation and to better reach other scientific communities concerned with formal methods, partial evaluation, process support, requirements engineering, reverse engineering, test, or verification & validation. ASE-97 encourages contributions describing basic research, novel applications, and experience reports. The solicited topics include, but are not limited to:
Papers should not exceed 6000 words in length, with full page figures counting as 300 words. Papers will be reviewed by at least three members of the program committee according to: technical quality, originality, clarity, appropriateness to the conference focus, and adequacy of references to related work.