{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:22Z","timestamp":1725550642229},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11560647_32","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"485-500","source":"Crossref","is-referenced-by-count":5,"title":["POST: A Case Study for an Incremental Development in rCOS"],"prefix":"10.1007","author":[{"given":"Quan","family":"Long","sequence":"first","affiliation":[]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Lingshuang","family":"Shao","sequence":"additional","affiliation":[]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","volume-title":"Object-Z: an Object-Oriented Extension to Z","author":"D. Carrington","year":"1989","unstructured":"Carrington, D., et al.: Object-Z: an Object-Oriented Extension to Z. North-Holland, Amsterdam (1989)"},{"key":"32_CR2","volume-title":"Object-Oriented Development: the FUSION Method","author":"D. Coleman","year":"1994","unstructured":"Coleman, D., et al.: Object-Oriented Development: the FUSION Method. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"32_CR3","volume-title":"Designing Object Systems: Object-Oriented Modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"32_CR4","volume-title":"Using Z: Specification, Refinement and Proof","author":"J. Davis","year":"1996","unstructured":"Davis, J., Woodcock, J.P.: Using Z: Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)"},{"key":"32_CR5","volume-title":"Predicate Calculus and Program semantics","author":"E.W. Dijkstra","year":"1989","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program semantics. Springer, Heidelberg (1989)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024638","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"E. D\u00fcrr","year":"1993","unstructured":"D\u00fcrr, E., Dusink, E.M.: The role of VDM\n                           \u2009+\u2009+\u2009 in the development of a real-time tracking and tracing system. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670. Springer, Heidelberg (1993)"},{"key":"32_CR7","volume-title":"Refectoring, Improving the Design of Existing Code","author":"M. Fowler","year":"2000","unstructured":"Fowler, M.: Refectoring, Improving the Design of Existing Code. Addison-Wesley, Reading (2000)"},{"key":"32_CR8","unstructured":"He, J., Liu, Z., Li, X.: rCOS: A refinement calculus for object systems. Technical Report 322, UNU\/IIST, P.O. Box 3058, Macao SAR China (2005), \n                    \n                      http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-540-30477-7_28","volume-title":"Programming Languages and Systems","author":"J. He","year":"2004","unstructured":"He, J., Liu, Z., Li, X., Qin, S.: A relational model for object-oriented designs. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 415\u2013436. Springer, Heidelberg (2004)"},{"key":"32_CR10","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"32_CR11","volume-title":"Software Development: A Rigorous Approach","author":"C.B. Jones","year":"1980","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach. Prentice Hall International, Englewood Cliffs (1980)"},{"key":"32_CR12","volume-title":"Applying UML and Patterns, An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns, An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"32_CR13","first-page":"215","volume-title":"COMPSAC 2001","author":"X. Li","year":"2001","unstructured":"Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, October 2001, pp. 215\u2013224. IEEE Computer Society, Los Alamitos (2001)"},{"key":"32_CR14","unstructured":"Liu, Z.: Object-oriented software development with UML. Technical Report 259, UNU\/IIST, P.O. Box 3058, Macao SAR China (2002), \n                    \n                      http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-540-39893-6_36","volume-title":"Formal Methods and Software Engineering","author":"Z. Liu","year":"2003","unstructured":"Liu, Z., He, J., Li, X., Chen, Y.: A relational model for formal requirements analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 641\u2013664. Springer, Heidelberg (2003)"},{"key":"32_CR16","unstructured":"Long, Q., He, J., Liu, Z.: Refactoring and pattern directed refactoring: A formal perspective. Technical Report 318, UNU\/IIST, P.O. Box 3058, Macao SAR China (2005), \n                    \n                      http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:41:36Z","timestamp":1558273296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11560647_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}