Title | Architecture-level Dependence Analysis for Software Systems |
Publication Type | Journal Article |
Year of Publication | 2001 |
Authors | Stafford, J. A., D. J. Richardson, and A. L. Wolf |
Journal | International Journal of Software Engineering and Knowledge Engineering |
Volume | 11 |
Number | 4 |
Pagination | 431-452 |
Date Published | August |
Keywords | adl, architectural analysis, software architecture |
Abstract | Software architecture description languages provide a means to formally describe software systems at a high level of abstraction. They capture the high-level structure and/or behavior of the system, thus providing a basis for course-grain static analyses. Dependence analysis has been used as a basis for program optimization, debugging, and testing. We are developing a dependence analysis technique, called chaining, for use with formal architectural descriptions, and implementing the technique in a tool called Aladdin. |