Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!apple!voder!pyramid!nsc!icldata!altnet!altos86!dtynan
From: malcolm@CS.UCLA.EDU
Newsgroups: comp.unix
Subject: What is your idea of the ideal specification development system?
Message-ID: <978@altos86.UUCP>
Date: 31 Mar 89 03:17:36 GMT
Sender: dtynan@altos86.UUCP
Reply-To: malcolm@CS.UCLA.EDU (Malcolm Lui)
Organization: UCLA Computer Science Department
Lines: 27
Approved: dtynan@zorba.Tynan.COM


Thank you for taking the time to read my posting.  

For my master's thesis I am considering developing
a general purpose environment that allows for the 
development, execution, and verification of system 
specifications.

I was wondering if you had any suggestions as to what
features or constructs you would deem necessary in 
such an environment?  

Please forgive me for posting to so many newsgroups. 
My hope is that by posting to several different groups, 
I will be able to determine what constructs are needed to 
implement a general-purpose specification language environ-
ment.

Please e-mail your ideas.  I will post a summary of the
responses I get.

Thanks again for your time and ideas.

---------------------------------------------------------------------------
Internet: malcolm@cs.ucla.edu
    UUCP: ...!{trwspp,cepu, uclachem}!ucla-cs!malcolm
---------------------------------------------------------------------------