作者
Judith A Stafford, Alexander L Wolf, Mauro Caporuscio
发表日期
2003/9/22
图书
International School on Formal Methods for the Design of Computer, Communication and Software Systems
页码范围
52-62
出版商
Springer Berlin Heidelberg
简介
As the focus of software design shifts increasingly toward the architectural level, so too are its analysis techniques. Dependence analysis is one such technique that shows promise at this level. In this paper we briefly describe and illustrate the application of dependence analysis to architectural descriptions of software systems.
学术搜索中的文章
JA Stafford, AL Wolf, M Caporuscio - International School on Formal Methods for the Design …, 2003