Programvaruarkitektur beskrivning språk ger ett sätt att formellt beskriva programvarusystem på en hög grad av abstraktion. De fångar systemets högnivåstruktur och/eller beteende, vilket ger en grund för kurs-korn statiska analyser. Beroendeanalys har använts som grund för programoptimering, felsökning och testning. Vi utvecklar en beroendeanalysteknik, kallad kedja, för användning med formella arkitektoniska beskrivningar, och implementerar tekniken i ett verktyg som heter Aladdin.
I REF föreslår författarna en beroendeanalysteknik som kallas kedja för att stödja programvaruarkitekturer som testar underhåll och så vidare.
Architecture-level Dependence Analysis for Software Systems
{'venue': 'INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING', 'journal': None, 'mag_field_of_study': ['Computer Science']}