{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:44:54Z","timestamp":1794379494456,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540213055","type":"print"},{"value":"9783540247210","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_11","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:15:12Z","timestamp":1280261712000},"page":"160-164","source":"Crossref","is-referenced-by-count":9,"title":["Cadena: An Integrated Development Environment for Analysis, Synthesis, and\u00a0Verification of Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Adam","family":"Childs","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jesse","family":"Greenwald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Venkatesh Prasad","family":"Ranganath","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xianghua","family":"Deng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Dwyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georg","family":"Jung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Prashant","family":"Shanti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gurdip","family":"Singh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"DOC Group \u2013 CIAO Development Team. CIAO Website (2003), http:\/\/www.cs.wustl.edu\/~nanbor\/projects\/CIAO"},{"key":"11_CR2","unstructured":"GOAL. The OpenCCM platform (2002), http:\/\/www.corbaweb.lifl.fr\/OpenCCM\/"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Prasad, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proceedings of the 25th International Conference on Software Engineering (2003) (to appear)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Robby, X.D., Dwyer, M.B., Hatcliff, J.: Bogor Website (2003), http:\/\/www.bogor.projects.cis.ksu.edu","DOI":"10.1145\/949952.940107"},{"key":"11_CR5","unstructured":"SAnToS Laboratory. Cadena Website (2003), http:\/\/www.cadena.projects.cis.ksu.edu"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24721-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:30:34Z","timestamp":1559316634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b95935","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}