Re: New Book: CONCURRENCY

[Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>]

Ian Robert East wrote:
> Somewhere (don't press me for reference) I have seen 
> published surveys that support the claim of little tangible benefit.

Does OO Sync with How We Think?
Les Hatton, IEEE Software May/June 1998

Judith Bishop wrote:
> This year we used the analyser and animator tool, LTSA from day 
> one, and Wow, what a difference. 

In that context, I'm a student as well, after 24 years in the 
business. Occam, written with a folding editor is semi-graphical! 
The LTSA analyzer is what I've been waiting for for 8 1/2 years!
(Not any high-end expensive tool.) Or at least what this community 
have been telling me I should wait for.. But why did I have to 
input FSP to it? What's wrong with occam? (WHILE loops? Variables?) 

Someone in this community was working an an occam->SMV compiler,
I think. How did it go? 

WHY CAN'T I INPUT IN OCCAM?
It MUST be better to model check and code in the same language, eh?
 
-- 

|=======================================|==========================|
| Oyvind Teig                           | oyvind.teig@xxxxxxxxxxxx |
| Navia Maritime AS, division Autronica | oyvind.teig@xxxxxxxxxxxx |
| 7005 Trondhem     |    http://www.navia.no | Tel:+47 73 58 12 68 |
| Norway            |http://www.autronica.no | Fax:+47 73 91 93 20 |
|===================|========================|=====================|