BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
ada (7)
use (5)
gnat (4)
implement (3)
tool (3)

Stem asi$ (all stems)

17 papers:

AdaSIGAda-2009-RosenT #ada #semantics
The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
AdaSIGAda-2005-AusdenN #c++ #using
Using ASIS to generate C++ bindings (HA, KAN), pp. 23–30.
AdaEuropeAdaEurope-2001-KuchumovRS #ada #library #named #object-oriented
OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
AdaSIGAda-2001-LaskiSP #database #query
Beyond ASIS: program data bases and tool-oriented queries (JWL, WS, PP), pp. 81–90.
AdaEuropeAdaEurope-2000-CloshenH #ada #implementation #programming #using
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
AdaEuropeAdaEurope-2000-HovaterMB #design #documentation #generative #interface #using
Generation of Interface Design Description Documents Using ASIS (SVH, WM, AB), pp. 138–148.
AdaEuropeAdaEurope-2000-RybinSFK #case study #experience #named
ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.
AdaSIGAda-1999-Colket #analysis #realtime #using
Code analysis of saftey-critical and real-time software using ASIS (WCC), pp. 67–76.
AdaSIGAda-1999-Wisniewski #ada
Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.
AdaEuropeAdaEurope-1998-StrohmeierFRB #named #testing
Quality-for-ASIS: A Portable Testing Facility for ASIS (AS, VF, SR, SB), pp. 163–175.
AdaSIGAda-1998-PritchettR #static analysis
An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.
AdaTRI-Ada-1997-FofanovRS #interactive #interpreter #named
ASIStint: An Interactive ASIS Interpreter (VF, SR, AS), pp. 205–209.
AdaEuropeAdaEurope-1996-RybinSKF #implementation #prototype
ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.
AdaTRI-Ada-1996-RybinS #ada #difference
Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
AdaEuropeAdaEurope-1995-RybinSZ #implementation #problem
ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.
AdaTRI-Ada-1993-White #ada #interface #semantics #specification #using
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS) (MW), pp. 347–353.
AdaTRI-Ada-C-1992-BlakeB #ada #case study #experience #interface #perspective #semantics #specification
Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View (SJB, JBB), pp. 458–468.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.