Thread View: comp.specification
4 messages
4 total messages
Started by Il Moon
Thu, 15 Mar 1990 21:19
formal spec lang classification
Author: Il Moon
Date: Thu, 15 Mar 1990 21:19
Date: Thu, 15 Mar 1990 21:19
17 lines
994 bytes
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
Journal: Formal Aspects of Computing
Author: Cliff Jones
Date: Fri, 16 Mar 1990 11:01
Date: Fri, 16 Mar 1990 11:01
20 lines
1020 bytes
1020 bytes
This journal is one year old (I could type in the Contents of the first Volume in anyone is interested). We can still offer good submit/publication times and would welcome more papers on "formal methods" topics. One way to submit is to send 3 copies to: Dr. D. J. Cooke Department of Computer Studies, Loughborough University of Technology, Loughborough, Leicestershire, LE11 3TU UK But the best idea is to get a copy of the journal and choose the editor closest (scientifically) to your area. cliff jones
Re: Journal: Formal Aspects of Computing
Author: Brian L. Kahn
Date: Wed, 21 Mar 1990 16:05
Date: Wed, 21 Mar 1990 16:05
5 lines
720 bytes
720 bytes
How does one get a copy of this journal? Assuming one lives in the U.S., if that makes any difference. -- B< Brian Kahn blk@security.mitre.org "may the farce be with you"
Re: Journal: Formal Aspects of Computing (ToC)
Author: Cliff Jones
Date: Thu, 22 Mar 1990 15:37
Date: Thu, 22 Mar 1990 15:37
96 lines
2312 bytes
2312 bytes
I have been asked by e-mail for the Table of Contents of the first Volume of this journal: CONTENTS Volume 1, Number 1, January-March 1989 Editorial Cliff Jones 1 Development Methods for Trusted Computer Systems Martyn Thomas 5 Do-It-Yourself Type Theory Roland Backhouse, Paul Chisholm, Grant Malcolm 19 and Erik Saaman The RAISE Language, Methods and Tools Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner 85 and Chris George VVSL: A Language for Structured VDM Specifications C A Middelburg 115 Book Reviews CONTENTS Volume 1, Number 2, April-June 1989 Editorial John Cooke 145 Specifying the Apple Macintosh Toolbox Event Manager C T Burton, S J Cook, S Gikas, J R Rowson 147 and S T Sommerville Program Development in the Constructive Set Theory TK 173 Martin C Henson Meta-interpreters and Partial Evaluation in Parlog 193 Mathew Huntbach CONTENTS Volume 1, Number 3, July-September 1989 Event Fairness and Non-Interleaving Concurrency Marta Z Kwiatkowska 213 Process Simulation and Refinement He Jifeng 229 A Refinement Calculus for Specifications in Hennessy-Milner Logic Soren Holmstrom 242 Automated Analysis of Mutual Exclusion Algorithms using CCS D J Walker 273 Book Reviews 293 CONTENTS Volume 1, Number 4, October-December 1989 A Functional Programming Approach to the Specification and Verification of Concurrent Systems Peter Dybjer and Herbert P Sander 303 Term Rewriting and Beyond - Theorem Proving in ISabelle Tobias Nipkow 320 A Logic for Miranda Simon Thompson 339 Issues in the Design of a Parallel Object-Oriented Language Pierre America 366 Book Reviews 412 Author Index 417
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads