{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:40:58Z","timestamp":1725514858340},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_1","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T01:36:00Z","timestamp":1212543360000},"page":"1-11","source":"Crossref","is-referenced-by-count":0,"title":["Aspects and Formal Methods"],"prefix":"10.1007","author":[{"given":"Shmuel","family":"Katz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.tcs.2004.09.019","volume":"331","author":"E. Abraham","year":"2005","unstructured":"Abraham, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: An assertion-based proof system for multithreaded java. Theoretical Computer Science\u00a0331(2-3), 251\u2013290 (2005)","journal-title":"Theoretical Computer Science"},{"key":"1_CR2","unstructured":"AOSD-Europe. Common Aspect Proof Environment (CAPE) \n                    \n                      http:\/\/www.cs.technion.ac.il\/~ssdl\/research\/cape\/"},{"key":"1_CR3","unstructured":"Balzarotti, D., D\u2019Ursi, A., Cavallaro, L., Monga, M.: Slicing AspectJ woven code. In: Proc. of Foundations of Aspect Languages Workshop (FOAL 2005) (2005)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-540-28644-8_14","volume-title":"CONCUR 2004 - Concurrency Theory","author":"G. Bruns","year":"2004","unstructured":"Bruns, G., Jagadeesan, R., Jeffrey, A., Riely, J.: \u03bcABC: A Minimal Aspect Calculus. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 209\u2013224. Springer, Heidelberg (2004)"},{"key":"1_CR5","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"1_CR6","unstructured":"Devereux, B.: Compositional reasoning about aspects using alternating-time logic. In: Proc. of Foundations of Aspect Languages Workshop (FOAL 2003) (2003)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. In: Proc. of PEPM 2008 Workshop (2008)","DOI":"10.1145\/1328408.1328429"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/976270.976288","volume-title":"Proc. of 3th Intl. Conf. on Aspect-Oriented Software Development (AOSD 2004)","author":"R. Douence","year":"2004","unstructured":"Douence, R., Fradet, P., Sudholt, M.: Composition, reuse, and interaction analysis of stateful aspects. In: Proc. of 3th Intl. Conf. on Aspect-Oriented Software Development (AOSD 2004), pp. 141\u2013150. ACM Press, New York (2004)"},{"key":"1_CR9","volume-title":"Aspect-Oriented Software Development","author":"R.E. Filman","year":"2005","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Aksit, M.: Aspect-Oriented Software Development. Addison-Wesley, Reading (2005)"},{"key":"1_CR10","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)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44685-0_5","volume-title":"CONCUR 2001 - Concurrency Theory","author":"J. Hatcliff","year":"2001","unstructured":"Hatcliff, J., Dwyer, M.: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 39\u201358. Springer, Heidelberg (2001)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1218563.1218574","volume-title":"AOSD 2007: Proc. of 6th international conference on Aspect-oriented software development","author":"W. Havinga","year":"2007","unstructured":"Havinga, W., Nagy, I., Bergmans, L., Aksit, M.: A graph-based approach to modeling and detecting composition conflicts related to introductions. In: AOSD 2007: Proc. of 6th international conference on Aspect-oriented software development, pp. 85\u201395. ACM Press, New York (2007)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1007\/11526841_29","volume-title":"FM 2005: Formal Methods","author":"E. Katz","year":"2005","unstructured":"Katz, E., Katz, S.: Verifying Scenario-Based Aspect Specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 432\u2013447. Springer, Heidelberg (2005)"},{"key":"1_CR14","volume-title":"Proc. of 2008 Foundations of Aspect Languages (FOAL) Workshop","author":"E. Katz","year":"2008","unstructured":"Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Proc. of 2008 Foundations of Aspect Languages (FOAL) Workshop, ACM Digital Library, New York (2008)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","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, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","first-page":"373","volume-title":"Verification: Theory and Practice","author":"S. Katz","year":"2004","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 (2004)"},{"key":"1_CR17","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), \n                    \n                      http:\/\/aspectj.org"},{"key":"1_CR18","first-page":"137","volume-title":"Proc. SIGSOFT Conference on Foundations of Software Engineering, FSE 2004","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: FSE 2004, pp. 137\u2013146. ACM, New York (2004)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/508386.508392","volume-title":"Proc. of First Intl. Conf. on Aspect-Oriented Software Development (AOSD 2002)","author":"R. Lammel","year":"2002","unstructured":"Lammel, R.: A semantical approach to method-call interception. In: Proc. of First Intl. Conf. on Aspect-Oriented Software Development (AOSD 2002), pp. 41\u201355. ACM Press, New York (2002)"},{"key":"1_CR20","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs. Acta Informatica\u00a06, 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Rinard, M., Salcianu, A., Bugrara, S.: A classification system and analysis for aspect-oriented programs. In: Proc. of International Conference on Foundations of Software Engineering (FSE 2004) (2004)","DOI":"10.1145\/1029894.1029917"},{"issue":"5","key":"1_CR23","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1093\/comjnl\/46.5.529","volume":"46","author":"M. Sihman","year":"2003","unstructured":"Sihman, M., Katz, S.: Superimposition and aspect-oriented programming. BCS Computer Journal\u00a046(5), 529\u2013541 (2003)","journal-title":"BCS Computer Journal"},{"key":"1_CR24","unstructured":"Sipma, H.B.: A formal model for cross-cutting modular transition systems. In: Proc. of Foundations of Aspect Languages Workshop (FOAL 2003) (2003)"},{"key":"1_CR25","unstructured":"Storzer, M., Krinke, J.: Interference analysis for aspectj. In: Proc. of Foundations of Aspect Languages Workshop (FOAL 2003) (2003)"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. Autom. Softw. Eng.\u00a010(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"issue":"5","key":"1_CR27","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1145\/1018203.1018208","volume":"26","author":"M. Wand","year":"2004","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. Trans. on Prog. Langs and Systems (TOPLAS)\u00a026(5), 890\u2013910 (2004)","journal-title":"Trans. on Prog. Langs and Systems (TOPLAS)"},{"key":"1_CR28","unstructured":"Weston, N., Taiani, F., Rashid, A.: Interaction analysis for fault-tolerance in aspect-oriented programming. In: Proc. of 2007 Workshop on Methods, Models, and Tools for Fault Tolerance (2007)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Zhao, J.: Slicing aspect-oriented software. In: IEEE International Workshop on Programming Comprehension, pp. 251\u2013260 (2002)","DOI":"10.1109\/WPC.2002.1021346"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:43:24Z","timestamp":1620002604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_1","relation":{},"subject":[]}}