Xref: utzoo comp.software-eng:4646 comp.realtime:1113
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!caen!hellgate.utah.edu!csn!arrayb!warner
From: warner@arrayb.uucp (Dave Warner)
Newsgroups: comp.software-eng,comp.realtime
Subject: paisley, reltools, ncsl???
Message-ID: <1991Jan20.051925.22353@arrayb.uucp>
Date: 20 Jan 91 05:19:25 GMT
Organization: Intellistor
Lines: 17

I've retrieved the descriptions of these tools from the AT&T Toolchest
and am wondering if anyone has any experience using them???  ncsl
is pretty straightforward - it counts non-commented source lines and
generates some statistics. reltools claims to be a software reliability
analyzer and, since I haven't read the referenced book, I don't have 
much to go on.  paisley claims to be an executable specification
language intended for real time and distributed systems.  I would be
grateful for any actual experience using any of these tools, especially
paisley and reltools.

Thanks in advance, Dave
-- 
 _____________________________________________________________________ 
 | Dave Warner             | e-mail address: warner@intellistor.com  | 
 | Intellistor, Inc.       | USmail address: 2402 Clover Basin Dr.   | 
 | (303)682-6555           |                 Longmont, CO 80503      | 
 ---------------------------------------------------------------------