{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:52:10Z","timestamp":1725637930454},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_16","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T14:05:35Z","timestamp":1322834735000},"page":"159-168","source":"Crossref","is-referenced-by-count":0,"title":["A Pattern-Based Approach to Formal Specification Construction"],"prefix":"10.1007","author":[{"given":"Xi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall Object-Oriented Series (1991)"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development","author":"S. Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)"},{"key":"16_CR4","unstructured":"Gamma, E., Helm, R., Johnson, R.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional (1994)"},{"key":"16_CR5","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall (2004)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Ghosh, S.: A uml-based pattern specification technique. IEEE Transactions on Software Engineering\u00a030, 193\u2013206 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Soundarajan, N., Hallstrom, J.O.: Responsibilities and rewards : Specifying design patterns. In: 26th International Conference on Software Engineering, pp. 666\u2013675 (2004)","DOI":"10.1109\/ICSE.2004.1317488"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44880-2_2","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"S. Stepney","year":"2003","unstructured":"Stepney, S., Polack, F., Toyn, I.: An Outline Pattern Language for Z: Five Illustrations and Two Tables. In: Bert, D., Bowen, J.P., King, S., Walden, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 2\u201319. Springer, Heidelberg (2003)"},{"key":"16_CR9","first-page":"797","volume-title":"23th Annual ACM Symposium on Applied Computing","author":"J. Ding","year":"2008","unstructured":"Ding, J., Mo, L., He, X.: An approach for specification construction using property-preserving refinement patterns. In: 23th Annual ACM Symposium on Applied Computing, pp. 797\u2013803. ACM, New York (2008)"},{"key":"16_CR10","first-page":"372","volume-title":"27th International Conference on Software Engineering","author":"S. Konrad","year":"2005","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: 27th International Conference on Software Engineering, pp. 372\u2013381. ACM, New York (2005)"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"21th International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Pattern in property specifications for finite-state verification. In: 21th International Conference on Software Engineering, pp. 411\u2013420. ACM, New York (1999)"},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MS.2007.120","volume":"24","author":"D. Manolescu","year":"2007","unstructured":"Manolescu, D., Kozaczynski, W., Miller, A.: The growing divide in the patterns world. IEEE Software\u00a024(4), 61\u201367 (2007)","journal-title":"IEEE Software"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T11:35:14Z","timestamp":1639827314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}