CALL FOR PAPERS WISE3: the Third International Workshop on Intelligent Software Engineering Open issues, new techniques, challenge problems in software engineering -------------------------------------------------------------------- CFP (html version): http://www.tim.menzies.com/wise3/ WISE3 will be held on June 6th 2000 at the International Conference on Software Engineering, Limerick, Ireland (June 4-11, 2000) http://www.ul.ie/~icse2000/ Supported by the NASA Independent Verification & Validation Facility: http://www.ivv.nasa.gov. GOALS o The collection of challenge problems in software engineering o The application of novel technologies to the challenge problems o A careful and critical evaluation of the relative merits of different technologies for the challenge problems. MOTIVATION 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 realize that software engineering provides the best testbed for AI tools and techniques. While these AI tools are all potentially useful, the core question remains: Which of these tools, if any , are truly cost-effective???? A sample of these AI tools is listed below. For a further list of techniques, see the proceedings of WISE1 and WISE2. During analysis: Knowledge acquisition methods for requirements elicitation Knowledge representation methods for the business knowledge. Non-classical logics for requirements engineering During design and coding: Knowledge-based program synthesis Knowledge base verification techniques Knowledge-based validation techniques to detect bad semantics Theorem proving and formal reasoning for managing changing specs During maintenance: AI tools to maintain declarative and procedural knowledge. AI tools for program comprehension and reverse engineering. The purpose of the WISE series is to assess the utility of the above techniques. WISE3 aims to collect challenge problems. WISE4 and beyond would then encourage different solutions to these challenge problems. Our long-term goal (e.g. WISE6) is to foster the develop of some yet-to-be-funded rigorous evaluation experiment. To succeed in attracting that adequate funding, we must first build a strong community, clearly define the open issues, and develop good evaluation methods. SUBMISSIONS Contributions to WISE3 may be on any application of automated intelligence to software engineering problems. However, we especially encourage "challenge problem" submissions; i.e. o A description of some task. o A web site where researchers can download further materials on that task. o And (possibly) an initial solution including baseline figures for effort and effectiveness of that solution. All WISE3 submissions will be reviewed by at least two members of the international software engineering/ knowledge engineering community. WISE3 submissions will be judged on two different criteria, depending on the nature of the paper: Technical papers Reviewed for relevance to WISE3, significance, originality, quality, clarity (see http://www.tim.menzies.com/wise3/eval1.txt) Challenge problems Reviewed for clarity, completeness of description, availability of baseline data, and the interestingness of the supplied problem (see http://www.tim.menzies.com/wise3/eval2.txt) To participate, authors should be aware that they'll need to: Read your email! Authors should carefully read their email in the Feb/March time period. All WISE3 correspondence will be via email. Format papers using (almost) the ICSE-2000 guidelines I.E. 10pt, two column, 10 pages (including references). Note carefully one change to http://www.ul.ie/~icse2000/icseformat.html: o Allowed formats = MS Word or PDF (and not postscript and not Framemaker and not ....) Review other WISE3 submissions WISE3 authors may be required to review between zero and two other WISE3 submissions. Note that failure to review your allocated WISE3 submissions by March 1 , 2000 will result in automatic rejection of your paper. Submit electronically To submit, please fill in the submission form at http://www.tim.menzies.com/wise3/submit.txt and send to Tim Menzies (tim@menzies.com). DATES Feb 1 2000 papers due Note: no extensions (review timetable is too tight) Mar 1 2000 reviews due Mar 15 2000 notification of acceptance Apr 30 2000 final copy due (note: this date may change) Jun 6 2000 workshop Jun 7-9 2000 main ICSE workshop ATTENDANCE Attendance at WISE3 is restricted to authors of accepted papers, members of the organizing committee, and guests especially invited by the organizing committee. Our current guest list may be found at http://www.tim.menzies.com/wise3/questlist.txt ORGANIZING COMMITTEE Tim Menzies (chair) NASA IV&V Facility, USA (ish) tim@menzies.com Grigoris Antoniou Griffith University, Australia Suzanne Barber University of Texas,Austin, USA Louis Blazy NASA IV&V Facility USA John Callahan West Virginia University, USA Gianpaolo Cugola Politecnico di Milano Italy Paul Compton University of NSW, Sydney Australia Bojun Cukiv West Virginia University, USA Steve Easterbrook University of Toronto, Canada Bernd Fischer NASA, Ames USA Aditya Ghose University of Wollongong, Australia John Kelly, NASA, JPL, USA Michael Lowry NASA, Ames USA John Mylopoulos University of Toronto USA Bashar Nuseibeh Imperial College, UK Debbie Richards Macquarie University Australia Alessandra Russo Imperial College UK Ken Satoh Hokkaido University. Japan Jeffery Tsai University of Illinois, USA ___________________________________________________________________ Tim@Menzies.com; NASA/WVU Software Research Lab; ph +1-304-367-8447 100 University Drive, Fairmont WV, 26554, USA; fax +1-304-367-8211 "Computers are useless. They can only give you answers." --Picasso