What is your idea of the ideal specification development system?

Article View: comp.unix

Article #656

#656

From: malcolm
Date: Fri, 31 Mar 1989 03:17

27 lines
1465 bytes

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

Technical Details

Message-ID: <978@altos86.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!apple!voder!pyramid!nsc!icldata!altnet!altos86!dtynan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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