{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:41:39Z","timestamp":1725910899487},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319677286"},{"type":"electronic","value":"9783319677293"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67729-3_7","type":"book-chapter","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:04:04Z","timestamp":1505538244000},"page":"100-117","source":"Crossref","is-referenced-by-count":3,"title":["Class-Diagrams for Abstract Data Types"],"prefix":"10.1007","author":[{"given":"Thai Son","family":"Hoang","sequence":"first","affiliation":[]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[]},{"given":"Dana","family":"Dghaym","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,17]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"7_CR2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Softw. Tools Technol. Transf."},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-39698-4_5","volume-title":"Theories of Programming and Formal Methods","author":"M Butler","year":"2013","unstructured":"Butler, M., Maamria, I.: Practical theory extension in Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 67\u201381. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-39698-4_5"},{"key":"7_CR4","unstructured":"The Enable-S3 Consortium. Enable-S3 European project (2016). \nwww.enable-s3.eu\/"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/j.scico.2016.04.010","volume":"131","author":"A F\u00fcrst","year":"2016","unstructured":"F\u00fcrst, A., Hoang, T.S., Basin, D.A., Sato, N., Miyazaki, K.: Large-scale system development using abstract data types and refinement. Sci. Comput. Program. 131, 59\u201375 (2016)","journal-title":"Sci. Comput. Program."},{"key":"7_CR6","first-page":"211","volume-title":"Industrial Deployment of System Engineering Methods","author":"TS Hoang","year":"2013","unstructured":"Hoang, T.S.: An introduction to the Event-B modelling method. In: Romanovsky, A., Thomas, M. (eds.) Industrial Deployment of System Engineering Methods, pp. 211\u2013236. Springer, Heidelberg (2013)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Liskov, B., Zilles, S.: Programming with abstract data types. In: Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, pp. 50\u201359. ACM, New York (1974). \nhttp:\/\/doi.acm.org\/10.1145\/800233.807045","DOI":"10.1145\/800233.807045"},{"key":"7_CR8","unstructured":"Reichl, K.: Railground Model on GitHub (2016). \nhttps:\/\/github.com\/klar42\/railground\/\n\n. Accessed 20 Apr 2017"},{"issue":"4","key":"7_CR9","doi-asserted-by":"crossref","first-page":"1557","DOI":"10.1007\/s10270-013-0391-z","volume":"14","author":"MY Said","year":"2015","unstructured":"Said, M.Y., Butler, M., Snook, C.: A method of refinement in UML-B. Softw. Syst. Model. 14(4), 1557\u20131580 (2015)","journal-title":"Softw. Syst. Model."},{"key":"7_CR10","unstructured":"Snook, C.: iUML-B statemachines. In: Proceedings of the Rodin Workshop 2014, Toulouse, France, pp. 29\u201330 (2014). \nhttp:\/\/eprints.soton.ac.uk\/365301\/"},{"issue":"1","key":"7_CR11","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67729-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:05:50Z","timestamp":1505538350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67729-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319677286","9783319677293"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67729-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}