home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / software / 3178 < prev    next >
Encoding:
Text File  |  1992-08-12  |  2.0 KB  |  56 lines
  1. Newsgroups: comp.software-eng
  2. Path: sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat
  3. From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
  4. Subject: For your LOTOS information
  5. Message-ID: <1992Aug12.150734@cs.utwente.nl>
  6. Sender: usenet@cs.utwente.nl
  7. Nntp-Posting-Host: utis09
  8. Organization: University of Twente, Dept. of Computer Science
  9. Date: Wed, 12 Aug 1992 13:07:34 GMT
  10. Lines: 44
  11.  
  12. Dear all,
  13.  
  14. At the moment it seems that a lot of people are interested in getting
  15. a grasp of what formal methods are about.
  16.  
  17. As a result of the ESPRIT 2304 project Lotosphere the following information
  18. is available:
  19. - a LOTOS based methodology for the design of complex hard/software systems
  20. - Tools to support Lotos
  21. - Experience from industrial partners in applying the above to both
  22.   ISDN and OSI system design
  23.  
  24. In Sept 1992 (14-16) a workshop will take place in Pisa where results 
  25. are presented.
  26.  
  27.  
  28. The results are otherwise available in the form of:
  29. - several european companies and universities which can introduce you
  30.   to LOTOS, the method, tools in the form of cooperation, consultancy
  31.   and courses (e.g. on LOTOS what, how, why, tools, introduction in
  32.     excisting development environment etc).
  33. - Several contributions to conferences, such as Forte 92, PSTV 92,
  34.   RACE Telecommunications Software Engineering Symposium 92, FME 93.
  35. - Tools: these are available both "as is" or "maintained" from several
  36.   companies and universities.
  37.  
  38.  
  39. Anyone interested in the above can contact me. I will provide you with 
  40. the information you require and/or with the coordinates of relevant people.
  41.  
  42.  
  43.  
  44. -- 
  45.     ___
  46.  __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
  47. |  \___/          |         
  48. |___     __   ___ | University of Twente     
  49. | |  |  /  \ (__  | Tele-Informatics & Open Systems
  50. | |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
  51. |_________________| tel. +31 53 893684              tfx. +31 53 333815
  52.  
  53.                     Humour, you're making me laugh.
  54.                                     - Herman Finkers, Dutch comedian -
  55.  
  56.