{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:33:47Z","timestamp":1742985227210,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024139"},{"type":"electronic","value":"9783642024146"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02414-6_6","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T09:46:26Z","timestamp":1245231986000},"page":"87-103","source":"Crossref","is-referenced-by-count":2,"title":["Extracting Behavior Specification of Components in Legacy Applications"],"prefix":"10.1007","author":[{"given":"Tom\u00e1\u0161","family":"Poch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (November 2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"6_CR2","unstructured":"Kofron, J.: Behavior Protocols Extensions, Ph.D. thesis, Charles University (September 2007), \n                    \n                      http:\/\/dsrg.mff.cuni.cz\/~kofron\/phd-thesis\/"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: Proc. of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, Oregon (2002)","DOI":"10.1145\/503272.503275"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: Proc. of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Roma, Italy (2002)","DOI":"10.1145\/566210.566212"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Shoham, S., Yahav, E.: Fink. S., Pistoia M.: Static specification mining using automata-based abstractions. In: Proc. of the 2007 Int. Symposium on SW testing and analysis, London, United Kingdom (2007)","DOI":"10.1145\/1273463.1273487"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., \u010cern\u00fd, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications for Java Classes. In: Proc. of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2005)","DOI":"10.1145\/1040305.1040314"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Chouambe, L., Klatt, B., Krogmann, K.: Reverse Engineering Software-Models of Component-Based Systems. In: Proc. of CSMR 2008 (2008)","DOI":"10.1109\/CSMR.2008.4493304"},{"key":"6_CR8","unstructured":"Bowman, I.T., Godfrey, M.W., Holt, R.C.: Extracting source models from Java programs: Parse, disassemble, or profile? In: ACM SIGPLAN Workshop on Program Analysis for SW Tools and Engineering Toulouse, France (1999)"},{"key":"6_CR9","unstructured":"Recoder Tool, \n                    \n                      http:\/\/apps.sourceforge.net\/mediawiki\/recoder\/"},{"key":"6_CR10","unstructured":"Schwartzbach, M.I.: Lecture Notes on Static Analysis (2008)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling Java Points-To Analysis using Spark. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"6_CR12","volume-title":"HUIntroduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2007","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: HUIntroduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (2007)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","first-page":"93","volume-title":"FASE 2009","author":"D. Giannakopoulou","year":"2009","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C.: Interface Generation and Compositional Verification in JavaPathfinder. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 93\u2013107. Springer, Heidelberg (2009)"},{"key":"6_CR14","volume-title":"Electronic Notes in Theoretical Computer Science","author":"P. Jezek","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.\u00a0160. Elsevier B.V., Amsterdam (2006)"},{"key":"6_CR15","series-title":"LNBIP","first-page":"3","volume-title":"TOOLS EUROPE 2008","author":"P. Parizek","year":"2008","unstructured":"Parizek, P., Plasil, F.: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 3\u201322. Springer, Heidelberg (2008)"},{"key":"6_CR16","unstructured":"Adamek, J.: Verification of Software Components: Addressing Unbounded Parallelism. Int. J. of Computer and Information Sci.\u00a08(2) (2007)"},{"key":"6_CR17","unstructured":"Kappler, T., Koziolek, H., Krogmann, K., Reussner, R.: Towards Automatic Construction of Reusable Prediction Models for Component-Based Performance Engineering. In: Proc. of Software Engineering (2008)"},{"key":"6_CR18","volume-title":"Proc. of SEW-32","author":"J. Kofron","year":"2009","unstructured":"Kofron, J., Poch, T., Sery, O.: TBP: Code-Oriented Component Behavior Specification. In: Proc. of SEW-32. IEEE, Los Alamitos (accepted for publication) (2009)"},{"key":"6_CR19","volume-title":"Proc. of SERA 2006","author":"T. Bures","year":"2006","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In: Proc. of SERA 2006. IEEE CS, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02414-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:55:04Z","timestamp":1558266904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02414-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024139","9783642024146"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02414-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}