Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!uminho.ctt.pt!macedo
From: macedo@uminho.ctt.pt (Joaquim Macedo)
Newsgroups: comp.protocols.iso.dev-environ
Subject: FDT environment over ISODE
Message-ID: <527*macedo@uminho.ctt.pt>
Date: 14 Feb 90 23:15:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: inet
Organization: The Internet
Lines: 20


  Dear all,

At Minho University (Portugal), we want to use ISODE for devellop 
OSI based distributed applications.

We are thinking to use a FDT ( Formal Description Technique)  for
application specification and its  verification. 

Is anyone using a FDT environment wich includes tools for translate
the specification source and then  use the ISODE avalaible tools? 

Thanks for your attention,

 Joaquim Macedo
 Universidade do Minho
 Portugal

E-mail: macedo@uminho.ctt.pt