🚀 go-pugleaf

**************************************************************
**************************************************************
***********************|  _ \****|  ___|**|_|*****************
***********************| |*| |***| |******//******************
***********************|  __/****|  __|***********************
***********************| |\ \****| |**************************
***********************|_|*\ \***|_____|**********************
**************************************************************
**************************************************************
*************************/ _  |**| ____|**********************
************************| |*| |**| |**************************
*************************\__  |**|___ <***********************
****************************| |******| |**********************
****************************|_|**|____/***********************
**************************************************************
**************************************************************


                       Advance Programme...

           Second IEEE International Symposium on
                 Requirements Engineering

                     27-29 March 1995
                  The University of York
                      York, England

           Sponsored by the IEEE Computer Society 
                 TC on Software Engineering
               In cooperation with ACM SIGSOFT,
                   IFIP Working Group 2.9
            (Software Requirements Engineering),
                             AT&T


General Chair's introduction...
The second international symposium on Requirements 
Engineering is to be held in York, England in 1995. After a 
very successful meeting in San Diego in 1993, the symposium 
moves across the Atlantic Ocean for 1995. York is famous for 
its Minster and many historic sites dating from Roman, Viking 
and Medieval times. The city walls are covered in daffodils in 
March.

Requirements Engineering, the problem of taking under-
specified, and occasionally tentative, customer requirements 
and producing accurate specifications to satisfy these 
requirements, has always been a problem for software 
developers. This 'formality gap' is now a growing area of 
research both in industry and academia.  This conference 
presents a broad spectrum of results in this area from groups 
representing research institutions throughout the world. 
Requirements issues range from elicitation through 
representation to implementation, and concern special topics 
such as ethnography, normative reasoning, human issues and 
safety issues. 

Conference overview...
The conference consists of five types of session designed to 
optimise interaction between participants preceded by a 
doctoral consortium. Invited speakers begin each day in 
plenary session, intended to generate a theme that may be a 
useful 'benchmark' against which to measure the content of 
the other sessions during the conference. This session will 
contain plenty of discussion, often facilitated by a discussant. 
Paper sessions will follow, in parallel with three other kinds of 
session: 

*  mini-tutorials are designed to introduce participants to a 
   subject area that is highly relevant to requirements 
   engineering;

*  panel sessions provide a discussion session in which a 
   forum of 'experts' address a hot topic in the area;

*  working groups are special interest groups in which 
   interested participants can meet to discuss and develop 
   relevant new themes within requirements engineering.

The meetings are held in the purpose-built conference 
complex at the University of York. The seminar and lecture 
rooms surround an exhibition area, in which product and 
research tool demonstrations have also been arranged. A 
conference dinner has been organised in the National Railway 
Museum: an opportunity to muse about requirements 
engineering and steam transportation while listening to a 
traditional Yorkshire brass band.

Doctoral Consortium...
The doctoral consortium will give selected students an 
opportunity to present ideas and work-in-progress which may 
not be ready for full presentation at the symposium but which 
they wish to expose to critical analysis and discussion. It gives 
these students a means to attend the symposium and get a feel 
for research progress in requirements engineering. In the 
doctoral consortium, students will present their work-in-
progress to a panel of senior members of the requirements-
engineering community, for the purposes of feedback and 
discussion. The consortium will be run as a one-day closed 
workshop within the symposium programme.

Exhibits and Demonstrations...
An important feature of RE'95 will be the exhibitions and 
demonstrations area. This will provide the opportunity to 
browse book stalls, talk to publishers, and see a range of 
requirements engineering tools and methods presented by both 
companies and researchers, with plenty of time for in depth 
discussion.


Invited speakers...

Janis A. Bubenko Jr

Janis A. Bubenko is Professor in Computer and Systems 
Sciences  at the Royal Institute of Technology and University 
of Stockholm . 
He is author/co-author of seven textbooks in the areas of 
Information Systems Development Methods, Performance 
Analysis of Data Processing Systems, Operating Systems, and 
Conceptual Modelling; and of more than 125 research reports 
and published articles. Current research activities and interests 
include  Requirements Engineering and Enterprise Modelling 
methods. He has participated in several ESPRIT projects.

Michael Jackson 

Michael Jackson originated the JSP and JSD methods of 
program and  system design.  He described them in his two 
books: Principles of Program Design; and System 
Development.  For the past five years he has been working on 
methods of requirements specification and problem analysis. 
He is an independent consultant and a part-time researcher at 
Bell Telephone Laboratories, Murray Hill New Jersey.

David Thewlis

David Thewlis is Chief Scientist at GEC-Marconi Ltd. His current 
brief is for overall software and computing within the company, 
including trouble shooting, project reviews and other types of 
fire fighting. He chairs the British IEE Information Engineering 
Committee, the FEI Computer Policy Committee and the SBAC/FEI 
Airborne Computing Forum. David Thewlis spent the first ten years 
of his career in the Nuclear Power Industry. In 1980 he joined 
Marconi Defence Systems to found a software house, moving to 
GEC-Marconi in 1988.

Day 1 - Monday 27 March 1995

9:15-10:30

Registration

10:30-11:00

Coffee

11:00-12:30

General chair's welcome

Invited speaker: "Problems and Requirements",
Michael Jackson

12:30- 14:00

Lunch

14:00- 15:30
Papers 1: Elicitation and Investigation

"Scenarios--An Industrial Case Study and Hypermedia 
Enhancements", P. A. Gough, F. T. Fodemski, S. A. Higgins, 
S. J. Ray

"A Task Centered Approach to Analysing Human Error 
Tolerance Requirements", R. Fields, P. C. Wright, M. D. 
Harrison

"Presenting Ethnography in the Requirements Process", John 
Hughes, Jon O'Brien, Tom Rodden, Mark Rouncefield, Ian 
Sommerville

Panel 1: "The Next 25 Years: New Customers, 
New Environments, New Requirements"

Moderator: Sol Greenspan

15:30- 16:00

Coffee

16:00- 17:30
Papers 2: Views and Consistency

"Improving the Use Case Driven Approach to Requirements 
Engineering", Bjorn Regnell, Kristofer Kimbler, Anders 
Wesslen

"Managing Inconsistencies in an Evolving Specification", 
Steve Easterbrook, Bashar Nuseibeh

"Consistency Checks for SCR-Style Requirements 
Specifications", Constance Heitmeyer, Bruce Labaw, Daniel 
Kiskis

Panel 2: "How Can We Do Real Experiments in 
Requirements Engineering?"

Moderator: Kevin Ryan

Day 2 - Tuesday 28 March 1995

9:15-10:30

Invited speaker: "Evolution and Procurement", David Thewlis

10:30-11:00

Coffee

11:00-12:30

Papers 3: Reports on the State of Practice

"Requirements Engineering Practices in Information Systems 
Development:  A Multiple Case Study", Khaled El Emam, 
Nazim Madhavji

"Specification of Customer and User Requirements in 
Industrial Control System Procurement Projects", Patrik 
Forsgren, Tomas Rahkonen

"Implementing Requirements Traceability--A Case Study", 
Bala Ramesh, Timothy Powers, Curtis Stubbs, Michael 
Edwards

Mini-tutorial 1:

"Applications of Normative Reasoning" Marek Sergot

12:30- 14:00

Lunch

14:00- 15:30

Papers 4: Traceability

"Contribution Structures", Orlena Gotel, Anthony Finkelstein

"A Client Oriented Baseline for Requirements Traceability", 
Julio Leite, Antonio Oliveria

"Requirements Traceability in an Integrated Development 
Environment", Ian Macfarlane, Ian Reilly

Working group 1:

"Education in Requirements Engineering"

Moderator: John Mylopoulos

Working group 2:

"Invented Requirements and Imagined Customers:  
Requirements Engineering for Off-the-Shelf Software"

Moderator: Colin Potts

15:30- 16:00

Coffee

16:00- 17:30

Papers 5: Evolution and Reuse

"Using Non-Functional Requirements to Systematically 
Support Change", Lawrence Chung, Brian Nixon, Eric Yu

"Requirements Monitoring in Dynamic Environments", 
Stephen Fickas, Martin Feather

"How People Categorise Requirements for Reuse: A Natural, 
Approach", N. A. M. Maiden, P. Mistry, A. G. Sutcliffe

Panel 3: "Integrated Requirements Analysis and 
Safety Analysis"

Moderators: Joanne Atlee and John McDermid

Day 3 - Wednesday 29 March 1995

9:15-10:30 

Invited speaker: 'Challenges in Requirements Engineering', 
Professor Janis Bubenko

10:30-11:00

Coffee

11:00-12:30

Papers 6: Formal Modeling

"Enhancing Soft Systems Analysis with Formal Modelling", 
D. W. Bustard, P. J. Lundy

"An Evaluation of Inquiry-Based Requirements Analysis for 
an Internet Service", Colin Potts, Kenji Takahashi, Jeffrey 
Smith, Kenji Ota

"Improving Legibility in Specification Languages: The 
Parsing Problem", J.-P. Jacquot, A. Valdenaire

Mini-tutorial 2:

"Ethnography by Video for Requirements Capture", Marina 
Jirotka, Christian Heath

12:30- 14:00

Lunch

14:00- 15:00

Papers 7: Overviews

"Goal-Directed Elaboration of Requirements for a Meeting 
Scheduler:  Problems and Lessons Learnt", Axel van 
Lamsweerde, Robert Darimont, Philippe Massonet

"Measuring the Success of Requirements Engineering 
Processes", Khaled El Emam, Nazim Madhavji

Working group 3:

"What Is Missing in Requirements-Engineering Research?"

Moderator: Pamela Zave

15:00- 15:30 

Program Chair's summary of the programme and 
announcement of future events

15:30-16:00

Coffee

~~~~~~~~~~~~~~~~~~~~~~~~~~~
Social Programme:...

Sunday 26 March - Welcome reception
Sherry reception to be held at 18:30 in the University's main 
building, Heslington Hall.

Monday 27 March - Conference dinner
The conference dinner will be held at the National Railway 
Museum in York.

Delegates will have the opportunity of a private visit to this 
historic museum prior to the meal. Many famous exhibits 
including Stephenson's "Rocket", the  "Mallard" and Queen 
Victoria's Royal Coach will be on show. The five course 
dinner including wine will be served on the re-created 
platforms amongst the exhibits. The Inter-City Brass Band 
will provide the final touch of Yorkshire ambience.

Tuesday 28 March - Brewery visit
Visit one of our famous local ale producing centres, Samuel 
Smith's brewery, at Tadcaster, and sample some traditional 
Yorkshire beer.

The cost will include transport to and from Tadcaster, a 
guided tour of the  brewery and dray horse stables, in small 
groups, followed by a free pint at the brewery bar afterwards.
Please note this social event is limited to a maximum of 50 
participants.

Booking terms and conditions:...
The cost of registration includes: the conference welcome 
reception, coffee/tea and lunch for each day of the conference 
plus the Monday night conference dinner.

The campus accommodation is available for the nights of the 
26th, 27th and 28th March, in one of the University's on-site 
colleges providing bed and breakfast and evening meal. 
Attendees can pay a supplement for en-suite bathroom 
facilities and those with accompanying partners may also book 
a twin room.

Charging rates:
The advance booking rate is open to all bookings postmarked 
before 13 February 1995. Late bookings must be received by 
Monday 20 March 1995, although as places are limited please 
try to ensure your booking reaches us as early as possible.

The member rate is open to members of the IEEE, ACM 
SIGSOFT or IFIP Working Group 2.9. To claim the 
discounted rate, you must specify your society and 
membership number on the booking form.

The discounted rate is available to full-time students. In order 
to claim this discount, copy of proof of status must be 
included with the booking.

A refund (less #25 administrative charge) will be made on 
cancellation of any booking  provided it is received by the 
organisers by 20 February 1995. Thereafter the full amount 
paid will be forfeited. Substitutions may be made any time up 
to the beginning of the conference.

Other bookings:

For details of alternative accommodation, please see the 
RE'95 World Wide Web page (which can be found at 
http://www.cs.uoregon.edu/~fickas/re95.html) or contact 
Maggie Burton at:

University of York, 
Department of Computer Science
tel: +44 1904 432721
fax: +44 1904 432767
email: re95@minster.york.ac.uk


The location:
 
A Brief Overview
The University of York was founded in 1963 with 200 
students in two city-centre locations and at Heslington Hall 
(now the central administrative building and focus of a 
purpose built campus). It has since expanded to 5,000 
students, 21 academic departments and four research 
institutes.

The Departments
From its inception, the University has concentrated on strong 
viable departments and teaching and research of the highest 
quality.  In spite of its small size, it is rated as one of 
the top ten universities in the United Kingdom.  In the 
research rating exercise carried out in 1992 by the 
Government's Universities Funding Council, research in British 
universities was rated from 1 to 5.  All of York's departments 
were given a rating of 3 or over, and four departments - Economics, 
Computer Science, Psychology and Social Policy - achieved the 
accolade of a top rating of 5, signifying research work of 
international excellence.


The Campus
The campus is well-known for its lake and wildfowl.  Its 
pleasant setting and proximity to the historic city of York 
makes the University a popular conference venue.  About 
40,000 people visit the University for conferences each year.

The City of York
The city of York offers something for everyone. The second 
most visited tourist city in Britain, it is renowned as a major 
historic centre.

An important political, cultural, religious and trading centre 
since Roman times, York retains an impression of every age, 
from the encircling walls, through the winding medieval 
streets to the elegant Georgian townhouses. Its busy 
"footstreets" radiate from the dominant Minster - the largest 
medieval cathedral in Europe. York's importance as a 
medieval city is inescapable - not least in the street 
terminology. Here, streets are gates (as in Micklegate, home 
of the University's Archaeology department, and most notably 
in Whip-Ma-Whop-Ma-Gate, the shortest street with the 
longest name); gates are bars (Monk Bar, Bootham Bar are 
two of the four) - the ancient defensive ports of entry to the 
walled city; and bars, of course, are pubs - there is supposed 
to be one for every day of the year.

Beyond York lies some of Britain's most impressive 
countryside with a great many places of natural beauty and 
historic interest. Immediately around the city is the great plain 
of York, well worth exploring for its attractive villages and 
slow, lazy rivers.

Further afield, to the north lie the Pennine Dales and the 
North York Moors national parks, and to the east the fishing 
villages and resorts of the coast, while to the west are the 
larger cities of Leeds and Bradford.
 

Travel to York
Situated almost exactly half way between London and 
Edinburgh, York is easy to reach from anywhere in the 
country. Intercity trains from London take under two hours; 
two and a half from Edinburgh. York is also well served by 
road links, being close to the A1 and the M62. For those 
travelling from overseas, Heathrow airport can be reached in 
three and a half hours, and Manchester airport in two hours. 
Ferries from Hull provide easy links to mainland Europe.

Small Print:
The organisers RE'95
General Chair: Michael Harrison
University of York, UK

Program Chair: Pamela Zave
AT&T Bell Laboratories, US

Doctoral Consortium Chair: Anthony Finkelstein
City University, UK

Publicity Chair: Laurence Brooks
University of York, UK

Local Arrangements Chair: Chris Johnson 
University of Glasgow, UK

Finance Chair: Jonathan Moffett
University of York, UK

Exhibits Chair: Simon Buckingham Shum
University of York, UK

Social Events Chair: Peter Wright
University of York, UK

Email contact for all the above: re95@minster.york.ac.uk

Program Committee:
William Agresti, MITRE (USA)
Mack Alford, Ascent Logic (USA)
Mark Ardis, AT&T Bell Laboratories (USA)
Andre Arnold, Universite de Bordeaux (France)
Joanne Atlee, University of Waterloo (Canada)
David Barstow, Schlumberger Laboratory for
Computer Science (France)
Janis Bubenko, Swedish Institute for Systems
Development (Sweden)
Alan Davis, University of Colorado (USA)
Martin Feather, USC Information Sciences Institute (USA)
Stephen Fickas, University of Oregon (USA)
David Garlan, Carnegie Mellon University (USA)
Joseph Goguen, University of Oxford (UK)
Sol Greenspan, GTE Laboratories (USA)
Anthony Hall, Praxis Systems (UK)
Ian Hayes, University of Queensland (Australia)
Hisayuki Horai, Fujitsu Laboratories (Japan)
Daniel Jackson, Carnegie Mellon University (USA)
Matthias Jarke, RWTH Aachen (Germany)
Lalita Jategaonkar Jagadeesan, AT&T Bell
Laboratories (USA)
Lewis Johnson, USC Information Sciences Institute (USA)
Julio Cesar Leite, PUC-Rio (Brazil)
Robyn Lutz, Jet Propulsion Laboratory (USA)
Tom Maibaum, Imperial College (UK)
John McDermid, University of York (UK)
John Mylopoulos, University of Toronto (Canada)
Colin Potts, Georgia Institute of Technology (USA)
Howard Reubenstein, MITRE (USA)
Dieter Rombach, Universitaet Kaiserslautern (Germany)
Kevin Ryan, University of Limerick (Ireland)
Jawed Siddiqi, Sheffield Hallam University (UK)
Alistair Sutcliffe, City University of London (UK)
Axel van Lamsweerde, Universite Catholique de
Louvain (Belgium)
Kiem-Phong Vo, AT&T Bell Laboratories (USA)
Rebecca Wirfs-Brock, Digitalk (USA)


Further details
Further details of the conference are available by:

email to re95@minster.york.ac.uk, or 

in the file advprog.ps available by anonymous ftp from 
ftp.cs.york.ac.uk, or 

on World Wide Web at http://www.cs.uoregon.edu/~fickas/re95.html

And Finally ...

If you already have a copy of this advance programme, please 
pass this copy onto a colleague who you think might be 
interested in the conference. Thank you from all at RE'95

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Registration Form
 
University of York
27-29th March 1995 

Please complete one form per delegate, photocopies are 
acceptable. 

All prices are quoted in pounds sterling (#).

A refund (less #25 administrative charge) will be made on 
cancellation of any booking, provided it is received by the 
organisers by 20 February 1995. Thereafter the full amount 
paid will be forfeited. Substitutions may be made any time up 
to the beginning of the conference.

For booking terms and conditions please see before.

Participant (please complete in block capitals)

Title: Prof, Dr, Ms, Mr, Mrs ______________________

Surname: __________________________________________

First Name: _______________________________________

Position: _________________________________________

Organisation: _____________________________________

___________________________________________________

___________________________________________________

___________________________________________________

Address: __________________________________________

___________________________________________________

___________________________________________________

___________________________________________________

___________________________________________________

Telephone: ________________________________________

Facsimile: ________________________________________

Email: ____________________________________________

Special dietary
requirements: _____________________________________


Member      _________
Non-member  _________
Student     _________
(Please indicate as appropriate)

Advance booking:
(by 13 February 1995)

Member     #350  ___
Non-member #450  ___
Student    #350  ___
(Please indicate as appropriate)

Late/on-site booking:
(after 13 February and before 20 February 1995)

Member     #425  ___
Non-member #525  ___
Student    #425  ___
(Please indicate as appropriate)

IEEE, ACM SIGSOFT, or 
IFIP WG 2.9 membership 
number ___________________________________________

Included in the conference fee is the welcome reception, 
coffee/tea and lunch for each full day of the conference plus 
the conference dinner.


I have read and agreed to the terms and conditions (given above)
and I apply for a place at RE'95.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Accommodation Booking Form
 
University of York
27-29th March 1995 

Please complete this form, one per delegate, if you wish to 
book accommodation on the University campus.

If you wish to stay in York outside the campus, please contact 
Maggie Burton for details of other places to stay.

Campus Accommodation* Required:

Night 26/27 March

Single Room                     #28.40 ___
Single plus en-suite supplement #36.05 ___
Double Room                     #56.80 ___


Night 27/28 March (excl. evening meal)

Single Room                     #20.85 ___
Single plus en-suite supplement #28.50 ___
Double Room                     #41.70 ___

Night 28/29 March

Single Room                     #28.40 ___
Single plus en-suite supplement #36.05 ___
Double Room                     #56.80 ___

(Please indicate as appropriate)

=================
 Total: #
=================

Social Events

Would you like to join us on the visit to Sam Smith's brewery 
(max 50 places)? ______________ (add #5.50 to total) 

Would you like a guest/partner to attend the conference 
dinner? __________ (add #30.00 to total)

Payment:

Total charge: #

I enclose a cheque in # Sterling, drawn on a UK bank #
I enclose a bank draft in # Sterling                 #
Please invoice my organisation                       #

Notes:
All payments should be made payable to the University of 
York, by cheque drawn on a UK Bank or by Eurocheque 
(which must not exceed #700 sterling).

Official orders from UK establishments are acceptable 
provided that the actual order, not just the order number, is 
sent. 

Payment may also be made by bank transfer to:
Midland Bank
Parliament Street, York, UK
Account no: 2089 8201
Sort code: 40 47 31
Reference: Computer Science RE95 06C10153

To avoid your bank transfer payment going astray it is 
essential both to include the above reference with it and to 
send separate advice of payment with this booking form.

Information:
This form should be returned to :

Maggie Burton, 
Department of Computer Science, 
University of York, 
York, 
YO1 5DD, 
UK.

Tel: +44 1904 432721; Fax: +44 1904 432767

Email: RE95@minster.york.ac.uk


* Included in the cost of each room is bed, breakfast and evening meal 
  (except where specified).