partial, static analyses for rev. engineering, etc

Article View: comp.specification

Article #412

Back to comp.specification Previous Next

#412

From: Daniel Jackson
Date: Thu, 17 Dec 1992 21:48

21 lines
1208 bytes



I'm looking for papers about applying static analysis to software
maintenance problems.  The topics I'm interested in are:

-- partial specification and partial verification schemes
-- static analysis for reverse engineering, bug detection, determining the
       scope of changes, etc.
-- application of formal methods to reverse engineering, reengineering, and
       all those other buzzwords.

I'd be very grateful for any pointers.  I'll summarize responses if there's
interest.


Please email me at daniel.jackson@cs.cmu.edu.



--Daniel Jackson

Technical Details

Message-ID: <BzFB8C.Hu1.2@cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!BEMBO.SP.CS.CMU.EDU!dnj

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!BEMBO.SP.CS.CMU.EDU!dnj
From: dnj+@CS.CMU.EDU (Daniel Jackson)
Newsgroups: comp.specification,comp.software-eng
Subject: partial, static analyses for rev. engineering, etc
Keywords: verification, analysis, maintenance, reverse engineering
Message-ID: <BzFB8C.Hu1.2@cs.cmu.edu>
Date: 17 Dec 92 21:48:10 GMT
Article-I.D.: cs.BzFB8C.Hu1.2
Sender: news@cs.cmu.edu (Usenet News System)
Followup-To: daniel.jackson@cs.cmu.edu
Organization: Carnegie Mellon University
Lines: 21
Nntp-Posting-Host: bembo.sp.cs.cmu.edu