[Up] [SIGAda] [ACM]

ASIS Bibliography

ASISWG/ASISRG has several published articles and conference presentations which describe what we've been doing or how ASIS has been used.

To Be Presented and/or Published

Presentations at Conferences

The following presentations are about ASIS or ASIS-related tools at major meetings or conferences. It should be noted, however, that for conference proceedings, the final printed article may have been slightly different in form and content due to final editing performed by the proceeding's editing staff. Presentations have been made in 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1993, and 1992.

2001: ASIS at SIGAda 2001, Bloomington, Minnesota USA. 30 September - 4 October, 2001.
2000: ASIS at SIGAda 2000, Laurel, Maryland USA. November 12-16, 2000.
1999: ASIS at SIGAda'99, Redondo Beach, California USA, October 17-21, 1999.; Software Technology Conference '99, May 3-7, 1999.; Currie Colket and Bill Thomas, "Analysis of Safety-Critical and Mission-Critical Systems Using ASIS", presented on 4 May. This slide set, available as a PowerPoint file (513 KBytes), introduces the concept of a template for executing ASIS applications. This template will be available soon.
1998: ASIS at SIGAda'98, November 8-13, 1998.; Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin and Stéphane Barbey, ``Quality-for-ASIS: A Portable Testing Facility for ASIS,'' International Conference on Reliable Software Technologies - Ada-Europe'98, Lars Asplund (Ed.), Uppsala, Sweden, June 2-8 1998, LNCS (Lecture Notes in Computer Science), Springer, 1998. It is available as a PostScript file (141 KBytes). Abstract: This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compiler validation suite are provided. Keywords: Ada, ASIS, Testing, Black-Box Testing, Specification-Based Testing.; Currie Colket made a presentation titled "Analysis of Mission-Critical Systems Using ASIS" on Tuesday, 21 April, 3:45-4:30 PM, at the Software Technology Conference (STC'98) held 19-24 April 1998 in Salt Lake City, Utah, USA. It is available as a PowerPoint slide set (492 Kbytes) and as a PostScript file (1,018 Kbytes).; Robert C. Leif presented a paper, "Equitable Software", at the Workshop on Commercializing Ada. The draft version is available as a PDF file.
1997: ASIS at Tri-Ada'97, November 10-13, 1997.; September 8-12, 1997, Workshop on Methods and Tools for Ada95, Brest, France. Dr. Sergey Rybin will give an ASIS Tutorial, including an informal hands-on session, at the Workshop on Methods and Tools for Ada95 on Tuesday, 9 September.; "ASIS 95 Panel: Roll Your Own Analysis Tools", chaired by Currie Colket, WAdaS'97, June 26, 1997.; Currie Colket, "Ada Semantic Interface Specification (ASIS): To Understand Software Complexity", Ada-Europe'97, June 3, 1997 (available as a PowerPoint 4.0 slide set, 371 Kbytes).; Celier, Vincent M., Drasko Sotirovski, Christopher J. Thompson; June 1997: "Code-Data Consistency in Ada"; 1997 Ada-Europe International Conference on Reliable Software Technologies, London, U.K. Proceedings; Springer Lecture Notes in Computer Science #1251; pp. 209-216. You can download the paper as a Postscript file (109 Kbytes), as a Rich Text Format (RTF) file (92 Kbytes), or as a Microsoft Word 6.0 file (61 Kbytes).; Currie Colket, "Ada Semantic Interface Specification (ASIS): To Improve Software Quality", Software Technology Conference, April 30, 1997 (available as a PowerPoint 4.0 slide set, 369 Kbytes).
1996: Sergey Rybin and Alfred Strohmeier, "Ada and ASIS: Justification of Differences in Terminology and Mechanism", Tri-Ada'96 Conference, December 3-7, 1996.; ASIS Birds-of-a-Feather, Tri-Ada'96 Conference, December 4, 1996.; Sergey Rybin, Alexey Kuchumov, Vasily Fofanov, and Alfred Strohmeier, "From the Prototype to the Full Implementation", Ada-Europe'96 Conference, June 10-14, 1996 (this presentation is available in PostScript form, 107 Kbytes).; "ASIS 95 Panel", co-chaired by Currie Colket and Dr. Sergey Rybin, Ada-Europe'95 Conference, June 10-14, 1996.; "ASIS 95 Panel", co-chaired by Currie Colket and Dr. Sergey Rybin, Ada-Europe News, April 1996, Number 23.
1995: Sergey Rybin, Alfred Strohmeier, and Eugene Zueff, "ASIS for GNAT: Goals, Problems and Implementation Strategy", Ada-Europe'95 Conference, 6 October 1995. This paper describes the approach taken to implement ASIS for the GNAT Ada compiler. It discusses the main implementation problems with their solutions; it also describes the current state of the implementation. An updated paper was printed in the March/April 1996 issue of Ada Letters. It is available in PostScript format.; "Overview of ASIS and ASISWG", a presentation for 4 November at the ASIS Birds-of-a-Feather session at Tri-Ada'95 ( PostScript (color) slide presentation available); "Overview of ASIS and ASISWG", a presentation given at the April 1995 Software Technology Conference; there is also a Powerpoint slide set, and an updated Powerpoint slide set.
1993: ASISWG at WAdaS'93, June 1993.; ASIS for Analysis of Recorded Data, a presentation by Mickey White (then of IBM FSC, Boulder, Colorado) at the Software Technology Conference held in April 1993 (STC'93). A Powerpoint (color) slide set and a PostScript form of the slide presentation are available. The associated paper, "A Universal Delogger Using the Ada Semantic Interface Specification (ASIS)", appeared in the Proceedings of that conference; it is available in PostScript form and as a Microsoft Word document. Both the paper and the slide set are needed to understand the paper; slides 15, 16, and 17 in the slide set are Attachments 1, 2, and 3 of the paper.
1992: ASISWG at STARS'92, December 1992.; ASISWG at Tri-Ada'92, November 1992.

