lacroix@prlb2.UUCP (Michel Lacroix) (07/15/89)
ESEC'89 - 2nd EUROPEAN SOFTWARE ENGINEERING CONFERENCE
Monday 11 - Friday 15 September, 1989
University of Warwick, Coventry, England
R E G I S T R A T I O N L E A F L E T
Tutorials: 11-12 September 1989
Conference: 13-15 September 1989
Exhibition: 13-15 September 1989
Supported by: AFCET, AICA, ATI, BCS, GI, SI
Organised by: British Informatics Society Ltd (BISL)
CONFERENCE ORGANISATION
=======================
EXECUTIVE CONFERENCE CHAIRMAN
John A McDermid, University of York (UK)
PROGRAMME COMMITTEE CHAIRMAN
Carlo Ghezzi, Politecnico di Milano (Italy)
PROGRAMME COMMITTEE MEMBERS
D Bj|rner (Denmark) D Mandrioli (Italy)
S Bologna (Italy) J McDermid (UK)
J-Ph. Bourguignon (France) B Meyer (France)
G Bruno (Italy) J Musa (USA)
J Buxton (UK) M Nagl (F R Germany)
R Conradi (Norway) F Orejas (Spain)
V Donzeau-Gouge (France) L Osterweil (USA)
A Endres (F R Germany) J-C Rault (France)
J P Finance (France) O Roubine (France)
P Hruschka (F R Germany) M Sintzoff (Belgium)
L A Jackson (UK) I Sommerville (UK)
A van Lamsweerde(Belgium) W Tichy (F R Germany)
J Lavi (Israel) R Witty (UK)
K-P Loehr (F R Germany) J Witt (F R Germany)
ORGANISING COMMITTEE CHAIRMAN
B Meyer, Interactive Software Engineering Inc (USA)
ORGANISING COMMITTEE VICE CHAIRMAN
A van Lamsweerde, University of Namur (Belgium)
CONFERENCE SECRETARIAT
ESEC'89
British Informatics Society Ltd (BISL)
Conference Department
13 Mansfield Street
London W1M 0BP
UK
Tel: +44 1 637-0471
Fax: +44 1 631-1049
ABOUT ESEC
----------
The second European Software Engineering Conference follows the
meeting held in Strasbourg in 1987. It will consolidate the role of
ESEC as an exciting meeting point of software professionals. Consumers
and producers of software engineering technology will meet to illustrate
and debate the new concepts, methods, tools and practices emerging in
software engineering and to report on practical experience with
state-of-the-art methods and tools.
ESEC'89 PROGRAMME
=================
MONDAY, 11 September, 1989 - TUTORIALS
12.00-12.30 Tutorial Registration commences
12.30-14.00 Buffet Lunch
14.00-17.30 Tutorials 1, 2 and 3 (in parallel)
1 Alexander Waibel, CMU, USA: "Neuro Computing and Software
Engineering"
2 Jacky Estublier, LGI, France: "Version and Configuration
Management"
3 Mark Rafter, Univ. Warwick, UK: "Object Oriented Programming
and C++"
15.30-16.00 BREAK for all these
TUESDAY, 12 September, 1989 - TUTORIALS (continued)
09.00-12.30 Tutorials 4, 5 and 6 (in parallel)
4 Mark A Ardis, CMU, USA: "Formal Methods in Software
Engineering"
5 Klaus Dittrich, Univ. Zuerich, "Database Technology for
Switzerland and FZI Karlsruhe, Software Enginering
F R Germany: Environments"
6 Nancy Leveson, UCI, USA: "Software Safety"
12.30-14.00 LUNCH for all these
14.00-17.30 Tutorials 4, 5 and 6 continue, Conference Registration Commences
Evening: Civic Reception
WEDNESDAY, 13 September, 1989 - CONFERENCE
08.00-09.30 Conference Registration continues
09.30-10.00 Opening Address by Carlo Ghezzi, Politecnico di Milano (Italy)
10.00-11.00 Keynote 1 (chair: Carlo Ghezzi, Politecnico di Milano, Italy)
Richard Berg, Logica, UK:
"Challenges for the European Software Industry in 1992"
11.00-11.30 Refreshments
11.30-12.30 Invited speaker 1 (chair: John Musa, AT&T Bell Labs, USA)
Gilles Kahn, INRIA - Sophia Antipolis, France:
"Research problems for software development environments"
12.30-14.00 LUNCH
14.00-15.00 Invited speaker 2 (chair: Leon Osterweil, UCI, USA)
David Barstow, Schlumberger Laboratory for Computer Science, USA:
"Automatic programming for device control software"
15.00-16.00 Parallel Session 1A: "Measurements"
(chair: L A Jackson, British Telecom, UK)
H Rombach, University of Maryland, USA:
"The role of measurement in ISEE's"
D C Ince, Open University and M I Sheppard, The
Polytechnic, Wolverhampton, UK:
"An empirical and theoretical analysis of an information
flow-based metric"
15.00-16.00 Parallel Session 1B: "Software Process Modelling"
(chair: Leon Osterweil, UCI, USA)
W Deiters and W Schaefer, Software Technology Center;
V Gruhn, University of Dortmund, F R Germany:
"Systematic development of formal software process models"
Pasquale Armenise, Ingeniera Information SpA, Italy:
"Software process machines; a framework for future SDEs"
16.00-16.30 Refreshments
16.30-18.00 Parallel Panel 1 on "Software Engineering Databases"
(organiser: Reidar Conradi, Norwegian Inst. of Techn.)
Probable participants: John Cartmell, Klaus Dittrich,
Peter Hitchcock, Michel Lacroix, Leon Osterweil.
16.30-18.00 Parallel Panel 2 on "Software Re-use: What and How?"
(organiser: Albert Endres, IBM, F R Germany)
Participants to include Bertrand Meyer, D Brueck,
Martin Wirsing and Ian Sommerville.
Evening: No Formal Activities planned
THURSDAY, 14 September, 1989 - CONFERENCE (continued)
08.30-09.30 Invited speaker 3 (chair: Albert Endres, IBM, F R Germany)
Martin Wirsing, University of Passau, F R Germany:
"Menue: an exercise in revising formal specifications"
09.30-10.30 Parallel Session 2A: "Practical Experience with Formal Methods"
(chair: Dino Mandrioli, Politecnico di Milano)
J B Wordsworth, IBM Laboratories Ltd, UK:
"Practical experience of formal specifications: a programming
interface for communications"
M T Norris and S G Stockman, British Telecom Research
Laboratories, UK:
"Industrialising formal methods for telecommunications"
09.30-10.30 Parallel Session 2B: "Software Configuration Management"
(chair: Walter F Tichy, University of Karlsruhe, F R Germany)
D Nardi and M Tucci, Universita di Roma, Italy:
"An application of the event calculus for representing the
history of a software project"
A Lie, T Didriksen, R Conradi and E-A Karlsson, Norwegian
Institute of Technology; S-O Hallsteinsen and P Holager,
ELAB-RUNIT, SINTEF, Norway:
"Change Oriented Versioning"
10.30-11.00 Refreshments
11.00-12.30 Parallel Session 3A: "Formal Approaches"
(chair: Jean-Pierre Finance, CRIN, France)
Alan Dix, University of York, UK:
"Software engineering implications for formal refinement"
R N Shutt, Plessey Research Roke Manor Ltd, UK:
"A rigorous development strategy using the OBJ specification
language and the MALPAS program analysis tools"
R B France and T W G Docker, Massey University, New Zealand:
"Formal specification using structured analysis"
11.00-12.30 Parallel Session 3B: "Tools and Environments"
(chair: Peter Hruschka, GEI, F R Germany)
M Lacroix and M Vanhoedenaghe, Philips Research Laboratory,
Belgium:
"Tool integration in an open environment"
M Fastenbauer and H Saria, Alcatel ELIN, Austria:
"HCDM/GSDS - A design environment for real-time software
with automatic program generation"
Herbert Goettler, University of Erlangen-Nuernberg, F R Germany:
"Graph Grammars, A New Paradigm for Implementing Visual
Languages"
12.30-14.00 LUNCH
14.00-15.00 Invited speaker 4 (chair: R W Witty, Rutherford Appleton Lab., UK)
Martyn Thomas, Praxis Systems plc, UK:
"State of the art in safety related systems"
15.00-15.30 Refreshments
15.30-17.00 Parallel Session 4A: "Software Metrics"
(chair: Robert W Witty, Rutherford Appleton Lab., UK)
Margaret Myers, Polytechnic of the South Bank, UK:
"Structural modelling of Prolog for metrication"
H-L Hausen, GMD, F R Germany:
"Rule-based modelling of software quality and productivity"
15.30-17.00 Parallel Session 4B: "Software Configuration Management"
(chair: Reidar Conradi, Norwegian Inst. of Techn.)
R Adams, A Weinert and W F Tichy, University of Karlsruhe,
F R Germany:
"Software change dynamics or half of all Ada compilations are
redundant"
F Oquendo, K Berrada, F Gallo, R Minot and I Thomas,
GIE Emeraude, France:
"Version management in the PACT integrated software environment"
Evening: Conference Dinner; Coaches depart from Rootes Building at 19.00
FRIDAY, 15 September, 1989 - CONFERENCE (continued)
08.30-09.30 Invited speaker 5 (chair: Klaus-Peter Loehr, Techn. Univ. Berlin)
Christiane Floyd, Technische Universitaet Berlin, F R Germany:
"User co-operation"
09.30-11.00 Parallel Session 5A: "Requirements Engineering"
(chair: Axel van Lamsweerde, University of Namur, Belgium)
F Manfredi, G Orlando and P Tortorici, CRAI, Italy:
"An object-oriented approach to system analysis"
C Niskier and T Malbaum, Imperial College of Science and
Technology, UK:
"A pluralistic knowledge-based approach to software
specification acquisition"
G Bruno and M Baldassari, Politecnico di Torino;
V Russi and R Zompi, Ing. C Olivetti & Co SpA, Italy:
"PROTAB: a hierarchical object oriented CASE tool for
distributed systems"
09.30-11.00 Parallel Session 5B: "Analysis and Validation"
(chair: Klaus-Peter Loehr, Techn. Univ. of Berlin)
E H Spafford, Purdue University, USA:
"The Internet worm program; an analysis"
S Morasca and M Pezze, Politecnico di Milano, Italy:
"Validation of concurrent ADA programs using symbolic execution"
R Lewis, British Telecom Research Laboratories;
J Hartman and J Robson, University of Durham, UK:
"Assay - A tool to support regression testing"
11.00-11.30 Refreshments
11.30-12.30 Keynote 2 (chair: Bertrand Meyer, ISE, USA)
Barry Boehm, TRW Defence Systems Group, USA:
"Software Risk Assessment"
12.30-14.00 LUNCH
13.00- Coach departs from Rootes Building arrives Birmingham International
at approximately 13.30
REGISTRATION FOR THE CONFERENCE
===============================
Registrations received before 28 July 1989 will be entitled to
reduced registration fee - see the registration form for details.
CONFERENCE PACKAGE
------------------
(A) Residential fees include bed and breakfast on 12 to 14 September
inclusive, lunch and refreshments 13 to 15 September inclusive, dinner
on 12 and 13 September, entrance to the exhibition, a preliminary copy
of the Proceedings and all other conference documentation.
(B) Non-residential fees include: lunch and refreshments 13 to 15
September inclusive, entrance to the exhibition, a preliminary copy of
the Proceedings and all other conference documentation.
CONFERENCE DINNER
-----------------
(G) Tickets for the Conference Dinner on Thursday 14 September may be
purchased at 30 pounds per head including VAT. Delegates are advised
to book early as places are limited. Please see the Social Programme
section for details.
TUTORIALS
---------
A number of options are available, please complete the registration form
as appropriate.
(C) The half-day fee includes attendance at the chosen tutorial,
afternoon refreshments and tutorial documentation.
(D) The full-day fee includes attendance at the chosen tutorial,
lunch, morning and afternoon refreshments, and tutorial documentation.
(E) The day and a half fee includes attendance at the chosen tutorials,
lunch, morning and afternoon refreshments as appropriate, and
tutorial documentation.
EXTRA ACCOMMODATION
-------------------
(F) If you require accommodation in addition to that provided in the
Conference Residential Package, please complete the relevant section
of the Conference Registration Form. Unless otherwise stated the
residential rates include dinner, bed and breakfast.
Accommodation for accompanying persons is available; there are no
double rooms available but as far as possible adjacent rooms will be
provided. Please indicate your requirements on the registration form.
.......................................................................
! ENSUITE FACILITIES !
! A limited number of bedrooms with ensuite facilities are available. !
! These will be allocated on a first come first served basis. !
! EARLY BOOKING IS RECOMMENDED. !
.......................................................................
DISCOUNTS
---------
Member Category is open to members of the British Computer Society and
the organisations sponsoring ESEC'89: AFCET, AICA, ATI, GI, SI.
Please quote your membership number when booking.
Students are able to book place for the conference at a reduced rate.
There are no reductions available for students attending the tutorials only.
WHEN MAKING BOOKINGS, STUDENTS MUST ENCLOSE PROOF OF FULL-TIME
STUDENT STATUS, E.G. LETTER FROM THE HEAD OF DEPARTMENT.
BOOKING AND PAYMENT
-------------------
To reserve a place at the ESEC'89 please complete the enclosed registration
form and return it together with your remittance to the Conference
Administrators at BISL. Payment should be cheque or money order payable
to the BRITISH INFORMATICS SOCIETY LTD, drawn in pounds sterling at
a UK clearing bank or by credit transfer to the following account:
Lloyds Bank
Langham Place Branch
324 Regent Street
London W1, UK
Account No. 0416845
Sorting code: 30 94 87 (id of branch office)
If registration fees are paid by credit-transfer, copy of proof of transfer
must accompany the registration form for the booking to be accepted.
A receipt will be sent with confirmation of the booking.
BOOKINGS CANNOT BE ACCEPTED WITHOUT PAYMENT.
CANCELLATION
------------
Cancellation of a booking will be accepted provided it is received
by the organisers in writing no less than 21 days prior to the event.
There will be a 30 pounds handling charge made in all cases of
cancellation. Substitutions may be made.
CONFERENCE ADMINISTRATION
-------------------------
All the administration for the conference is being handled by the British
Computer Society Conference Department trade name "British Informatics
Society Ltd" or "BISL".
AT THE CONFERENCE
-----------------
The conference, exhibition and tutorials will take place at the University
of Warwick on the outskirts of Coventry. The Conference Desk will be open
from noon on Monday 11 September and will remain open throughout most of
the event.
The Conference Language will be English and there will be no translation
service.
THE EXHIBITION
--------------
An extensive exhibition will be open from Wednesday 13 September to Friday
15 September inclusive. The opening will be as follows:
13 September 10.30-19.00 hours
14 September 09.00-18.00 hours
15 September 09.00-13.00 hours
FOR FURTHER INFORMATION CONTACT BISL.
SOCIAL PROGRAMME
----------------
Tuesday 12 September - Civic Reception
Thursday 14 September - Conference Dinner
The Conference Dinner will be held at the Botanical Gardens,
Birmingham on the evening of Thursday 14 September. Tickets cost
30 pounds including wine with the meal and drinks on arrival.
Return transport will be provided.
Information concerning local attractions will be available from the
Conference Registration desk.
LOCATION - HOW TO REACH THE UNIVERSITY OF WARWICK
-------------------------------------------------
The University of Warwick is in the heart of England, and is easy
accessible from most major cities. It lies 160 km northwest of London.
The location of the University, 3 miles from Coventry, means that it
enjoys the advantages of both city and countryside.
Warwickshire contains attractive scenery and nearby towns such as
Kenilworth. Leamington Spa, Warwick and Stratford-upon-Avon are of
considerable historical and cultural interest.
By Road - Coventry lies at the hub of Britain's motorway system. The A45,
which passes close to the University, links directly with the M1,
M6 and M45. From London Heathrow: take M-25, then M-1 and M-6.
By Rail - Frequent Inter-City services run from Coventry to London Euston
or Paddington stations (75 minutes) and Birmingham (17 minutes).
A coach shuttle will transfer delegates between Coventry station
and the University. Details will be provided in Delegates' joining
instructions.
By Air - There is easy access by road and rail to Birmingham International
Airport (12 miles) and Coventry - Bagimton Airport.
PLEASE NOTE
-----------
1. Registrations: Please complete one registration form per delegate.
Photocopies of the original one are acceptable. You are advised to read
the detailed notes provided in the section headed REGISTRATION FOR THE
CONFERENCE, before completing your registration form.
Confirmation of booking: a receipt invoice will be dispatched on receipt
of your booking.
2. Tax: All prices are inclusive of UK taxes.
3. Return the registration form with payment to BISL.
------- Start of ESEC'89 Delegate Registration Form ---------------------------
ESEC'89 DELEGATE REGISTRATION FORM
==================================
Please complete as appropriate and return to:
ESEC'89, BISL Conference Department,
13 Mansfield Street, London W1M OBP, UK
Tel: +44 1 637-0471, Fax: +44 1 631-1049
PERSONAL DETAILS
===========================================================================
Prof/Dr/Mr/Mrs/Ms/Miss First name:______________________________________
Family Name:_____________________________________________________________
Organisation:____________________________________________________________
Postal address:____________________________________ Tel:_________________
___________________________________________________ Telex:_______________
___________________________________________________ Fax:_________________
Email:___________________________________________________________________
Postcode:_______________________ Country:________________________________
SPECIAL NEEDS
Please detail: (e.g. disability, dietary, etc.)__________________________
===========================================================================
ALL BELOW PRICES ARE IN GBP (pounds sterling).
CONFERENCE PACKAGE, 13-15 September 1989
===========================================================================
Please indicate amount under item A or B for one person.
(A) I would like to apply for one RESIDENTIAL place as follows:
Fee VAT Total
Member (before 28/7/89) 400.00 60.00 460.00 ________________
Member (after 28/7/89) 450.00 67.50 517.50 ________________
Non-Member (before 28/7/89) 450.00 67.50 517.50 ________________
Non-Member (after 28/7/89) 500.00 75.00 575.00 ________________
Speaker/Committee 250.00 37.50 287.50 ________________
Student 200.00 30.00 230.00 ________________
(B) I would like to apply for one NON-RESIDENTIAL place as follows:
Fee VAT Total
Member 400.00 60.00 460.00 ________________
Non-Member 450.00 67.50 517.50 ________________
===========================================================================
CONFERENCE DINNER, 14 September 1989
===========================================================================
(G) I require _________ place(s) at the Conference Dinner:
Fee VAT Total Total * #places
Rate per person 26.09 3.91 30.00 ________________
===========================================================================
TUTORIALS, 11-12 September 1989
===========================================================================
Please indicate amount and tick under item C, D or E for one person.
Extra accommodation may be ordered under item F.
(C) Half-day attendance, 11 September:
Fee VAT Total
75.00 11.25 86.25 ________________
I wish to attend Tutorial: 1 ( ) 2 ( ) 3 ( )
(Tick as appropriate)
(D) Full-day attendance, 12 September:
Fee VAT Total
125.00 18.75 143.75 ________________
I wish to attend Tutorial: 4 ( ) 5 ( ) 6 ( )
(Tick as appropriate)
(E) Day and a half attendance, 11-12 September:
Fee VAT Total
175.00 26.75 201.75 ________________
I wish to attend Tutorials: 1 ( ) 2 ( ) 3 ( ) and
(Tick as appropriate) 4 ( ) 5 ( ) 6 ( )
===========================================================================
EXTRA ACCOMMODATION FOR TUTORIAL ATTENDEES AND OTHERS (*)
===========================================================================
(*) As far as possible, accommodation for accompanying persons will be
provided in an adjacent room. DOUBLE ROOMS ARE NOT AVAILABLE.
(F) I require the following extra accommodation: For each night,
Night Fee VAT Total Total * #persons
10/11 September 20.00 3.00 23.00 ________________
11/12 September 20.00 3.00 23.00 ________________
12/13 September 20.00 3.00 23.00 ________________
13/14 September 20.00 3.00 23.00 ________________
14/15 September (no dinner) 14.00 2.10 16.10 ________________
TOTAL AMOUNT DUE for extra accommodation ________________
===========================================================================
DECLARATION
===========================================================================
See section headed REGISTRATION FOR THE CONFERENCE for details of
packages and terms and conditions of bookings.
I have read your previous terms and apply for a place at ESEC'89.
My ESEC'89 reservation is as follows, in GBP:
(A/B) Conference Package _______________
(G) Conference Dinner _______________
(C/D/E) Tutorials _______________
(F) Extra Accommodation _______________
TOTAL AMOUNT DUE incl. VAT (see enclosed cheque) _______________
Signature ________________________________________ Date _______________
I enclose a cheque for GBP ____________ in pounds sterling drawn on a
UK bank and payable to the British Informatics Society Ltd (BISL).
(VAT Registration No. 404482864.)
PLEASE SIGN THIS DECLARATION.
===========================================================================
PLEASE SEND PAYMENT WITH BOOKING.
PLEASE KEEP A COPY OF THIS FORM FOR YOUR RECORDS.
If any details should change after sending in your form,
please inform the organisers as soon as possible.