From: brianm@cs.man.ac.uk (Brian Monahan)
Newsgroups: uk.events,comp.specification,comp.specification.z,comp.lang.functional,comp.theory,comp.software-eng
Subject: BCS-FACS : Christmas Workshop Programme
Date: 14 Dec 92 10:31:48 GMT
Followup-To: uk.events
Distribution: uk
Organization: Dept Computer Science, University of Manchester, U.K.

BCS -- Formal Aspects Of Computing Science -- Special Interest Group


		   The 1992 BCS-FACS Christmas Workshop


		   Turning a Formal Eye on Requirements


		 Imperial College, Department of Computing
                 180, Queens Gate, Kensington, LONDON, SW7 2BZ
                            UNITED KINGDOM

			    16-17th December 1992



   The workshop aims to survey the current state of R&D in the
   requirements engineering stage of the development of
   software-intensive systems; the elicitation of requirements, how they
   are expressed and how they are analysed.

   Included are reports of on-going research; perspectives on industry
   developments and related problems. It is intended to encompass a
   variety of different approaches being persued in this problematic
   area.


   Final Programme
   ===============

   Wednesday, 16th December 1992:

      9:30 Registration

      10:00 	Tom Maibaum, Imperial:
                       Formalization of the Engineering Process

      10:45	John Cooke, Loughborough:
                       Turning a Formal Eye on Requirements

      11:30	Anthony Hall, Praxis:
                       Use of Formal Methods in defining requirements
                       for air traffic control

      12:30	Lunch

      2:00	Sara Jones, City University:
                       The G-MARC project

      2:45	Albert Camilleri, HP Research:
                       Theorem proving as an Industrial tool for
                       System-level Design

      3:30	Break

      3:45	Axel van Lamweerder, Louvain University:
                       The ESPRIT project ICARUS

      5:00	(Approx) Finish


   Thursday, 17th December 1992:

      9:00	Anthony Finkelstein, Imperial:
                       Methodology in Formal Requirements Capture

      9:45	Matthew Bickerton, Oxford Centre for Requirements

      10:30 	Break

      11:00	British Aerospace Dependable Systems Centre, Newcastle & York

		Tom Anderson, University of Newcastle:
                       Introduction & Overview

		Andy Coombes, University of York:
                       High Level Requirements Modelling: A Causal
                       Approach

		Rogerio de Lemos, University of Newcastle:
                       Methodology for Requirements Analysis of
                       Process Control Systems

      12:30	Lunch

      2:00	Bill Quirk, Imperial:
                       Experience of the FOREST project

      2:45	To Be Announced ...

      3:30	Summing up

      4:00	Depart


//////////////////////////////////////////////////////////////////////////////

     The cost for attending the meeting will be:


	(paid up) FACS or BCS Members  - 110 pounds sterling

	Standard rate                  - 150 pounds sterling

     This covers lunch, morning coffee and afternoon tea, but _excludes_
     any overnight accommodation.

     All prices include VAT at 17.5%.

     *IMPORTANT NOTE*
           As catering arrangements have now been fixed, we cannot
           guarantee late registrants a place for lunch on each day
           (discount available).

     Please direct all further enquiries to:

	   BCS-FACS, c/o Department of Computer Studies
	   University of Technology, Loughborough
           Leics, LE11 3TU, UNITED KINGDOM

	   FAX: 0509 211586
           E-mail: FACS@lut.ac.uk
--
///////////////////////////////////////////////////////////////////////
                                    /
   Dr. Brian Monahan                /
                                    /
   Department of Computer Science   /   E-mail    : brianm@cs.man.ac.uk
   The University of Manchester     /               bqm@cs.man.ac.uk
   Oxford Road                      /   Phone     : (+44)-61-275-6137
   Manchester M13 9PL               /   (New) FAX : (+44)-61-275-6236
                                    /   
///////////////////////////////////////////////////////////////////////