From: acwf@doc.imperial.ac.uk (Anthony Finkelstein)
Newsgroups: comp.ai
Subject: AI & Software Engineering
Date: 7 Apr 92 08:17:05 GMT
Article-I.D.: gummo.3796.9204070817


I am passing you this CFP which I feel may be of interest. This is the first
major event solely dedicated to requirements engineering, as such we hope it
will be the start of an intellectual community in this area. We are very
keen to attract good papers and attendees. We are particularly keen to use
this symposium as a bridge between AI and Software Engineering. I hope you
will seriously consider submitting some of your work. I would also be
grateful if you could copy the CFP to anybody who you think may find it of
interest and/or post it on your local noticeboards.

IEEE International Symposium on Requirements Engineering

RE '93

4-6th January 1993

Coronado Island, San Diego, California, USA.

Sponsored by IEEE Computer Society in cooperation with ACM SIGSOFT & SIGART

Scope

Requirements Engineering, is a topic of vital importance to software
engineering. This symposium will cover all aspects of software requirements
elicitation, specification and analysis. It aims to make a significant
contribution to the state-of-the art, to reflect the important work being
carried out in this area and to bring researchers and practitioners together.

Areas to be covered by the symposium include, but are not restricted to:

formal representation schemes and requirements specification languages;

descriptions of the requirements engineering process;

tools and environments to support requirements engineering;

requirements engineering methods;

requirements analysis and validation;

requirements elicitation, acquisition and formalisation;

establishing traceability to requirements;

requirements metrics;

reuse and adaptation of requirements;

animation and execution of requirements;

requirements through reverse engineering and re-engineering;

intersections with artificial intelligence, particularly domain modelling and
analysis;

intersections with computer-human-interaction and cognitive science;

intersections with group and cooperative work

intersections with systems engineering.

Attention will be paid to requirements engineering for distributed,
safety-critical, composite, real-time and embedded systems.

Format

The format of the symposium will include paper presentations, workshop and
panel sessions, reviews and keynote talks.

Submissions should be in one of the following forms:

technical papers describing new techniques, methods and the like, not
exceeding 5,000 words in length;

review papers giving a detailed account of significant progress in the area of
requirements engineering (for example: major projects & research initiatives;
large tool sets), not exceeding 10,000 words in length;

short papers covering case studies or stating a position, not exceeding 2000
words.

All accepted papers will appear in the proceedings of the symposium to be
published by IEEE CS Press. Short papers will not be presented at the
symposium.

Submit 5 copies of papers to Anthony Finkelstein, Programme Chair, at the
address below.

Author's schedule

Papers to be submitted by:			1st June 1992
Notification of acceptance:			30th July 1992
Submission of camera-ready papers:		15th September 1992

Conference General Chair

Stephen F. Fickas,
University of Oregon,
Department of Computer & Information Science,
Eugene OR 97403, USA
[1] 503-346-3964
fickas@cs.uoregon.edu

Programme Chair

Anthony C.W. Finkelstein
Imperial College,
Department of Computing,
180 Queens Gate,
London SW7 2BZ, UK
[44] 71-589-5111
acwf@doc.ic.ac.uk

Programme Committee

William Agresti - The Mitre Corporation (USA)
Bob Balzer - USC Information Sciences Institute (USA)
Dave Barstow- Schlumberger Laboratory for Computer Science (France)
Wayne Butcher - TSTT (Trinidad & Tobago)
Jeff Conklin - Corporate Memory Systems Inc. (USA)
Alan Davis - University of Colorado (USA)
Martin Feather - USC Information Sciences Institute (USA)
Peter Freeman - Georgia Institute of Technology (USA)
Brian Gaines - University of Calgary (Canada)
Michael Goedicke - University of Essen (Germany)
Joseph Goguen - Oxford University (UK)
Cordell Green - Kestrel Institute (USA)
Sol Greenspan - GTE Labs (USA)
Jacques Hagelstein - Sema Group (Belgium)
Michael Harrison - University of York (UK)
Hisayuki Horai - Fujitsu Ltd (Japan)
Matthias Jarke - RWTH Aachen (Germany)
Lewis Johnson - USC Information Sciences Institute (USA)
Elaine Kant - Schlumberger Laboratory for Computer Science (USA)
Simon Kaplan - University of Illinois (USA)
Jeff Kramer - Imperial College (UK)
Manny Lehman - Imperial College (UK)
Julio Cesar Leite - PUC-RJ (Brasil)
Nancy Leveson - University of California, Irvine (USA)
Peri Loucopoulos - UMIST (UK)
Tom Maibaum - Imperial College (UK)
John Mylopoulos - University of Toronto (Canada)
Derek Partridge - University of Exeter (UK)
Colin Potts - MCC (USA)
Kevin Ryan - University of Limerick (Ireland)
Alastair Sutcliffe - The City University (UK)
Axel Van Lamsweerde - Universite Catholique de Louvain (Belgium)
Dick Waters - Mitsubishi Electric Research Laboratories (USA)
Jeanette Wing - Carnegie Mellon University (USA)
Jim Woodcock - Oxford University (UK)
Pamela Zave - AT&T Bell Laboratories (USA)
Newsgroups: comp.ai,comp.ai.neural-nets