{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:17:08Z","timestamp":1725689828150},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_28","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T04:50:45Z","timestamp":1340772645000},"page":"345-348","source":"Crossref","is-referenced-by-count":7,"title":["Refactoring Abstract State Machine Models"],"prefix":"10.1007","author":[{"given":"Hamed","family":"Yaghoubi Shahir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roozbeh","family":"Farahbod","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems. Formal Aspects of Computing\u00a019(2), 225\u2013241 (2007)","DOI":"10.1007\/s00165-006-0019-y"},{"key":"28_CR3","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)"},{"key":"28_CR4","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: Executable Formal Specifications of Complex Distributed Systems with CoreASM. In: Science of Computer Programming. Elsevier (in Press, 2012)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Devedzic, V.: Software Patterns. In: Handbook of Software Engineering and Knowledge Engineering, vol.\u00a02, pp. 645\u2013671 (2002)","DOI":"10.1142\/9789812389701_0028"},{"key":"28_CR6","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern Oriented Software Architecture: A System of Patterns. Wiley (1996)"},{"key":"28_CR7","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley (1995)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Demeyer, S., Ducasse, S., Nierstrasz, O.: Object-Oriented Reengineering Patterns. Morgan Kaufmann (2003)","DOI":"10.1016\/B978-155860639-5\/50006-7"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:03:57Z","timestamp":1558299837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}