Re: CASE and formal methods

Article View: comp.specification

Article #12

Back to comp.specification Previous Next

#12

From: Mark Heinrick
Date: Fri, 30 Oct 1992 05:20

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

Technical Details

Message-ID: <Bwx5Is.925@csn.org>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!olivea!sgigate!rutgers!ub!csn!teal.csn.org!mheinric

References: <1992Oct28.224529.12640@cybernet.cse.fau.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!olivea!sgigate!rutgers!ub!csn!teal.csn.org!mheinric
From: mheinric@teal.csn.org (Mark Heinrick)
Newsgroups: comp.specification,comp.software-eng
Subject: Re: CASE and formal methods
Message-ID: <Bwx5Is.925@csn.org>
Date: 30 Oct 92 05:20:50 GMT
References: <1992Oct28.224529.12640@cybernet.cse.fau.edu>
Sender: news@csn.org (news)
Organization: Colorado SuperNet, Inc.
Lines: 18
Nntp-Posting-Host: teal.csn.org
X-Newsreader: Tin 1.1 PL4

Reply to Parent Message