{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:08Z","timestamp":1750307828125,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T00:00:00Z","timestamp":1210636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,13]]},"DOI":"10.1145\/1370868.1370875","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:36:48Z","timestamp":1210876608000},"page":"35-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Perspectives in component-based software engineering"],"prefix":"10.1145","author":[{"given":"Jiri","family":"Adamek","sequence":"first","affiliation":[{"name":"Charles University in Prague, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD-SAWN.2006.15"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.v17:5"},{"key":"e_1_3_2_1_3_1","first-page":"715","volume-title":"Proceedings of Software Engineering and Applications (SEA) conference","author":"Adamek J.","year":"2004","unstructured":"Adamek , J. , Plasil , F. : Erroneous Architecture is a Relative Concept , in Proceedings of Software Engineering and Applications (SEA) conference , Cambridge, MA, USA, published by ACTA Press, ISBN 0-88986-425-X , pp. 715 -- 720 , Nov 2004 Adamek, J., Plasil, F.: Erroneous Architecture is a Relative Concept, in Proceedings of Software Engineering and Applications (SEA) conference, Cambridge, MA, USA, published by ACTA Press, ISBN 0-88986-425-X, pp. 715--720, Nov 2004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2004.70"},{"key":"e_1_3_2_1_5_1","volume-title":"Smolka S.A.: Handbook of Process Algebra","author":"Bergstra J. A.","year":"2001","unstructured":"Bergstra J. A. , Ponse A. , Smolka S.A.: Handbook of Process Algebra , Elsevier 2001 Bergstra J. A., Ponse A., Smolka S.A.: Handbook of Process Algebra, Elsevier 2001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/230798.230809"},{"key":"e_1_3_2_1_7_1","volume-title":"LNCS","author":"Bulej L.","year":"2007","unstructured":"Bulej , L. , Bures , T. , Coupaye , T. , Decky , M. , Jezek , P. , Parizek , P. , Plasil , F. , Poch , T. , Rivierre , N. , Sery , O. , Tuma , P. : CoCoME in Fractal, Accepted for publication in Proceedings of the CoCoME project , LNCS , Jun 2007 Bulej, L., Bures, T., Coupaye, T., Decky, M., Jezek, P., Parizek, P., Plasil, F., Poch, T., Rivierre, N., Sery, O., Tuma, P.: CoCoME in Fractal, Accepted for publication in Proceedings of the CoCoME project, LNCS, Jun 2007"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2004.10.013"},{"key":"e_1_3_2_1_9_1","volume-title":"Plasil","author":"Bures T.","year":"2007","unstructured":"Bures , T. , Hnetynka , P. , Plasil , F. : Runtime Concepts of Hierarchical Software Components, International Journal of Computer & Information Science, Vol. 8 , No. S, Sep 2007 Bures, T., Hnetynka, P., Plasil, F.: Runtime Concepts of Hierarchical Software Components, International Journal of Computer & Information Science, Vol. 8, No. S, Sep 2007"},{"key":"e_1_3_2_1_10_1","volume-title":"LNCS","author":"Bures T.","year":"2007","unstructured":"Bures , T. , Decky , M. , Hnetynka , P. , Kofron , J. , Parizek , P. , Plasil , F. , Poch , T. , Sery , O. , Tuma , P. : CoCoME in SOFA, Accepted for publication in Proceedings of the CoCoME project , LNCS , Jun 2007 Bures, T., Decky, M., Hnetynka, P., Kofron, J., Parizek, P., Plasil, F., Poch, T., Sery, O., Tuma, P.: CoCoME in SOFA, Accepted for publication in Proceedings of the CoCoME project, LNCS, Jun 2007"},{"key":"e_1_3_2_1_11_1","unstructured":"Component Reliability Extensions for Fractal Component Model http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml  Component Reliability Extensions for Fractal Component Model http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_74"},{"key":"e_1_3_2_1_13_1","unstructured":"The Fractal Project http:\/\/fractal.objectweb.org\/  The Fractal Project http:\/\/fractal.objectweb.org\/"},{"key":"e_1_3_2_1_14_1","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"Holzmann","year":"2003","unstructured":"G. Holzmann . The Spin Model Checker, Primer and Reference Manual . Addison-Wesley , Reading, Massachusetts , 2003 . G. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2003."},{"key":"e_1_3_2_1_15_1","first-page":"157","volume-title":"Proceedings of CSSE 2004 (part of ASE 2004)","author":"Hnetynka P.","year":"2004","unstructured":"Hnetynka , P. : Making Deployment of Distributed Component-based Software Unified , Proceedings of CSSE 2004 (part of ASE 2004) , Linz, Austria, Austrian Computer Society, ISBN 3-85403-180-7 , pp. 157 -- 161 , Sep 2004 Hnetynka, P.: Making Deployment of Distributed Component-based Software Unified, Proceedings of CSSE 2004 (part of ASE 2004), Linz, Austria, Austrian Computer Society, ISBN 3-85403-180-7, pp. 157--161, Sep 2004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783565_27"},{"key":"e_1_3_2_1_17_1","unstructured":"Java PathFinder http:\/\/javapathfinder.sourceforge.net\/  Java PathFinder http:\/\/javapathfinder.sourceforge.net\/"},{"key":"e_1_3_2_1_18_1","first-page":"197","volume-title":"Plasil","author":"Jezek P.","year":"2006","unstructured":"Jezek , P. , Kofron , J. , Plasil , F. : Model Checking of Component Behavior Specification: A Real Life Experience, In Electronic Notes in Theoretical Computer Science, Vol. 160 , pp. 197 -- 210 , Elsevier B.V. , ISSN: 1571-0661, Aug 2006 Jezek, P., Kofron, J., Plasil, F.: Model Checking of Component Behavior Specification: A Real Life Experience, In Electronic Notes in Theoretical Computer Science, Vol. 160, pp. 197--210, Elsevier B.V., ISSN: 1571-0661, Aug 2006"},{"key":"e_1_3_2_1_19_1","volume-title":"proceedings of Net.ObjectDays 2004, First International Workshop on Software Quality (SOQUA 2004","author":"Kalibera T.","year":"2004","unstructured":"Kalibera , T. , Bulej , L. , Tuma , P. : Generic Environment for Full Automation of Benchmarking , in proceedings of Net.ObjectDays 2004, First International Workshop on Software Quality (SOQUA 2004 ), Erfurt, Germany, Copyright (C ) 2004 tranSIT GmbH Ilmenau, Germany, pp. 35--41, ISBN: 3-9808628-3-6, Sep 2004 Kalibera, T., Bulej, L., Tuma, P.: Generic Environment for Full Automation of Benchmarking, in proceedings of Net.ObjectDays 2004, First International Workshop on Software Quality (SOQUA 2004), Erfurt, Germany, Copyright (C) 2004 tranSIT GmbH Ilmenau, Germany, pp. 35--41, ISBN: 3-9808628-3-6, Sep 2004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244326"},{"key":"e_1_3_2_1_21_1","unstructured":"The OSIRIS project http:\/\/www.itea-osiris.org\/  The OSIRIS project http:\/\/www.itea-osiris.org\/"},{"key":"e_1_3_2_1_22_1","unstructured":"The OSMOSE project results http:\/\/www.itea-office.org\/public\/project_leaflets\/OSMOSE_results_oct-05.pdf  The OSMOSE project results http:\/\/www.itea-office.org\/public\/project_leaflets\/OSMOSE_results_oct-05.pdf"},{"key":"e_1_3_2_1_23_1","unstructured":"Parizek P.: BPEL checker http:\/\/dsrg.mff.cuni.cz\/projects.phtml?p=bpelchecker  Parizek P.: BPEL checker http:\/\/dsrg.mff.cuni.cz\/projects.phtml?p=bpelchecker"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2006.23"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.46"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.09.036"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.036"},{"key":"e_1_3_2_1_29_1","volume-title":"Master thesis, advisor: Jan Kofron","author":"Poch T.","year":"2006","unstructured":"Poch , T. : Distributed Behavior Protocol Checker , Master thesis, advisor: Jan Kofron , Sep 2006 , available at http:\/\/dsrg.mff.cuni.cz\/publications\/poch_msthesis.pdf Poch, T.: Distributed Behavior Protocol Checker, Master thesis, advisor: Jan Kofron, Sep 2006, available at http:\/\/dsrg.mff.cuni.cz\/publications\/poch_msthesis.pdf"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"e_1_3_2_1_31_1","volume-title":"Master Thesis, advisor: Jiri Adamek","author":"Plsek A.","year":"2006","unstructured":"Plsek , A. : Extending Java PathFinder with Behavior Protocols , Master Thesis, advisor: Jiri Adamek , July 2006 , available at http:\/\/www.lifl.fr\/~plsek\/projects\/carmen\/download\/documents\/masterThesis.pdf Plsek, A.: Extending Java PathFinder with Behavior Protocols, Master Thesis, advisor: Jiri Adamek, July 2006, available at http:\/\/www.lifl.fr\/~plsek\/projects\/carmen\/download\/documents\/masterThesis.pdf"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007","author":"Sery O.","year":"2007","unstructured":"Sery , O. , Plasil , F. : Slicing of Component Behavior Specification with Respect to Their Composition , In Proceedings of 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007 ), LNCS 4608, Jul 2007 Sery, O., Plasil, F.: Slicing of Component Behavior Specification with Respect to Their Composition, In Proceedings of 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), LNCS 4608, Jul 2007"},{"key":"e_1_3_2_1_33_1","unstructured":"SOFA 2 http:\/\/sofa.objectweb.org\/  SOFA 2 http:\/\/sofa.objectweb.org\/"},{"key":"e_1_3_2_1_34_1","unstructured":"Web Services Business Process Execution Language (WS-BPEL) Version 2.0 http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel  Web Services Business Process Execution Language (WS-BPEL) Version 2.0 http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 2008 international workshop on Software Engineering in east and south europe"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370868.1370875","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370868.1370875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:53Z","timestamp":1750255073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370868.1370875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,13]]},"references-count":33,"alternative-id":["10.1145\/1370868.1370875","10.1145\/1370868"],"URL":"https:\/\/doi.org\/10.1145\/1370868.1370875","relation":{},"subject":[],"published":{"date-parts":[[2008,5,13]]},"assertion":[{"value":"2008-05-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}