{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:56:40Z","timestamp":1742385400377},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202431"},{"type":"electronic","value":"9783540452218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45221-8_9","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T21:11:39Z","timestamp":1277845899000},"page":"96-100","source":"Crossref","is-referenced-by-count":2,"title":["A Workbench to Experiment on New Model Engineering Applications"],"prefix":"10.1007","author":[{"given":"Ralph-Johan","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dag","family":"Bj\u00f6rklund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Lilius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luka","family":"Milovanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-45648-1_9","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R.-J. Back","year":"2002","unstructured":"Back, R.-J.: Software Construction by Stepwise Feature Introduction. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, p. 162. Springer, Heidelberg (2002)"},{"key":"9_CR2","unstructured":"Back, R.-J., Milovanov, L., Porres, I., Preoteasa, V.: XP as a Framework for Practical Software Engineering Experiments. In: Proceedings of the Third International Conference on eXtreme Programming and Agile Processes in Software Engineering \u2013 XP 2002 (May 2002)"},{"key":"9_CR3","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, Reading (1999)"},{"key":"9_CR4","unstructured":"Bj\u00f6rklund, D., Lilius, J.: From UML behavioral models to efficient synthesizable VHDL. In: Proceedings of the 20th IEEE Norchip Conference (November 2002)"},{"key":"9_CR5","volume-title":"Symposium on Hardware\/Software Codesign 2002","author":"D. Bj\u00f6rklund","year":"2002","unstructured":"Bj\u00f6rklund, D., Lilius, J.: A language for multiple models of computation. In: Symposium on Hardware\/Software Codesign 2002, ACM, New York (2002)"},{"key":"9_CR6","unstructured":"Bj\u00f6rklund, D., Lilius, J.: Generating B specifications from programs in a language with Z based formal semantics (2003) (submitted paper)"},{"key":"9_CR7","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"9_CR8","unstructured":"Porres, I.: A toolkit for manipulating UML models. Technical Report 441, Turku Centre for Computer Science (2001), Available at \n                    \n                      http:\/\/www.tucs.fi"}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45221-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T19:15:56Z","timestamp":1548443756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45221-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202431","9783540452218"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45221-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}