Xref: utzoo comp.databases:2027 comp.lang.misc:2685 comp.lsi:639 comp.ai:3389 comp.arch:8297 comp.cog-eng:959 comp.software-eng:1083 comp.misc:5185 comp.os.misc:786
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!sm.unisys.com!ucla-cs!malcolm
From: malcolm@oahu.cs.ucla.edu
Newsgroups: comp.databases,comp.lang.misc,comp.lsi,comp.ai,comp.arch,comp.cog-eng,comp.software-eng,comp.misc,comp.os.misc
Subject: (repost) What is your idea of the ideal specification development system?
Message-ID: <20709@shemp.CS.UCLA.EDU>
Date: 17 Feb 89 10:30:41 GMT
Sender: news@CS.UCLA.EDU
Reply-To: malcolm@CS.UCLA.EDU (Malcolm Lui)
Distribution: usa
Organization: UCLA Computer Science Department
Lines: 27


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 cross-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
---------------------------------------------------------------------------