Quality-for-ASIS: A portable testing facility for ASIS-Reference-Cited by-同舟云学术

Quality-for-ASIS: A portable testing facility for ASIS

Published:1998 Issue: Volume: Page:163-175
ISSN:0302-9743
Container-title:Reliable Software Technologies — Ada-Europe
language:
Short-container-title:

Author:

Strohmeier Alfred,Fofanov Vasiliy,Rybin Sergey,Barbey Stéphane

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055003

Reference13 articles.

1. ASIS documents are available electronically on the World Wide Web: http://www.acm.org/sigada/WG/asiswg/asiswg.html or by anonymous ftp: ftp://sw-eng.falls-church.va.us/public/AdaIC/work-grp/asiswg

2. S. Tucker Taft, Robert A. Duff (eds.) Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E). Lecture Notes in Computer Science, vol. 1246, Springer-Verlag, 1997, ISBN 3-540-63144-5.

3. S. Rybin, A. Strohmeier, E. Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.), Second International Eurospace-Ada-Europe Symposium Proceedings, Frankfurt-Germany, October 2–6 1995, LNCS no 1031, Springer, 1995, pp. 139–151.

4. S. Rybin, A. Strohmeier, A. Kuchumov, V. Fofanov: ASIS for GNAT: From the Prototype to the Full Implementation. In Alfred Strohmeier (Ed.), 1996 Ada-Europe International Conference on Reliable Software Technologies Proceedings, LNCS no 1088, Springer, pp. 298–311, 1996.

5. ASIS-for-GNAT is available electronically from LGL-EPFL by anonymous ftp: ftp://lglftp.epfl.ch/pub/ASIS.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code;Reliable SoftwareTechnologies — Ada-Europe 2001;2001

2. An Ada95 Programming Style Checker Using the GNAT ASIS Implementation;Reliable Software Technologies Ada-Europe 2000;2000

3. ASIS-for-GNAT: A Report of Practical Experiences;Reliable Software Technologies Ada-Europe 2000;2000