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
|