home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 328 < prev    next >
Encoding:
Internet Message Format  |  1992-07-26  |  2.2 KB
  1. Path: sparky!uunet!mcsun!corton!lri!charlot
  2. From: charlot@lri.lri.fr (Francois Charlot)
  3. Newsgroups: comp.specification
  4. Subject: Abstraction and Specification
  5. Message-ID: <1992Jul27.154738.10000@lri.fr>
  6. Date: 27 Jul 92 15:47:38 GMT
  7. Sender: charlot@lri (Francois Charlot)
  8. Organization: Laboratoire de Recherche en Informatique
  9. Lines: 51
  10.  
  11.  
  12.  
  13. Hello users !
  14.  
  15. I've just started a PhD Thesis in Computer Science, in cooperation
  16. with a French company. The subject of the Thesis is dealing with
  17. specification and I have to use abstraction techniques to specify
  18. a huge software. The fact is that, today, the company didn't write
  19. informal specifications, but they intend to do it (together with me).
  20. The first task I would like to realize is to explain to some folks
  21. of the company what are the interests of abstraction and specification.
  22.  
  23. The point of my article is to ask ALL of you this question :
  24.  
  25. Does anybody there know if I could find some experiences in this kind
  26. of work, and do I have any chance to find a simple (but comprehensive and
  27. sufficiently detailed) example of such kind of specification ?
  28.  
  29. I would be very pleased if I could find the following sources :
  30.  
  31.           - Informal specification of a "school-problem" (lifts, coffee-
  32.             machine, ...)
  33.           - Abstract formal specification derived from the previous one
  34.           - Refinement of the previous specification (pascal-like for instance)
  35.  
  36. Everybody around me say that doesn't exist ! 
  37.  
  38. Actually, I've the "feeling" of what I have to do, but it is definitively not
  39. enough to start my thesis (and my bosses don't care of my "feelings" !).
  40.  
  41. Please, e-mail me ALL the (even small) informations you know about this
  42. kind of work. It will help me A LOT, because I'm stucked !
  43.  
  44. (This is the first time I write something in the news ; then, be tolerant !)
  45.  
  46.  
  47.  
  48.             Thanks in advance.
  49.  
  50.  
  51.  
  52. ************************************************************************
  53. *********
  54. * Francois CHARLOT                             uunet  :
  55. charlot@lri.lri.fr     *
  56. * L.R.I. - Bat 490 - Universite Paris-Sud      bitnet :
  57. charlot@FRLRI61.BITNET *
  58. * F - 91405 ORSAY CEDEX                        Tel    : (33 (1)) 69 41
  59. 70 82   *
  60. ************************************************************************
  61. *********
  62.