home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / software / 5139 < prev    next >
Encoding:
Text File  |  1992-12-23  |  7.7 KB  |  217 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: How to get to know LOTOS, a COURSE!!
  5. Message-ID: <1992Dec23.165845@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, 23 Dec 1992 15:58:45 GMT
  10. Lines: 205
  11.  
  12.  
  13.                      LOTOS TOOLS SEMINAR 
  14.                      ===================
  15.  
  16. ITA BV, in cooperation with the University of Twente, announces a 
  17. 2 days intensive seminar "Evaluation of the LOTOS Integrated Tool 
  18. Environment". The seminar is presented on 22 and 23 February 1993
  19. at the Novotel in Amsterdam  . 
  20. Start- and closing-time of the seminar are chosen to allow delegates 
  21. from abroad to fly in early on the first day of the seminar and catch
  22. flights back on the second day. Alternatively, in case of sufficient 
  23. participation the course can also be organized in-house. 
  24.  
  25. Course Objectives  
  26. =================
  27. In this seminar the effectiveness of the LOTOS Toolbox tools is
  28. demonstrated to potential users by means of example specifications. 
  29. The LOTOS Toolbox is a sophisticated set of software tools, distri-
  30. buted by ITA, supporting the development of LOTOS specifications.  
  31. Currently it includes: 
  32.  
  33. *  a syntax and static semantics checker:  TOPO front-end  
  34. *  a learning tool:  CRIE  
  35. *  a graphical LOTOS browser:  GLOW  
  36. *  a system validator:  SMILE  
  37. *  a system Prototyper:  TOPO C-code generator  
  38.  
  39.  
  40. Audience 
  41. ========
  42. The course is intended for:
  43.   
  44. *  LOTOS experts considering to purchase the LOTOS tools 
  45. *  LOTOS experts requiring an overview of the available LOTOS toolset 
  46. *  experts wishing to compare the LOTOS tool with other (formal) CASE  
  47.    tools
  48. *  industrial experts wishing to assess the viability of the toolset
  49.    in their own environment 
  50.    
  51. Benefits  
  52. ========
  53. Delegates will benefit from the seminar by:  
  54.   
  55. *  receiving a free 1 month evaluation license for the toolset 
  56. *  obtaining a good impression how to incorporate LOTOS into their own 
  57.    software product developments 
  58.  
  59.  
  60. The presenters  
  61. ==============
  62. Ir. Henk Eertink from the Twente University
  63. Dr. Jeroen Schot from ITA
  64.  
  65.  
  66. The method of presentation 
  67. ==========================
  68. The seminar switches between:
  69. *  Lectures 
  70. *  Demonstrations 
  71. *  Group discussions 
  72.  
  73. Fee  
  74. ===
  75. The course fee is Dfl. 1750,= excl  17.5%  VAT and includes hotel room
  76. accommodation, breakfast, dinner, 2 lunches and refreshments during the
  77. breaks. Each delegate receives course notes and A FREE 1 month evaluation
  78. license for the tools .                          
  79.  
  80. Late subscriptions: after January 15, increase fee by Dfl 225,- 
  81. Cancellation fees: before  February 15, 50% ; after that date the full fee
  82. is due. (It is possible to send a colleague instead). 
  83.  
  84. COURSE OUTLINE
  85. ===============
  86.   Morning Session, February 22 
  87.   
  88. *   10:30 Arrival and registration
  89. *   11:00 Introduction
  90. *   11:15 Short introduction to LOTOS
  91. *   12:00 Construction of a LOTOS specification using TOPO front-end 
  92.             for syntax and static semantics checking 
  93. *   13:00 lunch
  94.  
  95.   Afternoon Session  
  96.   
  97. *   14:00 Construction of a LOTOS specification (cont.) Using CRIE  
  98.             structure editor  
  99. *   14:30 Documentation and visualization using the graphical LOTOS
  100.             browser GLOW   
  101. *   15:00 System validation with SMILE  
  102. Tea break
  103.    
  104.   Evening Session  
  105.   
  106. *   16:15 Test generation, selection and execution with SMILE 
  107. *   17:00 Generating a prototype by compilation with TOPO C-code
  108.           generator    
  109. *   17:45 Generating an implementation with TOPO C-code generator  
  110.           * Produce a specification near implementation 
  111.           * Use of annotations  
  112.           * Definition of refined interfaces  
  113. *   19:00 Closing session first day 
  114. *   19:30 Dinner 
  115.    
  116.   Morning Session, February 23 
  117.  
  118. *   09:30 Testing of the implementation  
  119. *   10:30 Break  
  120. *   11:00 Use of the common representation (CR) format  
  121. *   11:45 Installing your evaluation toolset  
  122. *   12:15 Group discussion and question ses  
  123. *   13:00 Lunch and departure 
  124.   
  125.  
  126. Who is ITA?  
  127. ===========
  128. ITA BV (Information Technology Architecture) specializes in the 
  129. transfer of advanced design methods and applications in the area of
  130. data communications, telematics and distributed systems. The impor-
  131. tance of formal methods in high integrity systems is now recognized
  132. in many industries such as transportation, telecommunications, pro-
  133. cess control, avionics and space industries. For example, the Euro-
  134. pean Space Agency has awarded ITA a contract to introduce LOTOS in 
  135. its Software Development Environment. The Universities of Twente and
  136. Madrid, CPR and ITA have merged their know-how for the industriali-
  137. zation of LOTOS tools. The Universities Twente and Madrid, and CPR
  138. designed the tools and created prototypes. ITA acts as a distributor
  139. and provides additional, industry-oriented services. Organizations 
  140. embarking on software projects, aiming at high-quality IT products,
  141. not only require the support of effective design methods with adequate
  142. tools, but also have a need for high-quality documentation, support 
  143. and maintenance of the tools, as well as consultancy and training. 
  144. ITA offers these services: 
  145. *  Consultancy
  146. *  Project participation and Application Support
  147. *  Training in Data Communications
  148.    * Communication Protocols 
  149.    * Application Protocols 
  150.    * Design Issues of LANs and WANs  
  151.    * OSI Reference Model 
  152. *  Training in system design with LOTOS 
  153. *  Training in use of LOTOS tools
  154. *  Tools distribution and support
  155. *  Test services  
  156.  
  157.  
  158.  
  159. REGISTRATION FORM 
  160. =================
  161. Please reserve ....... places at a cost of Dfl 1750,= + 17.5  VAT per
  162. delegate.  (Total amount : Dfl 2056.25)
  163.  
  164. ================================
  165. Payment must be made in advance . 
  166. ================================
  167.   
  168. O  Cheque for Dfl.............. enclosed made payable to ITA bv. 
  169. O  Please invoice my company. Purchase order no.   
  170.  
  171. NAME ...........................................................  
  172.  
  173. COMPANY.........................................................    
  174.  
  175. ADDRESS.........................................................   
  176.  
  177. POSTAL CODE ..........  CITY ...................................   
  178.  
  179. COUNTRY.........................................................    
  180.  
  181. PHONE....... FAX ...............................................   
  182.  
  183. SIGNATURE    
  184.  
  185.  
  186.  
  187. Mail or fax to: 
  188.  
  189.    --------------------------------------------------------------------
  190.    |                                             __  ______   _____   |
  191.    |  Information Technology Architecture       /  ||_    _| |__   \  |
  192.    |  Institutenweg 1                           |  |  |  |  __  \  |  |
  193.    |  7521 PH Enschede                          |  |  |  | /  | |  |  |
  194.    |  tel. +31 (0)53 - 30 96 82                 |  |  |  | |  | |  |  |
  195.    |  fax  +31 (0)53 - 30 96 69                 \__|  |__| \__| |__/  |
  196.    |  email: tools@ita.nl                                          |
  197.    |                                                                  |
  198.    --------------------------------------------------------------------
  199.  
  200. O  Please send me further information on other LOTOS courses. 
  201. O  I am interested in in-house training. 
  202. O  I would like to receive announcements of future seminars. 
  203.  
  204.  
  205. -- 
  206.     ___
  207.  __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
  208. |  \___/          |         
  209. |___     __   ___ | University of Twente     
  210. | |  |  /  \ (__  | Tele-Informatics & Open Systems
  211. | |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
  212. |_________________| tel. +31 53 893684              tfx. +31 53 333815
  213.  
  214.                     Humour, you're making me laugh.
  215.                                     - Herman Finkers, Dutch comedian -
  216.  
  217.