[Up]
[SIGAda]
[ACM]
An Interface to the Ada95 Compilation Environment
ASIS Working Group (ASISWG)
ASIS Rapporteur Group (ASISRG)
ASIS is now available as ISO/IEC International Standard!!
ISO/IEC 15291:1999 Information technology — Programming
languages — Ada Semantic Interface Specification (ASIS)
The ASIS Standard is available via the ISO Catalog at
http://www.iso.org/iso/en/prods-services/ISOstore/store.html;
the ASIS specific reference is located at
http://www.iso.org/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=27169&ICS1=35&ICS2=60&ICS3=&scopelist=.
ASIS Standardization Announcement/Acknowledgements
ASIS Tutorials
We encourage all newcomers to ASIS to begin with the
ASIS Tutorials.
Please avail yourself of this information. Also useful from a
tutorial perspective is a variety of information from STC'99 and
SIGAda'98.
STC'99 included a
PowerPoint presentation on ASIS (513 KBytes);
SIGAda'98
included a workshop, a tutorial, a paper on the use of ASIS for
assessing safety-critical requirements, and a joint SAFEWG/ASISWG BoF.
ASIS Web Site Contents
Upcoming ASISWG/ASISRG Meetings and
Events
For additional information on the ASISWG and/or ASISRG, contact the chairman:
-
Bill Thomas
The MITRE Corporation
7515 Colshire Drive
McLean, VA 22102-7508
Phone: (703) 983-6159
FAX: (703) 983-1339
Email: BThomas@MITRE.Org
ASIS Implementations, Products, and Services
The following provide
ASIS Implementations.
The following have
ASIS-based Products.
The following have publically available ASIS Applications
with source code.
The following provide
ASIS-based Services.
Becoming Involved
Membership
-
ASISWG/ASISRG maintains two electronic mail forums: one for general
ASIS information and one for technical discussions about ASIS
itself. To have your email address added to one or both of these
forums, send email to either:
-
SIGAda-ASIS-Request@ACM.Org
- or
-
SIGAda-ASIS-Tech-Request@ACM.Org
with the following information:
- Name
- Company address (on as many lines as necessary)
- Phone Number
- FAX Number
- E-mail address(es)
- World Wide Web URL
- Mailing address, if different from Company address
-
You may also send an email request to:
-
LISTSERV@ACM.Org
with the body containing only the line (note that case is insensitive):
subscribe SIGAda-ASIS Your Name
or
subscribe SIGAda-ASIS-Tech Your Name
You will then be contacted by the list owner, Clyde Roby, who will
request the contact information listed above in a separate email
messsage.
To be removed from any list, send an email request to:
LISTSERV@ACM.Org
with the body containing (note that case is insensitive):
signoff SIGAda-ASIS
or
signoff SIGAda-ASIS-Tech
Participation
-
Periodic meetings are held typically
at SIGAda and Ada-Europe conferences.
Since summer 1997, most business has been
conducted via email as the ASIS specification is rather complete and
in ISO ballot process.
To find out about future ASISWG/ASISRG
meetings,
join the
ASISWG/ASISRG electronic forum or
send email to the chair.
- Prior to each meeting, there is considerable discussion via email
on the issues to be discussed. You are cordially invited to
participate at the meetings either in person or through
technical email discussions.
Who's Involved?
- Current Officers (and Active Members) —
Removed 21 April 2010 (previously updated 13 June 2002)
- Current Members —
Removed 21 April 2010 (previously updated 14 February 2006)
- Other Members —
Removed 21 April 2010 (previously updated 3 December 2003)
[Up]
[SIGAda]
[ACM]
Last update 21 April 2010.
Questions, comments to
Clyde Roby (CRoby@IDA.Org)