home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / forth / 4014 < prev    next >
Encoding:
Text File  |  1993-01-27  |  2.2 KB  |  53 lines
  1. Newsgroups: comp.lang.forth
  2. Path: sparky!uunet!starnine!mikeh
  3. From: mikeh@starnine.com (Mike Haas)
  4. Subject: Re: CASE tools
  5. Message-ID: <C1JLBF.FJ0@starnine.com>
  6. Sender: mikeh@starnine.com (Mike Haas)
  7. Date: Thu, 28 Jan 1993 02:23:36 GMT
  8. References: <1jl4guINN4c4@usenet.INS.CWRU.Edu> <1993Jan21.153746.2948@crd.ge.com>
  9. Organization: StarNine Technologies, Inc.
  10. Lines: 41
  11.  
  12. In article <1993Jan21.153746.2948@crd.ge.com> eaker@ukulele.crd.ge.com (Chuck Eaker) writes:
  13. >In article <1jl4guINN4c4@usenet.INS.CWRU.Edu>, cq184@cleveland.Freenet.Edu (Spencer W. Hunter) writes:
  14. >|> ...
  15. >|> In his book, Martin outlines a CASE methodology, known as HOS,
  16. >|> wherein programs are constructed top-down and the compiler
  17. >|> statically verifies the validity of each control structure
  18. >|> through I/O analysis.  In contrast, traditional Forth programs
  19. >|> are mostly constructed bottom-up and the programmer is
  20. >|> responsible for dynamically testing individual routines for
  21. >|> correctness.  However, like good Forth, each HOS routine has only
  22. >|> one main control structure; this is an inevitable result of the
  23. >|> rigidity of the compiler.
  24. >
  25. >I don't agree that the traditional Forth development approach
  26. >is bottom-up. This is certainly not the approach illustrated
  27. >in Brodie's _Thinking_Forth_.
  28.  
  29. Yes, one of the strong advantages I remember when I first came
  30. to know Forth was that is was touted as promoting top-down
  31. programming techniques due to it's extremely modular
  32. architecture.
  33.  
  34. >
  35. >|> What does the Forth community think not only about the above, but
  36. >|> of CASE tools in general?  Enquiring minds want to know!
  37. >
  38. >I think it's an interesting application area. What the world
  39. >needs is more and better ways to model and simulate an
  40. >application's requirements, do various kinds of analyses on
  41. >the model, then generate code for specific platforms in ways
  42. >that yield implementations provably equivalent to the model.
  43.  
  44. There is a growing awareness, however, that engineers increasingly
  45. fails due to their reliance on such simulations.  It must be
  46. remembered that simulations are only as good as the programmer(s)
  47. that created them...there is a tendency to over-estimate how
  48. accurately these model reality.
  49.  
  50. Invention magazine had an extremely interesting article in their
  51. last issue RE: this.
  52.  
  53.