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