Automated Software Engineering - ASE'97 12th IEEE International Conference Formerly the Knowledge-Based Software Engineering Conference [KBSE] November 3 - 5, 1997 Hyatt Regency Lake Tahoe Incline Village, Nevada; USA Paper Submission: May 23, 1997 ASE-97 is sponsored by the IEEE Computer Society and the NASA Ames Research Center and is in cooperation with AAAI, ACM SIGART and SIGSOFT (pending). http://ic-www.arc.nasa.gov/ic/conferences/ASE97 http://www-lsr.imag.fr/Les.Personnes/Yves.Ledru/ASE97 (European mirror) ------------------------------------------------------------------------------- Call for Papers 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. 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, testing, or verification & validation. ASE-97 encourages contributions describing basic research, novel applications, and experience reports. The solicited topics include, but are not limited to: Applications Automating software design and synthesis Domain modeling Knowledge acquisition Maintenance and evolution Process management Program understanding Re-engineering Requirements Reuse User interfaces and human interaction Testing Verification & validation All accepted papers will be published in the proceedings. In addition, several of the highest quality papers will be selected for a special issue of The Journal of Automated Software Engineering (Kluwer). ASE-97 will also include invited talks, tutorials, panel discussions, and project demonstrations. Submission Information 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. Electronic submissions in Postscript, PDF, MIF, or RTF will be accepted. Postscript submissions must be printable on an Apple Laserwriter and viewable with ghostscript. Page size for all electronic submissions must be 8.5x11 (U.S. Letter). Electronic sub- missions should be sent to ase-97-submit@ptolemy.arc.nasa.gov. For hardcopy sub- mission, six copies of the paper should be sent to either program chair. No fax submissions will be accepted. The submission deadline is May 23, 1997. Electronic abstracts must also be submitted by the same deadline through the interactive web site. Conference Location ASE-97 will be held on the northern shore of beautiful Lake Tahoe in the Sierra Nevada mountains. The Hyatt Regency Lake Tahoe is a resort hotel with its own beach and small in-house casino. The Hyatt is forty minutes by shuttle bus from Reno International Airport (Reno, Nevada), and is a five hour drive from San Francisco, California. An economical room rate has been negotiated with the hotel. ASE-97 Organization General Chair Chris Welty Vassar College Computer Science Dept. Poughkeepsie, NY 12601 (914) 437-5992 weltyc@cs.vassar.edu Program Chairs Michael Lowry Code IC, M/S 269-2 NASA Ames Research Center Moffett Field, CA 94035 USA Tel (415) 604-3369 Fax (415) 604-3594 (fax) lowry@ptolemy.arc.nasa.gov Yves Ledru Laboratoire Logiciels, Systemes et Reseaux - IMAG Bureau D 316 BP 53 F-38041 Grenoble Cedex 9 France Tel:+33 4 76 82 72 14 Fax:+33 4 76 82 72 87 Yves.Ledru@imag.fr Publicity Chair Alex Quilici Department of Electrical Engineering University of Hawaii at Manoa 2504 Dole Street Honolulu, Hawaii 96822 alex@wiliki.eng.hawaii.edu Demonstrations Chair Alan Whitehurst Department of Computer Science Brigham Young University Provo, UT 84602 (801) 378-5319 whitehur@cs.byu.edu Registration Chair Scott R. Henninger Department of Computer Science & Engineering University of Nebraska-Lincoln Lincoln, NE 68588-0115 (402) 472-8394 scotth@cse.unl.edu Tutorials Chair Perry Alexander Department of Electrical & Computer Engineering and Computer Science University of Cincinnati Cincinnati, OH 45221-0030 alex@ececs.uc.edu Program Committee Kevin Benner, United HealthCare, USA Leopoldo Bertossi, Univ. Catolica, Chile Wolfgang Bibel, Darmstadt, Germany Ted Biggerstaff, Microsoft Research, USA Dines Bjxrner, United Nations Univ. Barry Boehm, USC, USA Alan Bundy, U. Edinburgh, UK Paul Clements, CMU SEI, USA Thomas Ellman, Rutgers Univ., USA Steven Easterbrook, NASA IV&V, USA Martin Feather, NASA JPL, USA Carlo Ghezzi, Milano, Italy Joseph Goguen, UC San Diego, USA Cordell Green, Kestrel Institute, USA Mehdi Harandi, Univ. Illinois, USA Armando Haeberer, Univ. Catolica, Brasil Lewis Johnson, USC-ISI, USA Richard Jullig, Kestrel Institute, USA Jan Komorowski, NTNU Trondheim, Norway Michel Lemoine, CERT, France Carlos Lucena, Univ. Catolica, Brasil Chris Marlin, Flinders Univ., Australia John Mylopoulos, Toronto, Canada Bashar Nuseibeh, Imperial College, UK Peter Pepper, TU Berlin, Germany Alex Quilici, U. Hawaii David Redmiles, UC Irvine, USA Kevin Ryan, Univ. Limerick, Ireland Akiyoshi Sato, NEC, Japan Peter Selfridge, AT&T Labs, USA Dorothy Setliff, Univ. Pittsburgh, USA/Univ. Sydney, Australia Howard Shrobe, ARPA/MIT, USA Douglas Smith, Kestrel Institute, USA Ernst Tyugu, RIT, Sweden Richard Waldinger, SRI International, USA Douglas White, Rome Lab Alan Whitehurst, BYU