{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:46:13Z","timestamp":1725461173611},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402079900"},{"type":"electronic","value":"9781402079917"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-7991-5_5","type":"book-chapter","created":{"date-parts":[[2006,3,9]],"date-time":"2006-03-09T08:45:24Z","timestamp":1141893924000},"page":"71-84","source":"Crossref","is-referenced-by-count":0,"title":["UML-Based Specifications of an Embedded System Oriented to HW\/SW Partitioning"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Prevostini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Balzarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atanas Nikolov","family":"Kostadinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srinivas","family":"Mankan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aris","family":"Martinola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Minosi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Cocomo 2.0. 1997. Model Definition manual, ver 1.2."},{"key":"5_CR2","unstructured":"Automatic Meter Reading Association (AMRA), \n                  http:\/\/www.amra-intl.org\n                  \n                ."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, (8):231\u2013274, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"5_CR4","unstructured":"EITO 2003. Press releases, \n                  http:\/\/www.eito.org\/press-releases.html\n                  \n                ."},{"key":"5_CR5","unstructured":"J.L. Diaz-Herrera, J. Chadha, and N. Pittsley. Aspect-oriented uml modeling for developing embedded systems product lines. School of Computing and Software Engineering, Southern Polytechnic State University, Marietta, GA."},{"key":"5_CR6","unstructured":"P. Kroll, P. Kruchten, and G. Booch. The Rational Unified Process Made Easy: A Practitioner\u2019s Guide to Rational Unified Process. Addison Wesley Professional, 1st edition, 2003."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"S. Narayan, F. Vahid, and D.d. Gajski. System Specification with the SpecCharts language. IEEE Design and Test of Computers, pages 6\u201312, 1992.","DOI":"10.1109\/54.173326"},{"key":"5_CR8","unstructured":"W. Fornaciari, P. Micheli, F. Salice, and L. Zampella. A first step towards hw\/sw partitioning of uml specifications. Politecnico di Milano, CEFRIEL, 2003."}],"container-title":["Languages for System Specification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7991-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T00:13:06Z","timestamp":1549757586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7991-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402079900","9781402079917"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7991-5_5","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}