{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:14Z","timestamp":1760586434641},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008996"},{"type":"electronic","value":"9783540365785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36578-8_11","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T07:16:11Z","timestamp":1193469371000},"page":"150-165","source":"Crossref","is-referenced-by-count":13,"title":["Pipa: A Behavioral Interface Specification Language for Aspect"],"prefix":"10.1007","author":[{"given":"Jianjun","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"11_CR1","unstructured":"The AspectJ Team. The AspectJ Programming Guide. 2001. AspectJ home page: http:\/\/www.aspectj.org ."},{"issue":"10","key":"11_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/383845.383857","volume":"44","author":"L. Bergmans","year":"2001","unstructured":"L. Bergmans and M. Aksits. Composing crosscutting Concerns Using Composition Filters. Communications of the ACM, Vol.44, No.10, pp.51\u201357, October 2001.","journal-title":"Communications of the ACM"},{"key":"11_CR3","unstructured":"D. Bertetzko, C. Fischer, M. Moller, and H. Wehrheim. Jass-Java with Assertions. In K. Havelund and G. Rosu, editors, ENTCS, Vol. 55, Elsevier Publishing, 2001."},{"issue":"6","key":"11_CR4","first-page":"39","volume":"7","author":"Y. Cheon","year":"1994","unstructured":"Y. Cheon and G. T. Leavens. A Quick Overview of Larch\/C++. Journal of Object-Oriented Programming, Vol.7, No.6, pp.39\u201349, October 1994.","journal-title":"Journal of Object-Oriented Programming"},{"key":"11_CR5","unstructured":"C. Clifton and G. T. Leavens. Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. Technical Report TR#02-04, Department of Computer Science, Iowa State University, March 2002."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. Proc. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp.234\u2013245, June 2002.","DOI":"10.1145\/512529.512558"},{"key":"11_CR7","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java Language Specification. The Java Series, Addison-Wesley, Reading, MA, 1996."},{"key":"11_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J. V. Guttag","year":"1993","unstructured":"J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, N. Y., 1993."},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"D. Jackson. Alloy: A Lightweight Object Modeling Notation. ACM Transaction on Software Engineering and Methodology, Vol.11, No.2, pp.256\u2013290, April 2002.","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"B. Jacobs, J. van den Berg, M. Huisman, M. van Berkum, U. Hensel, and H. Tews. Reasoning About Java Classes (Preliminary Report). Proc. ACM SIGPLAN 1998 Conference on Object-Oriented Programming Systems, Languages and Applications, pp.329\u2013340, October 1998.","DOI":"10.1145\/286942.286973"},{"key":"11_CR11","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1990","unstructured":"C. B. Jones. Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs, N.J., second edition, 1990.","edition":"second edition"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"S. Khurshid, D. Marinov, and D. Jackson. An Analyzable Annotation Language. Proc. ACM SIGPLAN 2002 Conference on Object-Oriented Programming Systems, Languages and Applications, October 2002.","DOI":"10.1145\/582419.582441"},{"key":"11_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"Aspect-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. M. Loingtier, and J. Irwin. Aspect-Oriented Programming. Proc. 11th European Conference on Object-Oriented Programming, pp.220\u2013242, LNCS, Vol.1241, Springer-Verlag, June 1997."},{"key":"11_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"An Overview of AspectJ","author":"G. Kiczales","year":"2001","unstructured":"G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and G. Griswold. An Overview of AspectJ. Proc. 15th European Conference on Object-Oriented Programming, pp.327\u2013352, LNCS, Vol.2072, Springer-Verlag, June 2001."},{"key":"11_CR15","unstructured":"R. Kramer. iContract-the Java Design by Contract Tool. Proc. Technology of Object-Oriented Language and Systems (TOOLS-USA), 1998."},{"key":"11_CR16","unstructured":"G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary Design of JML: a Behavioralb Interface Specification Language for Java. Technical Report TR98-06, Department of Computer Science, Iowa State University, 1998 (Last version: June 2002)."},{"issue":"10","key":"11_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/383845.383855","volume":"44","author":"K. Lieberher","year":"2001","unstructured":"K. Lieberher, D. Orleans, and J. Ovlinger. Aspect-Oriented Programming withAdaptive Methods. Communications of the ACM, Vol.44, No.10, pp.39\u201341, October 2001.","journal-title":"Communications of the ACM"},{"key":"11_CR18","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, New York, N.Y., Second Edition, 1997.","edition":"Second Edition"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"H. Ossher and P. Tarr. Multi-Dimensional Separation of Concerns and the Hyperspace Approach. Proc. Symposium on Software Architectures and Component Technology: The State of the Art in Software Development, Kluwer, 2001.","DOI":"10.1007\/978-1-4615-0883-0_10"},{"issue":"2","key":"11_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"S. Owre, J. M. Rushby, N. Shankar, and F. von Henke. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Transactions on Software Engineering, Vol.21, No.2, pp.107\u2013125, February 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR21","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1992","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, New York, N.J., Second edition, 1992.","edition":"Second edition"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36578-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:07:52Z","timestamp":1556935672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36578-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008996","9783540365785"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36578-8_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}