{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:29:54Z","timestamp":1761708594313},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166891"},{"type":"electronic","value":"9783642166907"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16690-7_7","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T00:06:32Z","timestamp":1289174792000},"page":"157-171","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs"],"prefix":"10.1007","author":[{"given":"Xin","family":"Chen","sequence":"first","affiliation":[]},{"given":"Nan","family":"Ye","sequence":"additional","affiliation":[]},{"given":"Wenxu","family":"Ding","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"39","volume-title":"Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009","author":"M. Aksit","year":"2009","unstructured":"Aksit, M., Rensink, A., Staijen, T.: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, pp. 39\u201350. ACM, New York (2009)"},{"key":"7_CR2","first-page":"762","volume-title":"Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000","author":"J.C. Corbett","year":"2000","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: Bandera: a source-level interface for model checking java programs. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, pp. 762\u2013765. ACM, New York (2000)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-540-71209-1_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Goldman","year":"2007","unstructured":"Goldman, M., Katz, S.: Maven: Modular aspect verification. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 308\u2013322. Springer, Heidelberg (2007)"},{"issue":"1-2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rcos: A refinement calculus of object systems. Theor. Comput. Sci.\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR5","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"7_CR6","first-page":"29","volume-title":"Proceedings of the 7th workshop on Foundations of Aspect-Oriented Languages, FOAL 2008","author":"E. Katz","year":"2008","unstructured":"Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Proceedings of the 7th workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, pp. 29\u201338. ACM, New York (2008)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-39910-0_18","volume-title":"Verification: Theory and Practice","author":"S. Katz","year":"2003","unstructured":"Katz, S., Sihman, M.: Aspect validation using model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 373\u2013394. Springer, Heidelberg (2003)"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1233843.1233848","volume-title":"Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007","author":"R. Khatchadourian","year":"2007","unstructured":"Khatchadourian, R., Soundarajan, N.: Rely-guarantee approach to reasoning about aspect-oriented programs. In: Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, p. 5. ACM Press, New York (2007)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectj. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"7_CR11","first-page":"137","volume-title":"Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 137\u2013146. ACM, New York (2004)"},{"issue":"7","key":"7_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.5381\/jot.2007.6.7.a6","volume":"6","author":"F. Mostefaoui","year":"2007","unstructured":"Mostefaoui, F., Vachon, J.: Design-level detection of interactions in aspect-uml models using alloy. Journal of Object Technology\u00a06(7), 137\u2013165 (2007)","journal-title":"Journal of Object Technology"},{"key":"7_CR13","first-page":"491","volume-title":"Proc. of the 31st Annual International Computer Software and Applications Conference, COMPSAC 2007","author":"D. Xu","year":"2007","unstructured":"Xu, D., Alsmadi, I., Xu, W.: Model checking aspect-oriented design specification. In: Proc. of the 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, pp. 491\u2013500. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF01211617","volume":"9","author":"Q. Xu","year":"1997","unstructured":"Xu, Q., de Roever, W.P., He, J.: The rely-guarantee method for verifying shared variable concurrent programs. Formal Asp. Comput.\u00a09(2), 149\u2013174 (1997)","journal-title":"Formal Asp. Comput."}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16690-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:13:39Z","timestamp":1685837619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16690-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166891","9783642166907"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16690-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}