{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:32Z","timestamp":1725488912113},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735885"},{"type":"electronic","value":"9783540735892"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73589-2_21","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T21:48:05Z","timestamp":1186955285000},"page":"450-450","source":"Crossref","is-referenced-by-count":0,"title":["Assuring Object-Oriented Architecture"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Aldrich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"J. Aldrich","year":"2005","unstructured":"Aldrich, J.: Open modules: Modular reasoning about advice. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, Springer, Heidelberg (2005)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"J. Aldrich","year":"2004","unstructured":"Aldrich, J., Chambers, C.: Ownership domains: Separating aliasing policy from mechanism. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, Springer, Heidelberg (2004)"},{"key":"21_CR3","unstructured":"AspectJ Team: The AspectJ programming guide, Version 1.5.3. (2006), Available from \n                    \n                      http:\/\/eclipse.org\/aspecti"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL, pp. 213\u2013223 (2003)","DOI":"10.1145\/604131.604156"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, Encapsulation, and the Disjointness of Type and Effect. In: OOPSLA (2002)","DOI":"10.1145\/582419.582447"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"A. Clement","year":"2003","unstructured":"Clement, A., Colyer, A., Kersten, M.: Aspect-oriented programming with AJDT. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"key":"21_CR7","unstructured":"Clifton, C.: A design discipline and language features for modular reasoning in aspect-oriented programs. PhD thesis, Iowa State (2005)"},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.scico.2006.02.009","volume":"63","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Leavens, G.T.: MiniMAO1: Investigating the semantics of proceed. Sci. Comput. Programming\u00a063(3), 321\u2013374 (2006)","journal-title":"Sci. Comput. Programming"},{"key":"21_CR9","unstructured":"Clifton, C., Leavens, G.T.: Observers and assistants: A proposal for modular aspect-oriented reasoning. In: FOAL (2002)"},{"key":"21_CR10","unstructured":"Clifton, C., Leavens, G.T.: Spectators and assistants: Enabling modular aspect-oriented reasoning. Technical Report TR #02-10, Dept. of Computer Science, Iowa State University (October 2002)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Dantas, D.S., Walker, D.: Harmless advice. In: POPL (2006)","DOI":"10.1145\/1111037.1111071"},{"issue":"8","key":"21_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2005.4.8.a1","volume":"4","author":"W. Dietl","year":"2005","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight ownership for JML. Journal of Object Technology\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology"},{"volume-title":"Aspect-Oriented Software Development","year":"2005","key":"21_CR13","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Ak\u015fit, M. (eds.): Aspect-Oriented Software Development. Addison-Wesley, Reading (2005)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume-title":"Formal Syntax and Semantics of Java","author":"M. Flatt","year":"1999","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. In: Formal Syntax and Semantics of Java, pp. 241\u2013269. Springer, Heidelberg (1999)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Griswold, W.G., Sullivan, K., Song, Y., Shonle, M., Tewari, N., Cai, Y., Rajan, H.: Modular software design with crosscutting interfaces. IEEE Software, 51\u201360 (January\/February 2006)","DOI":"10.1109\/MS.2006.24"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating Objects with Confined Types. In: OOPSLA, pp. 241\u2013255 (2001)","DOI":"10.1145\/504282.504300"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"S. Gudmundson","year":"2001","unstructured":"Gudmundson, S., Kiczales, G.: Addressing practical software development issues in AspectJ with a pointcut interface. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, Springer, Heidelberg (2001)"},{"issue":"3","key":"21_CR18","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Prog. Lang. Syst.\u00a023(3), 396\u2013459 (2001)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"S. Katz","year":"2006","unstructured":"Katz, S.: Aspect categories and classes of temporal properties. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, Springer, Heidelberg (2006)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"S. Katz","year":"1999","unstructured":"Katz, S., Gil, Y.: Aspects and superimpositions. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, Springer, Heidelberg (1999)"},{"key":"21_CR21","unstructured":"Kiczales, G.: The fun has just begun. AOSD\u201903 Keynote Address (2003), available from \n                    \n                      http:\/\/www.cs.ubc.ca\/~gregor"},{"key":"21_CR22","first-page":"49","volume-title":"ICSE","author":"G. Kiczales","year":"2005","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: ICSE, pp. 49\u201358. ACM Press, New York (2005)"},{"issue":"5","key":"21_CR23","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/46.5.542","volume":"6","author":"K. Lieberherr","year":"2003","unstructured":"Lieberherr, K., Lorenz, D.H., Ovlinger, J.: Aspectual collaborations: Combining modules and aspects. The Computer Journal\u00a06(5), 542\u2013565 (2003)","journal-title":"The Computer Journal"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL, pp. 359\u2013371 (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"21_CR25","first-page":"316","volume-title":"OOPSLA","author":"P. Mulet","year":"1995","unstructured":"Mulet, P., Malenfant, J., Cointe, P.: Towards a methodology for explicit composition of metaobjects. In: OOPSLA, pp. 316\u2013330. ACM, New York (1995)"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Ongkingco, N., Avgustinov, P., Tibble, J., Hendren, L., de Moor, O., Sittampalam, G.: Adding open modules to AspectJ. In: AOSD (2006)","DOI":"10.1145\/1119655.1119664"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic Java. In: OOPSLA, pp. 311\u2013324 (2006)","DOI":"10.1145\/1167473.1167500"},{"issue":"6","key":"21_CR28","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1017\/S0956796806006125","volume":"16","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Featherweight Generic Confinement. Journal of Functional Programming\u00a016(6), 793\u2013811 (2006)","journal-title":"Journal of Functional Programming"},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Fast Software Encryption","author":"M. Rinard","year":"2004","unstructured":"Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. In: Roy, B., Meier, W. (eds.) FSE 2004. LNCS, vol.\u00a03017, Springer, Heidelberg (2004)"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Steimann, F.: The paradoxical success of aspect-oriented programming. In: OOPSLA, pp. 481\u2013497 (2006)","DOI":"10.1145\/1167473.1167514"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Sullivan, K., Griswold, W., Song, Y., Cai, Y., Shonle, M., Tewari, N., Rajan, H.: Information hiding interfaces for aspect-oriented design. In: FSE, pp. 166\u2013175 (May 2005)","DOI":"10.1145\/1081706.1081734"},{"issue":"6","key":"21_CR32","first-page":"507","volume":"31","author":"J. Vitek","year":"2001","unstructured":"Vitek, J., Bokowski, B.: Confined types in Java. S\u2014P&E\u00a031(6), 507\u2013532 (2001)","journal-title":"S\u2014P&E"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:52:45Z","timestamp":1619517165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735885","9783540735892"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}