I detta dokument beskrivs en metod för att identifiera globala variabler i Ada-förfaranden och lägga till dem i parameterlistan över lämpliga förfaranden. Globala variabler, som är synliga för hela programmet, anses skadliga för underhållet av programvarusystem på grund av de biverkningar som kan resultera. Ett verktyg har utvecklats baserat på specifikationen Ada Semantic Interface Specification (ASIS) som kan användas för att identifiera globala variabler och re-engineer Ada procedurer. Genom att lägga till globala variabler i parameterlistorna över lämpliga förfaranden kan variablerna tas bort från det globalt synliga datautrymmet och föras in i det lokala deklarationsutrymmet.
Sward och Chamillard utvecklade ett verktyg för att identifiera globala variabler och lägga till dem som lokala i parameterlistan över funktioner i Ada-program REF.
Re-engineering global variables in Ada
{'venue': "SIGAda '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}