Symposium on the Vienna Development Method

Article View: mod.conferences

Article #76

#76

From: taylor
Date: Sun, 08 Feb 1987 21:53

14 lines
1248 bytes

- -
                   Symposium on the Vienna Development Method
                               Brussels, Belgium
                             March 23rd-26th, 1987
                                        
			     Sponsored by the EEC

TUTORIAL: the first day will be a tutorial on VDM
A FORMAL METHOD AT WORK: is the theme of the papers ond the following 3 days.
      It will include papers both on recent developments and on Industrial
      Applications of this well-known formal development method.

For futher information, please contact:
K. de Vriendt (EEC) telephone: ++32/2/2357769 (telex: 21877 comeu b)

Technical Details

Message-ID: <1264@hplabsc.HP.COM>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!rutgers!sri-unix!hplabs!hplabsc!taylor

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!rutgers!sri-unix!hplabs!hplabsc!taylor
From: taylor@hplabsc.UUCP
Newsgroups: mod.conferences
Subject: Symposium on the Vienna Development Method
Message-ID: <1264@hplabsc.HP.COM>
Date: Sun, 8-Feb-87 16:53:15 EST
Article-I.D.: hplabsc.1264
Posted: Sun Feb  8 16:53:15 1987
Date-Received: Mon, 9-Feb-87 04:44:53 EST
Sender: taylor@hplabsc.HP.COM
Distribution: world
Organization: Manchester College, England
Lines: 14
Keywords: formal methods, formal specification, VDM
Approved: taylor@hplabs
Location: Brussels, Belgium