New in the formal world

Thread View: comp.specification

1 messages

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

1 total messages Started by Gudmundur Joekulsson Fri, 19 Oct 1990 14:23

#202

Author: Gudmundur Joekulsson
Date: Fri, 19 Oct 1990 14:23

23 lines
1590 bytes

I am working on my cand. scient. thesis (master) on Multicast transport 
protokolls for satellite communications.  The idea is to present the  
result of my design in a formal specification.  Does anyone have any
proposals regarding a specification laguage ?  I am not to much in for
the mathematica but set- notation and logic (Boolean algebra ?) sounds
fine to me.  The thing will probably never get to the verifying state.
Formal methods will allso be a part of my litterature for the exam.

From what I have read so far (not verry much) it appears to me as if
there are two different worlds of formal methods.  In some articles they
discuss LOTOS, Estelle and SDL, but in the other category the talk about
Larch, Z, VDM and others.  Is this only my misunderstanding or is there
any principal difference (other than standardization) ?
Am I completely in the dark here ? Can anyone clarify ?

With thanks in advance for any e-mail or group answers.

gudmund@forit.uit.no

Gudmundur S. J|kulsson.
FORUT (FOundation of applied Reserch at the University of Troms|),
Forhaapningen 21.B, 9000 TROMSO
Norway.

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