Architecture of ASIS
Currie Colket, G. J. Barnes, Steve Blake, D. Kelly Cooper, Jesper Jørgensen, Clyde G. Roby, Dan Rittersdorf, Sergey Ryben, Alfred Strohmeier, Bill Thomas · ACM SIGAda Ada Letters · 1997
Ada Semantic Interface Specification (ASIS), as an emerging ISO standard, supports code analysis as part of good software engineering practice.ASIS can be an effective tool in addressing many software engineering, software quality, and software reliability issues to support the development of high-integrity systems.It can be effective in understanding complexity and thus mitigate the software crisis.