{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:07:50Z","timestamp":1742382470122},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376576"},{"type":"electronic","value":"9783540376590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11821946_3","type":"book-chapter","created":{"date-parts":[[2006,8,5]],"date-time":"2006-08-05T06:35:14Z","timestamp":1154759714000},"page":"34-49","source":"Crossref","is-referenced-by-count":2,"title":["Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems"],"prefix":"10.1007","author":[{"given":"Lieven","family":"Desmet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Verbaeten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Software Architecture - Perspectives on an emerging discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture - Perspectives on an emerging discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"3_CR2","unstructured":"Java Servlet Technology, \n                  \n                    http:\/\/java.sun.com\/products\/servlet\/"},{"key":"3_CR3","unstructured":"The\u00a0Struts Framework, \n                  \n                    http:\/\/jakarta.apache.org\/struts\/"},{"key":"3_CR4","unstructured":"The Java Modeling\u00a0Language (JML), \n                  \n                    http:\/\/www.jmlspecs.org\/"},{"key":"3_CR5","unstructured":"GatorMail WebMail, \n                  \n                    http:\/\/sourceforge.net\/projects\/gatormail\/"},{"key":"3_CR6","unstructured":"J2EE platform specification, \n                  \n                    http:\/\/java.sun.com\/j2ee\/"},{"key":"3_CR7","unstructured":"Seshadri, G.: Understanding JavaServer Pages Model 2 architecture, \n                  \n                    http:\/\/www.javaworld.com\/javaworld\/jw-12-1999\/jw-12-ssj-jspmvc.html"},{"key":"3_CR8","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"issue":"3","key":"3_CR9","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT)\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"3_CR10","unstructured":"KindSoftware: The Extended Static Checker for Java version 2 (ESC\/Java2), \n                  \n                    http:\/\/secure.ucd.ie\/products\/opensource\/ESCJava2\/"},{"key":"3_CR11","unstructured":"Leino, K.R.M., Nelson, G., Saxe, J.B. ESC\/Java User\u2019s Manual"},{"key":"3_CR12","unstructured":"Cok, D.R: ESC\/Java2 Implementation Notes"},{"key":"3_CR13","unstructured":"Desmet, L., Piessens, F., Joosen, W., Verbaeten, P.: Dependency analysis of the Gatormail webmail application. Report CW 427, Department of Computer Science, K.U.Leuven, Leuven, Belgium (2005)"},{"key":"3_CR14","unstructured":"Desmet, L., Piessens, F., Joosen, W., Verbaeten, P.: Static verification of composition properties, \n                  \n                    http:\/\/www.cs.kuleuven.be\/~lieven\/research\/SC2006\/"},{"key":"3_CR15","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06-rev28, Iowa State University, Department of Computer Science (2005)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng.\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/503209.503227","volume-title":"Proceedings of the 8th ESEC held jointly with 9th ACM SIGSOFT FSE","author":"P. Inverardi","year":"2001","unstructured":"Inverardi, P., Tivoli, M.: Automatic synthesis of deadlock free connectors for com\/dcom applications. In: Proceedings of the 8th ESEC held jointly with 9th ACM SIGSOFT FSE, pp. 121\u2013131. ACM Press, New York (2001)"},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR19","unstructured":"Ivers, J., Sinha, N., Wallnau, K.: A Basis for Composition Language CL. Technical Report CMU\/SEI-2002-TN-026, SEI, Carnegie Mellon University (2002)"},{"key":"3_CR20","first-page":"261","volume-title":"Software Architectures and Component Technology","author":"F. Achermann","year":"2001","unstructured":"Achermann, F., Nierstrasz, O.: Applications = Components + Scripts \u2014 A Tour of Piccola. In: Aksit, M. (ed.) Software Architectures and Component Technology, pp. 261\u2013292. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Smans, J., Jacobs, B., Piessens, F.: Static verification of code access security policy compliance of .NET applications. Journal of Object Technology\u00a05(3) (2006)","DOI":"10.5381\/jot.2006.5.3.a2"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/SEFM.2005.39","volume-title":"Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods","author":"B. Jacobs","year":"2005","unstructured":"Jacobs, B., Leino, K.R.M., Piessens, F., Schulte, W.: Safe concurrency for aggregate objects with invariants. In: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, pp. 137\u2013146. IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Pavlova, M., Barthe, G., Burdy, L., Huisman, M., Lanet, J.L.: Enforcing high-level security properties for applets. In: CARDIS, pp. 1\u201316 (2004)","DOI":"10.1007\/1-4020-8147-2_1"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11821946_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:31:01Z","timestamp":1619508661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11821946_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376576","9783540376590"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11821946_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}