Papers published in Periodicals

The following articles are about ASIS or ASIS-related tools (or mention ASIS) or they describe what ASISWG did at major meetings or conferences. It should be noted, however, that the final printed article may have been slightly different in form and content due to final editing performed by the periodical's editing staff. Articles were published in 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, and 1992.

2000

*** NEW *** "Workshop Report: ASIS - Extensions For Higher Level Abstractions, 1:30-5:30 PM, Thursday, 21 October 1999, SIGAda'99, Redondo Beach, California", Ada Letters, Volume XX, No. 1, March 2000, p.19.

1999

Robert C. Leif, "SIGAda'98, Workshop: How do We Expedite the Commercial Use of Ada?", Ada Letters, Volume XIX, No. 1, March 1999, p.28. It is available as a PDF Document (134 KBytes).

"ASIS Has Been Approved As ISO Standard", Ada Letters, Volume XIX, No. 1, March 1999, p.40.

"Workshop Report: ASIS - Where Do We Go From Here? 6-10 PM, Sunday, 8 November 1998, SIGAda'98, Washington, D.C.", Ada Letters, Volume XIX, No. 1, March 1999, p.42.

Pace Drury, "Using ASIS for Data Base Insulation", Ada Letters, Volume XIX, No. 1, March 1999, p.64. It is available as a Word document.

Robert C. Leif, "Ada Developers Cooperative License (Draft) Version 0.3", Ada Letters, Volume XIX, No. 1, March 1999, p.97. It is available as a PDF Document.

1998

"ASIS Report for WG9 Meeting on 12 June 1998, Uppsala, Sweden", including "Disposition of Comments From Final Committtee Draft (FCD) Ballot of ISO/IEC 15291, Ada Semantic Interface Specification (ASIS)", Ada Letters, Volume XVIII, No. 4, July/August 1998

"Report on Highlights of ASISWG/ASISRG Activities for First Quarter 1998", Ada Letters, Volume XVIII, No. 3, May/June 1998

"ASISWG/ASISRG Comments for Input to ASIS Ballot", Ada Letters, Volume XVIII, No. 3, May/June 1998

Letter from Ben Brosgol, SIGAda Chair, Ada Letters, Volume XVIII, No. 2, March/April 1998.

"ASIS Report for WG9 Meeting on 14 November 1997, St. Louis, Missour, United States", Ada Letters, Volume XVIII, No. 1, January/February 1998.

"Ada Semantic Interface Specification (ASIS) Frequently Asked Questions", Ada Letters, Volume XVIII, No. 1, January/February 1998.

1997

C. Daniel Cooper, "ASIS-Based Code Analysis Automation", Ada Letters, Volume XVII, No. 6, November/December 1997. It is available as a PostScript file (259 KBytes) or as a PDF file (59 KBytes).

