im07+@andrew.cmu.edu (Il Moon) (03/16/90)
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