home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / specific / 588 < prev    next >
Encoding:
Internet Message Format  |  1992-12-18  |  1.2 KB
  1. Xref: sparky comp.specification:588 comp.software-eng:5044
  2. Path: 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
  3. From: dnj+@CS.CMU.EDU (Daniel Jackson)
  4. Newsgroups: comp.specification,comp.software-eng
  5. Subject: partial, static analyses for rev. engineering, etc
  6. Keywords: verification, analysis, maintenance, reverse engineering
  7. Message-ID: <BzFB8C.Hu1.2@cs.cmu.edu>
  8. Date: 17 Dec 92 21:48:10 GMT
  9. Article-I.D.: cs.BzFB8C.Hu1.2
  10. Sender: news@cs.cmu.edu (Usenet News System)
  11. Followup-To: daniel.jackson@cs.cmu.edu
  12. Organization: Carnegie Mellon University
  13. Lines: 21
  14. Nntp-Posting-Host: bembo.sp.cs.cmu.edu
  15.  
  16.  
  17.  
  18.  
  19. I'm looking for papers about applying static analysis to software
  20. maintenance problems.  The topics I'm interested in are:
  21.  
  22. -- partial specification and partial verification schemes
  23. -- static analysis for reverse engineering, bug detection, determining the
  24.        scope of changes, etc.
  25. -- application of formal methods to reverse engineering, reengineering, and
  26.        all those other buzzwords.
  27.  
  28. I'd be very grateful for any pointers.  I'll summarize responses if there's
  29. interest.
  30.  
  31.  
  32. Please email me at daniel.jackson@cs.cmu.edu.
  33.  
  34.  
  35.  
  36. --Daniel Jackson
  37.