"Ada Semantic Interface Specification (ASIS) Frequently Asked Questions", Ada Letters, Volume XVII, No. 2, March/April 1997.

"Minutes of 3 December 1996 ASISWG/ASISRG Meeting With Tri-Ada'96 Philadelphia, PA, 3 December 1996", Ada Letters, Volume XVII, No. 2, March/April 1997.

"Highlights of 3 December 1996 ASISWG/ASISRG Meeting", Ada Letters, Volume XVII, No. 2, March/April 1997.

Currie Colket, Gary Barnes, Steve Blake, Dan Cooper, Jesper Jorgensen, Clyde Roby, Dan Rittersdorf, Dr. Sergey Rybin, Dr. Alfred Strohmeier, Bill Thomas, "Architecture of ASIS: A tool to Support Code Analysis of Complex Systems", Ada Letters, Volume XVII, No. 1, January/February 1997.

1996

"Minutes from ASISWG/ASISRG Meeting, Ada-Europe'96, Montreux, Switzerland, 10 June 1996", Ada Letters, Volume XVI, No. 5, September/October 1996.

"Highlights of 10 June 1996 ASISWG/ASISRG Meeting", Ada Letters, Volume XVI, No. 5, September/October 1996.

"Minutes from ASISWG/ASISRG Meeting, Hosted by Harris Computer Systems Corporation, Fort Lauderdale, Florida, USA, 11-12 March 1996", Ada Letters, Volume XVI, No. 4, July/August 1996.

Currie Colket, "Ada Semantic Interface Specification (ASIS) Frequently Asked Questions", Ada-Europe News, April 1996, Number 23.

Sergey Rybin, Alfred Strohmeier, Eugene Zueff, "ASIS for GNAT: Goals, Problems and Implementation Strategy", Ada Letters, Volume XVI, No. 2, March/April 1996. This updated paper of a presentation made at Ada-Europe'95 is available in PostScript format.

"Ada Semantic Interface Specification (ASIS) Frequently Asked Questions", Ada Letters, Volume XVI, No. 2, March/April 1996.

"Highlights of 2-3 November 1995 ASISWG/ASISRG Meeting", Ada Letters, Volume XVI, No. 2, March/April 1996.

"Minutes from ASISWG/ASISRG Meeting", Ada Letters, Volume XVI, No. 2, March/April 1996.

Robert C. Leif, "Commercializing Ada", Ada Letters, Volume XVI, No. 1, January/February 1996.

1995

"Highlights of the June 1995 ASISWG/ASISRG Meeting", Ada Letters, Volume XV, No. 5, September/October 1995.

"Ada Semantic Interface Specification (ASIS) Working Group Report", Ada Letters, Volume XV, No. 4, July/August 1995.

1994

"ASISWG Completes ASIS Specification for Ada 83, Effort Advances for ASIS9X", AdaIC Newsletter, Fall 1994, October 1994.

Daniel H. Ehrenfried, "Static Analysis of Ada Programs", Ada Letters, Volume XIV, No. 4, July/August 1994. (This paper is available for downloading as a Word 6.0 file and as a Frame 5 file).

"Activities of the Ada Semantic Interface Specification Working Group (ASISWG)", Ada Letters, Volume XIV, No. 2, March/April 1994.

1993

"ASIS Progress Tracked and Advanced at Ada Conferences", AdaIC Newsletter, Winter 1993-94, December 1993 - January 1994.

"Activities of the Ada Semantic Interface Specification (ASIS) Working Group (ASISWG)", Ada Letters, Volume XIII, No. 3, May/June 1993.

"The Ada Semantic Interface Specification (ASIS): Why CASE Vendors Are Interested", by Fred Wild, Cadre Technologies Inc., AdaIC Newsletter, Spring 1993, May 1993.

"ASIS Working Group Seeking Input", AdaIC Newsletter, Spring 1993, May 1993.

1992

"ASIS Working Group Meets at TRI-Ada and STARS 92", AdaIC Newsletter, Winter 1992-93", December 1992 - January 1993.

"ASIS Standardization Working Group Established", AdaIC Newsletter, Fall 1992, September 1992.

[Up] [SIGAda] [ACM]

Last update 19 November 2001. Questions, comments to Clyde Roby (CRoby@IDA.Org)