home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / software / 3244 < prev    next >
Encoding:
Internet Message Format  |  1992-08-17  |  3.9 KB
  1. Path: sparky!uunet!mcsun!uknet!nplpsg!sma
  2. From: sma@seg.npl.co.uk (Stephen Mark Austin)
  3. Newsgroups: comp.software-eng
  4. Subject: Survey: Formal Methods in Industry
  5. Message-ID: <1992Aug17.133756.13870@seg.npl.co.uk>
  6. Date: 17 Aug 92 13:37:56 GMT
  7. Reply-To: sma@seg.npl.co.uk
  8. Organization: National Physical Laboratory, UK.
  9. Lines: 94
  10. X-Newsreader: Tin 1.1 PL4
  11.  
  12.  
  13.          Request for Participation: Formal Methods in Industry Survey
  14.  
  15.  
  16. It was suggested to me (by Julian.Rose@bris.ac.uk - thanks) that I  ought
  17. to  give  a  little  more  background  for  the  formal methods survey news
  18. articles.
  19.  
  20. The formal methods survey forms part of a package of work  for  an  overall
  21. programme  of  work for the UK Department of Trade and Industry in Software
  22. Quality. The programme has the following 5 themes,
  23.  
  24.   A. How can new conformance testing needs be met by broader
  25.      application of established techniques?
  26.  
  27.   B. How can we demonstrate the practicable use of software testing
  28.      standards?
  29.  
  30.   C. How may more widespread application and use of generic
  31.      product and process standards be achieved?
  32.  
  33.   D. How can assurance of software quality be made more
  34.      objective?
  35.  
  36.   E. What is the potential contribution of formal methods in
  37.      software quality assurance?
  38.  
  39. I am interested in particular in theme E. We  have  done  some  preparatory
  40. work  by  looking  at  the  available  literature for relevant papers about
  41. benefits, barriers  and  limitations  to  formal  methods.   From  this  we
  42. produced  an  outline  document  giving  all  of  the  documented benefits,
  43. barriers and limitations that we could find (available from our info-server
  44. -  details  of access in the industrial request for participation).  We now
  45. need to establish if there any other benefits, barriers and limitations  to
  46. formal  methods,  as  well  as discovering how deeply rooted the previously
  47. published benefits, barriers and limitations are.  From this we will  write
  48. a paper that details more comprehensively all of the benefits, barriers and
  49. limitations to formal methods.
  50.  
  51. [ We are posting the requests for participation again, and will do so on  a
  52. weekly  basis  for  2/3  more  weeks  to allow for those people that are on
  53. holiday, or who have a quick expire time on their news, to respond.]
  54.  
  55. ---
  56.  
  57. We are collecting information about the benefits, limitations and barriers to 
  58. the use of formal methods. We would like you to participate in answering a 
  59. questionnaire on these topics.
  60.  
  61. This questionnaire is aimed at people who work in industry which includes people
  62. working in the areas of Software/Hardware Engineering, Systems Engineering,
  63. Safety Critical Systems etc.
  64.  
  65. With the questionnaire there are a some notes that may provide a stimulus when 
  66. answering the questions. The questionnaire and notes can be retrieved in 
  67. electronic form from our information server in both plain ascii and LaTeX
  68. formats. Send the following text to this e-mail address: 
  69. info-server@seg.npl.co.uk (You should leave the Subject field empty)
  70.  
  71.   request: formal-methods
  72.   topic: industrial
  73.   topic: notes
  74.   topic: industrial-tex
  75.   topic: notes-tex
  76.   request: end
  77.  
  78. This will return to you a copy of the questionnaire and notes in plain ascii and
  79. LaTeX formats. Once you have filled in the questionnaire could you please
  80. e-mail this back to us using the following e-mail address: sma@seg.npl.co.uk
  81.  
  82. If you have any problems retrieving the questionnaire/notes please send a message
  83. describing your problem to: sma@seg.npl.co.uk
  84.  
  85. If you would rather have paper versions of the questionnaire and notes then
  86. send a note with your name and address to: sma@seg.npl.co.uk 
  87.   OR
  88. a written message with your name and address to
  89.  
  90.   Steve Austin
  91.   DITC
  92.   National Physical Laboratory
  93.   Queens Road
  94.   Teddington
  95.   Middlesex
  96.   TW11 0LW
  97.   UK
  98.  
  99.   Telephone: +44 81 943 6470
  100.  
  101. PLEASE NOTE: All completed questionnaires must be back with us by 7th
  102. September 1992.
  103.  
  104.      Thanks,
  105.        Steve Austin.
  106.