Re: Eurocontrol ATC HMI web site

Peter B. Ladkin (ladkin_at_rvs.uni-bielefeld.de)
Tue, 16 Sep 1997 12:10:47 +0200

McLELLAN Alexander, DED/1 wrote:
> The ATM requirements and design Division of Eurocontrol (DED2) has
> just gone live on the web with their recent developments on
> Controller's HMI.

Hi Alexander,

Nice WWW site.

There's no indication on the WWW site that any formal methods were
used for, say, requirements analysis (to ensure that the requirements
are, for example, consistent and not underspecified). Do you happen
to know if any such methods were used, and if so, what they were?

Cheers,
Peter Ladkin.

-- 
----------------------				------------------------
Peter Ladkin, Professor fuer Rechnernetze und Verteilte Systeme
ladkin_at_rvs.uni-bielefeld.de 	http://www.rvs.uni-bielefeld.de
Snailmail: Universitaet Bielefeld, Technische Fakultaet, 
		Postfach 10 01 31, D-33501 Bielefeld, Germany 
Tel: +49 (0)521 106-5326/5325/2952, Fax: +49 (0)521 106-2962
----------------------				------------------------