Beräkningar i kalkylblad är svåra att förstå och därför förblir många fel obemärkta. Problemet med de dolda felen ligger i att beräkningarnas struktur är osynlig. Som ett resultat, revision och visualisering verktyg krävs för att göra kalkylblad lättare att förstå och fel lättare att upptäcka. I detta dokument presenteras en teoretisk modell av kalkylblad och beskrivs olika kalkylarksrevisionsmekanismer med hjälp av modellen. Dessutom införs två nya visualiseringsmekanismer. Modellen återspeglar inte bara nuvarande kalkylbladssystem utan också hur människor faktiskt använder kalkylblad. Teoretiskt sett är det omöjligt att kontrollera riktigheten av ett kalkylblad utan en formell definition av dess beräkningar, men vår förhoppning är att hitta visualiseringar som pekar ut delar av kalkylblad som innehåller avvikelser, dvs. potentiella platser för fel. Modellen hjälper oss att förstå hur sådana avvikelser kan definieras.
Modellen för formler, format, relationer (FFR) presenteras i Ref abstracts strukturen för kalkylblad.
Modeling Spreadsheet Audit: A Rigorous Approach to Automatic Visualization
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}