formal spec lang classification

Article View: comp.specification

Article #66

Back to comp.specification Previous Next

#66

From: Il Moon
Date: Thu, 15 Mar 1990 21:19

17 lines
994 bytes

Hi,
I am a graduate student in the Dept of Chemical Engineering 
at Carnegie Mellon University (CMU).
Currently I am working on "Verification and Validation of Chemical
Process Control Software". As a part of my work, I'm inventing a formal
specification language for our system.
I'm wondering who's working on what in this area. Are there any chemical
engineers involved? How are these many formal specification languages
classified?
I would appreciate if anyone answers my questions.
 
Thank you.
IL MOON
 
Home : (412) 687-9014
Office : (412) 268-2261
e-mail : im07@andrew.cmu.edu

Technical Details

Message-ID: <Qa00PI_00Uh7I26kkl@andrew.cmu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!andrew.cmu.edu!im07+

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!andrew.cmu.edu!im07+
From: im07+@andrew.cmu.edu (Il Moon)
Newsgroups: comp.specification
Subject: formal spec lang classification
Message-ID: <Qa00PI_00Uh7I26kkl@andrew.cmu.edu>
Date: 15 Mar 90 21:19:16 GMT
Organization: Chemical Engineering, Carnegie Mellon, Pittsburgh, PA
Lines: 17