Learning/using VDM

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Gudmundur Joekulsson Wed, 09 Jan 1991 13:42

#317

Author: Gudmundur Joekulsson
Date: Wed, 09 Jan 1991 13:42

24 lines
1134 bytes

To a kind soul with knowledge of VDM:

I am thinking of trying to use (what a vague expression) VDM to describe
a communication protocoll, i.e. a program.  Can anyone tip me on:

1) Existing support tools for using VDM
   (available in Public Dom. ?).

2) How is VDM regarding describing concurrent processes
   and IPC ?

3) LaTeX aid for VDM ?

4) A good textbook for a beginner in VDM.
   (How close to the VDM in progress for standardization
   I believe I heard of, will this be ?)

With thanks for any (e-mail) answer that may shed some light on me ...


Gudmundur S. J|kulsson.
FORUT-IT
(Foundation of Applied Reserch
at the University of Tromso)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads