TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Prof R Conn <[log in to unmask]>
Date:
Thu, 18 Sep 1997 08:46:53 EDT
X-cc:
X-To:
Reply-To:
Prof R Conn <[log in to unmask]>
Parts/Attachments:
text/plain (251 lines)
Hi, Everyone,

There have also been some minor improvements to the ASIS writeup.
Here it is as it will appear on the upcoming Ada CDROM.

Rick
--
Richard Conn, PAL Manager  |  [log in to unmask]
Opinions expressed herein are my own and not necessarily those of anyone else.
 =============================================================================
Public Ada Library (PAL) Release Notice
Release of: Ada Semantic Interface Specification - ASIS - ISO/IEC Final Ballot CD
------------------------------
1. Taxonomy:
    BINDINGS
        ADA SEMANTIC INTERFACE SPECIFICATION
            CURRENT COPY FOR ISO/IEC JTC1/SC22 FINAL CD BALLOT
------------------------------
2. Author:
    See individual files
------------------------------
3. Rights:
    Approved for public release; distribution unlimited
------------------------------
4. Copyright:
    See individual files
------------------------------
5. Abstract:
The PAL tree for ASIS (ada/docs/asis) --
  This contains the ASIS Working Draft Standard, as submitted for ballot
in September 1997.

The Ada Semantic Interface Specification (ASIS) is an interface
between an Ada environment as defined by ISO/IEC 8652 (the Ada95
Reference Manual) and any tool or application requiring information
from this environment. An Ada environment includes valuable semantic
and syntactic information useful for assessing software quality.

ASIS is particularily useful for code analysis of mission-critical and
safety-critical applications during both initial code development and
later during Independent Verification & Validation (IV&V).

Examples of tools that benefit from the ASIS interface include:

  automated code monitors, browsers, call tree tools, code reformators,
  coding standards compliance tools, correctness verifiers, debuggers,
  dependency tree analysis tools, design tools, document generators,
  metrics tools, quality assessment tools, reverse engineering tools,
  re-engineering tools, style checkers, test tools, timing estimators,
  and translators.

In fact most of these tools have already been developed using the ASIS
interfaces by people in Australia, Canada, China, Denmark, France,
Germany, Japan, Russia, Sweden, Switzerland, the United Kingdom, and
the United States.
------------------------------
6. Release Notice:
Approved for public release; distribution unlimited
------------------------------
7. Directory Listing:

languages/ada/docs/asis:
  File Name                 Size
  ---------                 ----
  00README                   555
  9404-ASISWG-Charter.ps
                           8,058
  9404-ASISWG-Charter.txt
                           1,711
  9406-ASISWG-Charter.txt
                           1,566
  9506-ASISWG-Charter
                           1,570
  9506-Highlights.html
                           7,106
  9506_ASISWG.html
                           6,728
  9511-ASISWG-Charter.txt
                           1,567
  9511-Highlights.html
                           4,675
  9511_ASISWG.html
                           7,403
  9603_ASISWG.html
                           9,853
  9605-Announce.html
                           4,757
  9605-Highlights.html
                           3,864
  9606-Highlights.html
                           9,095
  9606_ASISWG.html
                           6,704
  9606_Panel.html
                          14,435
  9612-BoF.html            5,189
  9612-Highlights.html
                           8,116
  9703-Highlights.html
                           5,409
  9706_Panel.html
                           4,074
  ASIS-ISO-Schedule.html
                           7,642
  ASIS-NWI.html            7,187
  ASIS-Slides-9612.ppt
                          25,088
  ASIS-logo-blue50.gif
                           5,458
  ASISWG-gif.html
                           1,327
  ASISWG.html             10,329
  ASISWG_Officers.html
                           3,696
  ASISWG_Results.html
                          14,372
  ASIS_Background.html
                           3,953
  ASIS_Bibliography.html
                          12,006
  ASIS_CD.html             7,760
  ASIS_Clients.html
                          16,907
  ASIS_FAQ-9505.html
                           9,410
  ASIS_FAQ-9508.html
                           9,177
  ASIS_FAQ-9511.html
                          11,289
  ASIS_FAQ-9604.html
                          11,792
  ASIS_FAQ-9606.html
                          11,808
  ASIS_FAQ-9612.html
                          11,090
  ASIS_FAQ-9706.html
                          13,869
  ASIS_FAQ.html           13,869
  ASIS_GNAT_9501.html
                           2,002
  ASIS_GNAT_9506.html
                           7,267
  ASIS_GNAT_9507.html
                           5,150
  ASIS_GNAT_9601.html
                           5,478
  ASIS_GNAT_9603.html
                           5,615
  ASIS_GNAT_9605.html
                           8,254
  ASIS_GNAT_9606.html
                           7,030
  ASIS_GNAT_9612.html
                           3,386
  ASIS_GNAT_9702.html
                           2,707
  ASIS_GNAT_9703.html
                           2,971
  ASIS_GNAT_9704.html
                           5,225
  ASIS_GNAT_9705.html
                           5,547
  ASIS_GNAT_9707.html
                           5,356
  ASIS_NWI_SC22.html
                           5,738
  ASIS_News.html          11,964
  ASIS_PVL.html            7,246
  ASIS_Providers.html
                           5,828
  ASIS_WD.html             4,094
  ASIS_Work.html           5,584
  ASIS_Workshop_9510.html
                          11,579
  ASISlogo-big.gif
                          13,387
  Comments-Summary.html
                          20,636
  Harris_map.ps           11,880
  Highlights-SC22-9708.html
                           3,300
  Highlights-WG9-9706.html
                           8,941
  Highlights.html
                           5,409
  Issues-Summary.html
                          24,604
  Summer_SIGAda_1995.html
                           3,012
  TSAT-User-Guide.html
                          22,127
  acknow.html              5,810
  arch.html                9,471
  asis-b1.txt              7,811
  asis-b2.txt             10,422
  asis20p.ada            591,504
  asis20p.doc          1,605,120
  asis20p.ps           2,937,673
  asiswg-inactive-members.html
                          32,332
  asiswg-members.html
                          26,307
  asiswg.html             10,329
  basics.html             14,351
  clause-x                15,044
  clause-x.htm            15,638
  clause03.ads            75,238
  clause04.ads             2,833
  clause05.ads             3,464
  clause06.ads             8,075
  clause07.ads            11,972
  clause08.ads            13,930
  clause09.ads             9,636
  clause10.ads            44,683
  clause11.ads             4,632
  clause12.ads            14,941
  clause13.ads            50,057
  clause14.ads             7,107
  clause15.ads            84,623
  clause16.ads            53,072
  clause17.ads            56,981
  clause18.ads            38,133
  clause19.ads             8,291
  clause20.ads            28,028
  clause21.ads             7,921
  clause22.ads            60,015
  clause23.ads             7,816
  ddci_map.ppt           405,504
  ddci_map.ps            178,281
  fig_1.ppt               35,328
  fig_2.gif                9,140
  fig_2.ppt               22,016
  fig_3.gif               16,716
  fig_3.ppt               28,160
  fig_4.gif               61,139
  fig_4.ppt               46,592
  fig_c_1.ppt             31,232
  glossary.html            9,640
  index.html              10,329
  intro.html               8,701
  new-flag.gif               135
  newnew.gif                 134
  rational.html           19,163
  updated-flag.gif
                             153


Totals
  ==============  ==============
  120 Files            7,307,404

ATOM RSS1 RSS2