FDT environment over ISODE

Article View: comp.protocols.iso.dev-environ

Article #781

Back to comp.protocols.iso.dev-environ Previous Next

#781

From: Joaquim Macedo
Date: Wed, 14 Feb 1990 23:15

20 lines
901 bytes

  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

Technical Details

Message-ID: <527*macedo@uminho.ctt.pt>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!uminho.ctt.pt!macedo

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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