From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5d8e986deb57f971,start
X-Google-Attributes: gid103376,public
From: "Sergey I. Rybin" <rybin@gnat.com>
Subject: Reminder: ASIS Tutorial at Ada-Europe
Date: 2000/05/30
Message-ID: <3932D3D6.CDF231D6@gnat.com>#1/1
X-Deja-AN: 628742582
Content-Transfer-Encoding: 7bit
X-Accept-Language: ru,en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@gamma.ru
X-Trace: news.gamma.ru 959632415 57846 194.186.254.203 (29 May 2000 20:33:35
 GMT)
Organization: Gamma NNTP server Moscow Russia
Mime-Version: 1.0
NNTP-Posting-Date: 29 May 2000 20:33:35 GMT
Newsgroups: comp.lang.ada
Date: 2000-05-29T20:33:35+00:00
List-Id: <comp.lang.ada>

There will be a tutorial on ASIS and ASIS-for-GNAT at the Ada-Europe Conference.

ASIS (The Ada Semantic Interface Specification) is the interface between an
Ada environment (or a set of Ada component maintained by some Ada
implementation) and various program analysis tools. ASIS was recently approved
as ISO standard ISO/IEC 15291.

ASIS-for-GNAT is the GNAT implementation of the ASIS technology. It is
successfully used by many GNAT users in various tool development projects. It
is also used as the tool development engine in the GNAT technology.

For more information, see:
-  the Conference site: http://www.ada-europe.org/conference2000.html
-  the ASIS Working Group Home Pages: http://www.acm.org/sigada/wg/asiswg 

Do not forget to register ASAP!

Sergey Rybin (rybin@gnat.com)