{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:18Z","timestamp":1725495018814},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425786"},{"type":"electronic","value":"9783540448150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44815-2_5","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:17:24Z","timestamp":1195139844000},"page":"57-69","source":"Crossref","is-referenced-by-count":10,"title":["Aspect Composition Applying the Design by Contract Principle"],"prefix":"10.1007","author":[{"given":"Herbert","family":"Klaeren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulverm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Awais","family":"Rashid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,13]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"M. Aksit. Composition and Separation of Concerns in the Object-Oriented Model. ACM Computing Surveys, 28(4), December 1996.","DOI":"10.1145\/242224.242413"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"M. Aksit and B. Tekinerdogan. Aspect-Oriented Programming Using Composition Filters. In ECOOP 1998 Workshop Reader, page 435, Springer-Verlag, 1998.","DOI":"10.1007\/3-540-49255-0_132"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"D. Batory and B. J. Geraci. Composition Validation and Subjectivity in GenVoca Generators. In IEEE Transactions on Software Engineering, pages 67\u201382, 1997.","DOI":"10.1109\/32.585497"},{"key":"5_CR4","volume-title":"Object-Oriented Analysis and Design","author":"G. Booch","year":"1994","unstructured":"G. Booch. Object-Oriented Analysis and Design. Benjamin\/Cummings, Redwood City, CA, second edition, 1994.","edition":"second edition"},{"key":"5_CR5","unstructured":"J. O. Coplien. Multi-Paradigm Design. In A. Speck and E. Pulverm \u00fcller, editors, Collection of Abstracts of the GCSE\u201999 YRW, http:\/\/www-pu.informatik.uni-tuebingen.de\/users\/speck\/GCSE99_YoungResearch\/abstracts\/JimCopliengcseYR99.html , September 1999."},{"key":"5_CR6","unstructured":"J. O. Coplien. Multi-Paradigm Design for C++. Addison-Wesley, 1999."},{"key":"5_CR7","volume-title":"Generative Programming, Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models","author":"K. Czarnecki","year":"1999","unstructured":"K. Czarnecki. Generative Programming, Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models. PhD thesis, Technical University of Ilmenau, Ilmenau, Germany, 1999."},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-48743-3_2","volume-title":"Proceedings of ECOOP\u201999","author":"K. Czarnecki","year":"1999","unstructured":"K. Czarnecki and U. W. Eisenecker. Synthesizing Objects. In Proceedings of ECOOP\u201999, Lecture Notes in Computer Science LNCS1628, pages 18\u201342. Springer-Verlag, June 1999."},{"key":"5_CR9","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976."},{"key":"5_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Joint Modular Programming Languages Conference","author":"U. W. Eisenecker","year":"1997","unstructured":"U. W. Eisenecker. Generative Programming GP with C++. In H.-P. M\u00f6ssenb\u00f6ck, editor, Proceedings of Joint Modular Programming Languages Conference,LNCS1204. Springer-Verlag, 1997."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"R. W. Floyd. Assigning Meanings to Programs. In J. T. Schwartz, editor, Proc. Am. Math. Soc. Symp. in Applied Math., volume 19, pages 19\u201331, Providence, R. i., 1967. American Mathematical Society.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5_CR12","volume-title":"Design Patterns: Abstractions and Reuse of Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Abstractions and Reuse of Object-Oriented Software. Addison-Wesley, Reading, MA, 1994."},{"key":"5_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-62599-2_29","volume-title":"Proceedings Joint Modular Languages Conference","author":"J. Gough","year":"1997","unstructured":"J. Gough and H. Klaeren. Executable Assertions and Separate Compilation. In H.-P. M\u00f6ssenb\u00f6ck, editor, Proceedings Joint Modular Languages Conference, LNCS1204, pages 41\u201352. Springer-Verlag, 1997."},{"issue":"10","key":"5_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10):576\u2013583, October 1969.","journal-title":"Communications of the ACM"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"P. Kenens, S. Michiels, F. Matthijs, B. Robben, E. Truyen, B. Vanhaute, W. Joosen, and P. Verbaeten. An AOP Case with Static and Dynamic Aspects. In Proceedings of the Aspect-Oriented Programming Workshop at ECOOP98, 1998.","DOI":"10.1007\/3-540-49255-0_129"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"M. A. Kersten and G. C. Murphy. Atlas: A Case Study in Building a Web-based Learning Environment using Aspect-oriented Programming. OOPSLA, 1999.","DOI":"10.1145\/320384.320421"},{"key":"5_CR17","series-title":"Lect Notes Comput Sci","volume-title":"ECOOP","author":"G. Kiczales","year":"1997","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Lecture Notes in Computer Science LNCS1241, ECOOP. Springer-Verlag, June 1997."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"C. V. Lopes and G. Kiczales. Recent Developments in AspectJ. In Proceedings of the Aspect-Oriented Programming Workshop at ECOOP98, 1998.","DOI":"10.1007\/3-540-49255-0_119"},{"key":"5_CR19","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1991","unstructured":"B. Meyer. Eiffel: The Language. Prentice Hall, Englewood Cliffs, 1991."},{"issue":"10","key":"5_CR20","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Applying \u201cDesign by Contract\u201d. IEEE Computer, 25(10):40\u201351, October 1992.","journal-title":"IEEE Computer"},{"key":"5_CR21","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall PTR, Upper Saddle River, NJ, second edition, 1997.","edition":"second edition"},{"key":"5_CR22","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and Specification, February 1998."},{"issue":"12","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas. On The Criteria To Be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053\u20131058, December 1972.","journal-title":"Communications of the ACM"},{"key":"5_CR24","unstructured":"L. Pazzi. Explicit Aspect Composition by Part-Whole Statecharts. In Proceedings of the Aspect-Oriented Programming Workshop at ECOOP\u201999, 1999."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"E. Pulverm\u00fcller, H. Klaeren, and A. Speck. Aspects in Distributed Environments. In Proceedings of the International Symposium on Generative and Component-Based Software Engineering GCSE\u201999, Erfurt, Germany, September 1999.","DOI":"10.1007\/3-540-40048-6_4"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D. S. Rosenblum","year":"1995","unstructured":"D. S. Rosenblum. A Practical Approach to Programming With Assertions. IEEE Transaction on Software Engineering, 21(1):19\u201331, January 1995.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"5_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1007\/BFb0054107","volume-title":"Implementing Layered Designs with Mixin Layers","author":"Y. Smaragdakis","year":"1998","unstructured":"Y. Smaragdakis and D. Batory. Implementing Layered Designs with Mixin Layers. In Lecture Notes in Computer Science LNCS1445, pages 550\u2013570, 1998."},{"key":"5_CR28","unstructured":"A. Speck, E. Pulverm\u00fcller, and M. Mezini. Reusability of Concerns. In C. V. Lopes, L. Bergmans, M. DHondt, and P. Tarr, editors, Proceedings of the Aspects and Dimensions of Concerns Workshop, ECOOP2000, Sophia Antipolis, France, June 2000."},{"key":"5_CR29","volume-title":"Component Software","author":"C. Szyperski","year":"1997","unstructured":"C. Szyperski. Component Software. Addison-Wesley, ACM-Press, New York, 1997."},{"key":"5_CR30","unstructured":"P. Wegner. The Object-Oriented Classification Paradigm. In P. Wegner and B. Shriver, editors, Research Directions in Object-Oriented Programming, pages 479\u2013560. MIT Press, 1987."},{"issue":"3","key":"5_CR31","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/251634.251638","volume":"32","author":"J. F. H. Winkler","year":"1997","unstructured":"J. F. H. Winkler and S. Kauer. Proving Assertions is also Useful. SIGPLAN Notices, 32(3):38\u201341, 1997.","journal-title":"SIGPLAN Notices"},{"key":"5_CR32","unstructured":"XEROX Palo Alto Research Center, http:\/\/aspectj.org . Homepage of AspectJ, 2000."}],"container-title":["Lecture Notes in Computer Science","Generative and Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44815-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:16:21Z","timestamp":1556975781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44815-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425786","9783540448150"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-44815-2_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}