CASE and formal methods

Article View: comp.specification

Article #10

Back to comp.specification Previous Next

#10

From: Robert France
Date: Wed, 28 Oct 1992 22:45

15 lines
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
===============================================================================

Technical Details

Message-ID: <1992Oct28.224529.12640@cybernet.cse.fau.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!caen!uflorida!cybernet!robert

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!caen!uflorida!cybernet!robert
From: robert@cse.fau.edu (Robert France)
Newsgroups: comp.specification,comp.software-eng
Subject: CASE and formal methods
Message-ID: <1992Oct28.224529.12640@cybernet.cse.fau.edu>
Date: 28 Oct 92 22:45:29 GMT
Sender: news@cybernet.cse.fau.edu
Organization: Florida Atlantic University, Boca Raton, FL, USA
Lines: 15