{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:36:36Z","timestamp":1742380596615},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200833"},{"type":"electronic","value":"9783540398004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39800-4_4","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:54:22Z","timestamp":1294361662000},"page":"52-62","source":"Crossref","is-referenced-by-count":14,"title":["The Application of Dependence Analysis to Software Architecture Descriptions"],"prefix":"10.1007","author":[{"given":"Judith A.","family":"Stafford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander L.","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Caporuscio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and Evaluation of a Support Service for Mobile, Wireless Publish\/Subscribe Applications. IEEE Transactions on Software Engineering (to appear)","DOI":"10.1109\/TSE.2003.1265521"},{"issue":"11","key":"4_CR2","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/32.730544","volume":"24","author":"M.S. Feather","year":"1998","unstructured":"Feather, M.S.: Rapid Application of Lightweight Formal Methods for Consistency Analyses. IEEE Transactions on Software Engineering\u00a024(11), 949\u2013959 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/32.221135","volume":"19","author":"E.R. Gansner","year":"1993","unstructured":"Gansner, E.R., Koutsofios, E., North, S.C., Vo, K.-P.: A Technique for Drawing Directed Graphs. IEEE Transactions on Software Engineering\u00a019(3), 214\u2013230 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR4","unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: An Architecture Description Interchange Language. In: Proceedings of CASCON 1997. IBM Center for Advanced Studies, November 1997, pp. 169\u2013183 (1997)"},{"issue":"4","key":"4_CR5","first-page":"21","volume":"29","author":"D. Jackson","year":"1996","unstructured":"Jackson, D., Wing, J.M.: Lightweight Formal Methods. Computer\u00a029(4), 21\u201322 (1996)","journal-title":"Computer"},{"issue":"9","key":"4_CR6","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1109\/32.58784","volume":"16","author":"A. Podgurski","year":"1990","unstructured":"Podgurski, A., Clarke, L.A.: A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance. IEEE Transactions on Software Engineering\u00a016(9), 965\u2013979 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR7","unstructured":"Stafford, J.A.: A Formal, Language-Independent, and Compositional Approach to Control Dependence Analysis. PhD thesis, University of Colorado, Boulder, Colorado, USA (August 2000)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Stafford, J.A., Wolf, A.L.: Architecture-Level Dependence Analysis in Support of Software Maintenance. In: Proceedings of the Third International Software Architecture Workshop, November 1998, pp. 129\u2013132 (1998)","DOI":"10.1145\/288408.288441"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"J.A. Stafford","year":"2001","unstructured":"Stafford, J.A., Wolf, A.L.: Architecture-Level Dependence Analysis for Software Systems. International Journal of Software Engineering and Knowledge Engineering\u00a011(4), 431\u2013452 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"4_CR10","unstructured":"RAPIDE Design Team. Draft: Guide to the Rapide 1.0 Language Reference Manuals (July 1997)"},{"key":"4_CR11","unstructured":"RAPIDE Design Team. Draft: Rapide 1.0 Architecture Language Reference Manual (July 1997)"},{"key":"4_CR12","unstructured":"RAPIDE Design Team. Draft: Rapide 1.0 Pattern Language Reference Manual (July 1997)"},{"key":"4_CR13","unstructured":"Vestal, S.: MetaH Programmer\u2019s Manual Version 1.27. Honeywell, Inc., Minneapolis, MN (1998)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Vieira, M.E.R., Dias, M.S., Richardson, D.J.: Analyzing Software Architectures with Argus-I. In: Proceedings of the 2000 International Conference on Software Engineering. Association for Computer Machinery, June 2000, pp. 758\u2013761 (2000)","DOI":"10.1145\/337180.337624"},{"key":"4_CR15","unstructured":"Zhao, J.: Using Dependence Analysis to Support Software Architecture Understanding. In: New Technologies on Computer Software, pp. 135\u2013142 (September 1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39800-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:26:42Z","timestamp":1553333202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39800-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200833","9783540398004"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39800-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}