{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:06:50Z","timestamp":1725566810935},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235804"},{"type":"electronic","value":"9783540301752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_3","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T19:34:58Z","timestamp":1285270498000},"page":"39-54","source":"Crossref","is-referenced-by-count":15,"title":["A Generative Approach to Aspect-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Douglas R.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aspect-Oriented Software Development, www.aosd.net","key":"3_CR1"},{"doi-asserted-by":"crossref","unstructured":"Elrad, T., Filman, R., Bader, A.(eds.): Communications of the ACM\u2013 Special Issue on Aspect-Oriented Programming. \u00a044(10) (2001)","key":"3_CR2","DOI":"10.1145\/383845.383853"},{"key":"3_CR3","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., et al.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.: SASI enforcement of security policies: A retrospective. In: Proceedings of the New Security Paradigms Workshop, Ontario, Canada (1999)","key":"3_CR4","DOI":"10.1109\/DISCEX.2000.821527"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1145\/357172.357177","volume":"4","author":"R. Paige","year":"1982","unstructured":"Paige, R., Koenig, S.: Finite differencing of computable expressions. ACM Transactions on Programming Languages and Systems\u00a04, 402\u2013454 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1017\/S0269888901000029","volume":"16","author":"S. Westfold","year":"2001","unstructured":"Westfold, S., Smith, D.: Synthesis of efficient constraint satisfaction programs. Knowledge Engineering Review\u00a016, 69\u201384 (2001) (Special Issue on AI and OR)","journal-title":"Knowledge Engineering Review"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MS.1986.233070","volume":"3","author":"R. Paige","year":"1986","unstructured":"Paige, R.: Programming with invariants. IEEE Software\u00a03, 56\u201369 (1986)","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Deng, X., Dwyer, M., Hatcliff, J., Mizuno, M.: Invariant-based specification, synthesis and verification of synchronization in concurrent programs. In: Proceedings of the 24th International Conference on Software Engineering (May 2002)","key":"3_CR8","DOI":"10.1145\/581339.581394"},{"unstructured":"Pavlovic, D., Smith, D.R.: Evolving specifications. Technical report, Kestrel Institute (2004)","key":"3_CR9"},{"unstructured":"Kestrel Institute: Specware System and documentation. (2003), http:\/\/www.specware.org\/","key":"3_CR10"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"Smith, D.R.: KIDS \u2013 a semi-automatic program development system. IEEE Transactions on Software Engineering Special Issue on Formal Methods in Software Engineering\u00a016, 1024\u20131043 (1990)","journal-title":"IEEE Transactions on Software Engineering Special Issue on Formal Methods in Software Engineering"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0167-6423(99)00011-8","volume":"35","author":"J. Rehof","year":"1999","unstructured":"Rehof, J., Mogenson, T.: Tractable constraints in finite semilattices. Science of Computer Programming\u00a035, 191\u2013221 (1999)","journal-title":"Science of Computer Programming"},{"key":"3_CR13","first-page":"226","volume-title":"Advanced Planning Technology","author":"D.R. Smith","year":"1996","unstructured":"Smith, D.R., Parra, E.A., Westfold, S.J.: Synthesis of planning and scheduling software. In: Tate, A. (ed.) Advanced Planning Technology, pp. 226\u2013234. AAAI Press, Menlo Park (1996)"},{"issue":"10","key":"3_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/383845.383855","volume":"44","author":"K. Lieberherr","year":"2001","unstructured":"Lieberherr, K., Orleans, D., Ovlinger, J.: Aspect-oriented programming with adaptive methods. CACM\u00a044(10), 39\u201342 (2001)","journal-title":"CACM"},{"issue":"10","key":"3_CR15","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/383845.383856","volume":"44","author":"H. Ossher","year":"2001","unstructured":"Ossher, H., Tarr, P.: Using multidimensional separation of concerns to (re)shape evolving software. CACM\u00a044(10), 43\u201350 (2001)","journal-title":"CACM"},{"doi-asserted-by":"crossref","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems (2003)","key":"3_CR16","DOI":"10.1145\/1018203.1018208"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:45:15Z","timestamp":1605761115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}