Article View: comp.specification
Article #269Re: tools for specification
From: Eric Dubuis
Date: Mon, 12 Oct 1992 16:19
Date: Mon, 12 Oct 1992 16:19
26 lines
1582 bytes
1582 bytes
In article 18786@di.unipi.it, cianca@di.unipi.it (Paolo Ciancarini) writes:
>I am interested in any tool that could be used
>in an educational institution
>to write and reason with specifications
>(eg. theorem provers for specific formalisms,
>graphical interfaces for Petri Nets, etc.).
>
For tools for LOTOS, you may get LITE (Lotosphere Integrated Tool
Environment). For more informatin, please contact
Name: Jeroen van de Lagemaat
Work Phone: +31 53 893684
Company: University of Twente
Work Address: Dept. of Informatics,
P.O. Box 217,
7500 AE ENSCHEDE,
THE NETHERLANDS
Email: lagemaat@cs.utwente.nl
---
*****************************************************************************
Eric Dubuis, Tel.: +41 31 999 3790
Ascom Tech Ltd., V/TID, Fax: +41 31 991 5211
CH-3018 Berne, Switzerland E-mail: dubuis@tech.ascom.ch
Technical Details
Message-ID:
<1992Oct12.161930.27873@hasler.ascom.ch>Path:
arc1-ca.pugleaf.net!sparky!uunet!know!hri.com!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!chsun!hslrswi!uranus!dubuisReferences:
<1992Oct9.164241.18786@di.unipi.it>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!know!hri.com!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!chsun!hslrswi!uranus!dubuis From: dubuis@tech.ascom.ch (Eric Dubuis) Newsgroups: comp.specification Subject: Re: tools for specification Message-ID: <1992Oct12.161930.27873@hasler.ascom.ch> Date: 12 Oct 92 16:19:30 GMT References: <1992Oct9.164241.18786@di.unipi.it> Sender: news@hasler.ascom.ch Reply-To: dubuis@tech.ascom.ch Organization: Ascom Tech Ltd. Lines: 26