home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / ada / 2353 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  1.1 KB
  1. Xref: sparky comp.lang.ada:2353 comp.software-eng:3189
  2. Path: sparky!uunet!cs.utexas.edu!swrinde!sdd.hp.com!usc!hacgate!valkris!hayes
  3. From: hayes%valkris@hac2arpa.hac.com (Brian Hayes 74-35 x65129)
  4. Newsgroups: comp.lang.ada,comp.software-eng
  5. Subject: AutoCode by Integrated Systems
  6. Summary: Seeking info regarding AutoCode
  7. Message-ID: <22826@hacgate.SCG.HAC.COM>
  8. Date: 12 Aug 92 20:59:44 GMT
  9. Sender: news@hacgate.SCG.HAC.COM
  10. Organization: Hughes Aircraft Company, EDSG
  11. Lines: 16
  12. Originator: hayes@valkris
  13.  
  14. While reading IEEE Software, May 1992, I stumbled upon a summary of
  15. a code generator called AutoCode by Integrated Systems (needless to 
  16. say, I was a bit disappointed since I have done some work along 
  17. the same lines).  
  18.  
  19. My question is: Has anyone had experience with this product?
  20.  
  21. Thanks.
  22.  
  23. | Brian Hayes        | Is completeness checking a necessary  |
  24. | (310) 616-5129    | criterium for a rigorous methodology?    |
  25. | hayes@hac2arpa.hac.com| <standard disclaimer here>        |
  26. -- 
  27. | Brian Hayes        | "One person's requirement is another    |
  28. | (310) 616-5129    |  person's design." - I.A.Pirbahi    |
  29. | hayes@hac2arpa.hac.com| <standard disclaimer here>        |
  30.