{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:37Z","timestamp":1725488197578},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426189"},{"type":"electronic","value":"9783540454298"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45429-2_12","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T15:48:38Z","timestamp":1184946518000},"page":"153-169","source":"Crossref","is-referenced-by-count":4,"title":["Supporting Formal Verification of Crosscutting Concerns"],"prefix":"10.1007","author":[{"given":"Torsten","family":"Nelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald","family":"Cowan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Alencar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,5]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting object-interactions using composition-filters. In R. Guerraoui, O. Nierstrasz, and M. Riveill, editors, Object-Based Distributed Processing, pages 152\u2013184. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0017540"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Don Batory. Subjectivity and GenVoca generators. In Proceedings of the Fourth International Conference on Software Reuse, Orlando, Florida, April 1996.","DOI":"10.1109\/ICSR.1996.496124"},{"key":"12_CR3","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"William Harrison and Harold Ossher. Subject-oriented programming (a critique of pure objects). In Proceedings of OOPSLA\u2019 93, pages 411\u2013428. ACM, 1993.","DOI":"10.1145\/165854.165932"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Daniel Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4):365\u2013389, October 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR6","unstructured":"Daniel Jackson. Alcoa: the alloy constraint analyzer. In Proceedings of ICSE 2000, Limerick, Ireland, 2000. http:\/\/sdg.lcs.mit.edu\/alloy\/ ."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gregor Kiczales, J. Lamping, A. Mendhekar, C. Lopes, J. Loingtier, and J. Irwin. Aspectoriented programming. In Proceedings of ECOOP\u2019 97, 1997.","DOI":"10.1007\/BFb0053381"},{"key":"12_CR8","unstructured":"J. Magee and J. Kramer. Concurrency: State Models and Java Programs. JohnWiley&Sons, 1999."},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_17","volume-title":"Fundamental Approaches to Software Engineering, FASE 2000","author":"T. Nelson","year":"2000","unstructured":"Torsten Nelson, Donald Cowan, and Paulo Alencar. A model for describing object-oriented systems from multiple perspectives. In Fundamental Approaches to Software Engineering, FASE 2000, volume 1783 of Lecture Notes in Computer Science, Berlin, Germany, 2000. Springer."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"R. Pande and J. Browne. A compositional approach to concurrent object-oriented programming. In Proceedings of the International Conference on Compilers and Languages, Paris, France, May 1994.","DOI":"10.1109\/ICCL.1994.288387"},{"key":"12_CR11","unstructured":"Mark Skipper. A model of composition oriented programming. In Proceedings of the ICSE 2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering, 2000."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"B. Smith. Reflection and semantics in lisp. In Proceedings of PoPL\u201984: The Eleventh Annual ACM Symposium on Principles of Programming Languages, January 1984.","DOI":"10.1145\/800017.800513"},{"key":"12_CR13","unstructured":"Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1987."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Peri Tarr, Harold Ossher, William Harrison, and S. Sutton. N degrees of separation: Multidimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering, pages 107\u2013119, 1999.","DOI":"10.1145\/302405.302457"}],"container-title":["Lecture Notes in Computer Science","Metalevel Architectures and Separation of Crosscutting Concerns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45429-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:04:11Z","timestamp":1556694251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45429-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426189","9783540454298"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45429-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}