{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:27:17Z","timestamp":1731475637174,"version":"3.28.0"},"reference-count":36,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,6,24]]},"DOI":"10.1049\/iet-sen.2009.0016","type":"journal-article","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T23:16:10Z","timestamp":1276643770000},"page":"210-221","source":"Crossref","is-referenced-by-count":2,"title":["Assume-guarantee verification of software components in SOFA 2 framework"],"prefix":"10.1049","volume":"4","author":[{"given":"P.","family":"Parizek","sequence":"first","affiliation":[{"name":"Faculty of Mathematics and Physics, Distributed Systems Research Group, Department of Software Engineering, Charles University in Prague, Malostranske namesti 25, Prague 1, 118 00, Czech Republic"}]},{"given":"F.","family":"Plasil","sequence":"additional","affiliation":[{"name":"Faculty of Mathematics and Physics, Distributed Systems Research Group, Department of Software Engineering, Charles University in Prague, Malostranske namesti 25, Prague 1, 118 00, Czech Republic"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen.2009.0016_r1","unstructured":"Szyperski, C.: \u2018Component software: beyond object-oriented programming\u2019, 2nd(Addison-Wesley 2002)"},{"key":"10.1049\/iet-sen.2009.0016_r2","doi-asserted-by":"crossref","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., and Poll, E.: \u2018Beyond assertions: advanced specification and verification with JML and ESC\/Java2\u2019, De Boer, F.S., , et al. (Eds.) Formal methods for components and objects (FMCO), (Springer-Verlag 2006),(LNCS,4111) p. 342\u2013363","DOI":"10.1007\/11804192_16"},{"key":"10.1049\/iet-sen.2009.0016_r3","doi-asserted-by":"crossref","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"Plasil","year":"2002","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r4","first-page":"292","volume":"19","author":"Yellin","year":"1997"},{"key":"10.1049\/iet-sen.2009.0016_r5","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"Olender","year":"1990","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r6","unstructured":"Clarke, E., Grumberg, O., and Peled, D.: \u2018Model checking\u2019, (MIT Press 2000)"},{"key":"10.1049\/iet-sen.2009.0016_r7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/LICS.1989.39190","author":"Clarke","year":"1989","journal-title":"Proc. Fourth Annual Symp. on Logic in Computer Science"},{"key":"10.1049\/iet-sen.2009.0016_r8","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/ASE.2003.1240300","author":"Tkachuk","year":"2003","journal-title":"Proc. 18th IEEE Int. Conf. on Automated Software Engineering (ASE 2003), IEEE CS"},{"key":"10.1049\/iet-sen.2009.0016_r9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/ASE.2002.1114984","author":"Giannakopoulou","year":"2002","journal-title":"Proc. 17th IEEE Int. Conf. on Automated Software Engineering (ASE 2002), IEEE CS"},{"key":"10.1049\/iet-sen.2009.0016_r10","first-page":"109","volume":"26","author":"de Alfaro","year":"2001"},{"key":"10.1049\/iet-sen.2009.0016_r11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: \u2018In transition from global to modular temporal reasoning about programs\u2019, Apt, K.R., Logics and models of concurrent systems, (Springer-Verlag 1984),13, p. 123\u2013144","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"10.1049\/iet-sen.2009.0016_r12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/ICSE.2004.1317443","author":"Giannakopoulou","year":"2004","journal-title":"Proc. 26th Int. Conf. on Software Engineering (ICSE), IEEE CS"},{"key":"10.1049\/iet-sen.2009.0016_r13","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1145\/1146238.1146262","author":"Tkachuk","year":"2006","journal-title":"Proc. Int. Symp. on Software Testing and Analysis (ISSTA 2006)"},{"key":"10.1049\/iet-sen.2009.0016_r14","unstructured":"SOFA 2 component framework, http:\/\/sofa.ow2.org, accessed February 2009"},{"key":"10.1049\/iet-sen.2009.0016_r15","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"Visser","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0928-8910","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r16","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/SERA.2006.62","author":"Bures","year":"2006","journal-title":"Proc. Fourth Int. Conf. on Software Engineering Research, Management and Applications (SERA 2006), IEEE CS"},{"key":"10.1049\/iet-sen.2009.0016_r17","first-page":"454","volume":"8","author":"Bures","year":"2007","ISSN":"http:\/\/id.crossref.org\/issn\/0091-7036","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r18","first-page":"363","volume":"17","author":"Adamek","year":"2005"},{"key":"10.1049\/iet-sen.2009.0016_r19","first-page":"22","volume":"6","author":"Mach","year":"2005","ISSN":"http:\/\/id.crossref.org\/issn\/0091-7036","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r20","unstructured":"Bures, T., Decky, M., and Hnetynka, P.: \u2018CoCoME in SOFA\u2019, et al. , Rausch, A., , et al. (Eds.) The common component modeling example: comparing software component models, (Springer-Verlag 2008),(LNCS,5153) p. 388\u2013417"},{"key":"10.1049\/iet-sen.2009.0016_r21","unstructured":"CoCoME: Common Component Modeling Example, http:\/\/www.cocome.org, accessed February 2009"},{"key":"10.1049\/iet-sen.2009.0016_r22","first-page":"133","author":"Parizek","year":"2006","journal-title":"Proc. 30th IEEE\/NASA Software Engineering Workshop (SEW-30), IEEE CS"},{"key":"10.1049\/iet-sen.2009.0016_r23","first-page":"2","author":"Parizek","year":"2008","journal-title":"Proc. 46th Int. Conf. on Object, Components, Models and Patterns (TOOLS EUROPE 2008)"},{"key":"10.1049\/iet-sen.2009.0016_r24","first-page":"143","author":"Parizek","year":"2007","journal-title":"Proc. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2006), ENTCS"},{"key":"10.1049\/iet-sen.2009.0016_r25","unstructured":"COMBAT toolset: http:\/\/dsrg.mff.cuni.cz\/projects\/combat, accessed February 2009"},{"key":"10.1049\/iet-sen.2009.0016_r26","unstructured":"CoCoME in SOFA: http:\/\/dsrg.mff.cuni.cz\/projects\/cocome\/sofa\/sofa.tgz, accessed August 2009"},{"key":"10.1049\/iet-sen.2009.0016_r27","first-page":"439","author":"Corbett","year":"2000","journal-title":"Proc. 22nd Int. Conf. on Software Engineering (ICSE 2000)"},{"journal-title":"Proc. Int. Symp. on Software Testing and Analysis (ISSTA 2007)","year":"2007","author":"Hughes","key":"10.1049\/iet-sen.2009.0016_r28"},{"journal-title":"Proc. 46th Int. Conf. on Objects, Components, Models and Patterns, (TOOLS EUROPE 2008)","year":"2008","author":"Artho","key":"10.1049\/iet-sen.2009.0016_r29"},{"journal-title":"Proc. 22nd Int. Conf. on Automated Software Engineering (ASE 2007)","year":"2007","author":"Barlas","key":"10.1049\/iet-sen.2009.0016_r30"},{"key":"10.1049\/iet-sen.2009.0016_r31","first-page":"331","author":"Cobleigh","year":"2003","journal-title":"Proc. Ninth Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)"},{"key":"10.1049\/iet-sen.2009.0016_r32","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s10703-008-0055-8","volume":"32","author":"Nam","year":"2008","ISSN":"http:\/\/id.crossref.org\/issn\/0925-9856","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0016_r33","unstructured":"Magee, J., and Kramer, J.: \u2018Concurrency \u2013 state models and Java programs\u2019, (John Wiley 1999)"},{"key":"10.1049\/iet-sen.2009.0016_r34","first-page":"1257","volume":"36","author":"Bruneton","year":"2006"},{"key":"10.1049\/iet-sen.2009.0016_r35","unstructured":"OSGi Alliance: OSGi Service Platform Release 4, http:\/\/www.osgi.org\/, accessed August 2009"},{"journal-title":"Proc. 13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)","year":"2007","author":"Anand","key":"10.1049\/iet-sen.2009.0016_r36"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2009.0016?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T14:23:30Z","timestamp":1731421410000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2009.0016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,24]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6,24]]}},"alternative-id":["10.1049\/iet-sen.2009.0016"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2009.0016","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,6,24]]}}}