home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.software-eng
- Path: sparky!uunet!mcsun!sun4nl!utrcu1!infnews!infnews!lagemaat
- From: lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
- Subject: How to get to know LOTOS, a COURSE!!
- Message-ID: <1992Dec23.165845@cs.utwente.nl>
- Sender: usenet@cs.utwente.nl
- Nntp-Posting-Host: utis09
- Organization: University of Twente, Dept. of Computer Science
- Date: Wed, 23 Dec 1992 15:58:45 GMT
- Lines: 205
-
-
- 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.
-
-
- --
- ___
- __/ \__________ 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 -
-
-