Thread View: comp.specification
2 messages
2 total messages
Started by Robert France
Wed, 28 Oct 1992 22:45
CASE and formal methods
Author: Robert France
Date: Wed, 28 Oct 1992 22:45
Date: Wed, 28 Oct 1992 22:45
15 lines
1030 bytes
1030 bytes
As part of our work on integrating formal and industrial-strength non-formal, structured methods we are currently looking at how to incorporate such approaches into existing CASE tools based on SA/SD and OOA/D. Does anyone know of work/papers in this area? I will post a summary of the responses if asked. Thanks. Robert France -- Robert B. France | Tel: (407) 367-3857 CS&E Dept, Florida Atlantic University, | Fax: (407) 367-2800 Boca Raton, FL 33431-0991 | email: robert@cse.fau.edu ===============================================================================
Re: CASE and formal methods
Author: Mark Heinrick
Date: Fri, 30 Oct 1992 05:20
Date: Fri, 30 Oct 1992 05:20
18 lines
1251 bytes
1251 bytes
robert@cse.fau.edu (Robert France) writes: : As part of our work on integrating formal and industrial-strength non-formal, : structured methods we are currently looking at how to incorporate such : approaches into existing CASE tools based on SA/SD and OOA/D. : Does anyone know of work/papers in this : area? I will post a summary of the responses if asked. : : Thanks. : : Robert France : I would also appreciate any info. I am rewriting the SE course series (3 classes) for a small tech college. Cadre donated SA, SD, IM, DSE, RT, SIM and other goodies, and I am trying to integrate them into the undergraduate courses. I have several ideas, but would enjoy hearing others. Mark Heinrich
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