From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Subject: How to get to know LOTOS!!
Organization: University of Twente, Dept. of Computer Science
Date: Wed, 23 Dec 1992 15:57:45 GMT






                     LOTOS TOOLS SEMINAR 
                     ===================

ITA BV, in cooperation with the University of Twente, announces a 
2 days intensive seminar "Evaluation of the LOTOS Integrated Tool 
Environment". The seminar is presented on 22 and 23 February 1993
at the Novotel in Amsterdam  . 
Start- and closing-time of the seminar are chosen to allow delegates 
from abroad to fly in early on the first day of the seminar and catch
flights back on the second day. Alternatively, in case of sufficient 
participation the course can also be organized in-house. 
 
Course Objectives  
=================
In this seminar the effectiveness of the LOTOS Toolbox tools is
demonstrated to potential users by means of example specifications. 
The LOTOS Toolbox is a sophisticated set of software tools, distri-
buted by ITA, supporting the development of LOTOS specifications.  
Currently it includes: 

*  a syntax and static semantics checker:  TOPO front-end  
*  a learning tool:  CRIE  
*  a graphical LOTOS browser:  GLOW  
*  a system validator:  SMILE  
*  a system Prototyper:  TOPO C-code generator  
 
 
Audience 
========
The course is intended for:
  
*  LOTOS experts considering to purchase the LOTOS tools 
*  LOTOS experts requiring an overview of the available LOTOS toolset 
*  experts wishing to compare the LOTOS tool with other (formal) CASE  
   tools
*  industrial experts wishing to assess the viability of the toolset
   in their own environment 
   
Benefits  
========
Delegates will benefit from the seminar by:  
  
*  receiving a free 1 month evaluation license for the toolset 
*  obtaining a good impression how to incorporate LOTOS into their own 
   software product developments 
 

The presenters  
==============
Ir. Henk Eertink from the Twente University
Dr. Jeroen Schot from ITA


The method of presentation 
==========================
The seminar switches between:
*  Lectures 
*  Demonstrations 
*  Group discussions 

Fee  
===
The course fee is Dfl. 1750,= excl  17.5%  VAT and includes hotel room
accommodation, breakfast, dinner, 2 lunches and refreshments during the
breaks. Each delegate receives course notes and A FREE 1 month evaluation
license for the tools .                          

Late subscriptions: after January 15, increase fee by Dfl 225,- 
Cancellation fees: before  February 15, 50% ; after that date the full fee
is due. (It is possible to send a colleague instead). 

COURSE OUTLINE
===============
  Morning Session, February 22 
  
*   10:30 Arrival and registration
*   11:00 Introduction
*   11:15 Short introduction to LOTOS
*   12:00 Construction of a LOTOS specification using TOPO front-end 
            for syntax and static semantics checking 
*   13:00 lunch

  Afternoon Session  
  
*   14:00 Construction of a LOTOS specification (cont.) Using CRIE  
            structure editor  
*   14:30 Documentation and visualization using the graphical LOTOS
            browser GLOW   
*   15:00 System validation with SMILE  
Tea break
   
  Evening Session  
  
*   16:15 Test generation, selection and execution with SMILE 
*   17:00 Generating a prototype by compilation with TOPO C-code
          generator    
*   17:45 Generating an implementation with TOPO C-code generator  
          * Produce a specification near implementation 
          * Use of annotations  
          * Definition of refined interfaces  
*   19:00 Closing session first day 
*   19:30 Dinner 
   
  Morning Session, February 23 

*   09:30 Testing of the implementation  
*   10:30 Break  
*   11:00 Use of the common representation (CR) format  
*   11:45 Installing your evaluation toolset  
*   12:15 Group discussion and question ses  
*   13:00 Lunch and departure 
  

Who is ITA?  
===========
ITA BV (Information Technology Architecture) specializes in the 
transfer of advanced design methods and applications in the area of
data communications, telematics and distributed systems. The impor-
tance of formal methods in high integrity systems is now recognized
in many industries such as transportation, telecommunications, pro-
cess control, avionics and space industries. For example, the Euro-
pean Space Agency has awarded ITA a contract to introduce LOTOS in 
its Software Development Environment. The Universities of Twente and
Madrid, CPR and ITA have merged their know-how for the industriali-
zation of LOTOS tools. The Universities Twente and Madrid, and CPR
designed the tools and created prototypes. ITA acts as a distributor
and provides additional, industry-oriented services. Organizations 
embarking on software projects, aiming at high-quality IT products,
not only require the support of effective design methods with adequate
tools, but also have a need for high-quality documentation, support 
and maintenance of the tools, as well as consultancy and training. 
ITA offers these services: 
*  Consultancy
*  Project participation and Application Support
*  Training in Data Communications
   * Communication Protocols 
   * Application Protocols 
   * Design Issues of LANs and WANs  
   * OSI Reference Model 
*  Training in system design with LOTOS 
*  Training in use of LOTOS tools
*  Tools distribution and support
*  Test services  

 
 
REGISTRATION FORM 
=================
Please reserve ....... places at a cost of Dfl 1750,= + 17.5  VAT per
delegate.  (Total amount : Dfl 2056.25)

================================
Payment must be made in advance . 
================================
  
O  Cheque for Dfl.............. enclosed made payable to ITA bv. 
O  Please invoice my company. Purchase order no.   

NAME ...........................................................  

COMPANY.........................................................    

ADDRESS.........................................................   

POSTAL CODE ..........  CITY ...................................   

COUNTRY.........................................................    

PHONE....... FAX ...............................................   

SIGNATURE    



Mail or fax to: 
 
   --------------------------------------------------------------------
   |                                             __  ______   _____   |
   |  Information Technology Architecture       /  ||_    _| |__   \  |
   |  Institutenweg 1                           |  |  |  |  __  \  |  |
   |  7521 PH Enschede                          |  |  |  | /  | |  |  |
   |  tel. +31 (0)53 - 30 96 82                 |  |  |  | |  | |  |  |
   |  fax  +31 (0)53 - 30 96 69                 \__|  |__| \__| |__/  |
   |  email: tools@ita.nl                                          |
   |                                                                  |
   --------------------------------------------------------------------

O  Please send me further information on other LOTOS courses. 
O  I am interested in in-house training. 
O  I would like to receive announcements of future seminars. 


Keywords: 


-- 
    ___
 __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
|  \___/          |         
|___     __   ___ | University of Twente     
| |  |  /  \ (__  | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
|_________________| tel. +31 53 893684              tfx. +31 53 333815

                    Humour, you're making me laugh.
                                    - Herman Finkers, Dutch comedian -