Cited By
View all- Hutcheon AJordan DMcDermid JPierce RWand IJepson B(2005)Tool support for high integrity Ada softwareAda in Europe10.1007/3-540-58822-1_89(63-75)Online publication date: 8-Jun-2005
Following the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in