{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:08:55Z","timestamp":1725548935791},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229421"},{"type":"electronic","value":"9783540301011"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30101-1_16","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:05:42Z","timestamp":1267106742000},"page":"330-343","source":"Crossref","is-referenced-by-count":3,"title":["Preserving Properties under Change"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Model checking.","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","volume":"17","author":"R. Duke","year":"1995","unstructured":"Duke, R., Rose, G., Smith, G.: Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces\u00a017, 511\u2013533 (1995)","journal-title":"Computer Standards and Interfaces"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997)","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol.\u00a02, pp. 423\u2013438. Chapman & Hall, Boca Raton (1997)"},{"key":"16_CR4","unstructured":"Hatcliff, J., Dwyer, M., Zheng, H.: Slicing software for model construction. Higher-order and Symbolic Computation (to appear)"},{"key":"16_CR5","unstructured":"Huizing, K., Kuiper, R.: Reinforcing fragile base classes. In: Poetzsch-Heffter, A. (ed.) Workshop on Formal Techniques for Java Programs, ECOOP 2001 (2001)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/BF01178658","volume":"32","author":"G.T. Leavens","year":"1995","unstructured":"Leavens, G.T., Weihl, W.E.: Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica\u00a032, 705\u2013778 (1995)","journal-title":"Acta Informatica"},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems, Specification (1991)","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s100090050041","volume":"2","author":"L. Millett","year":"2000","unstructured":"Millett, L., Teitelbaum, T.: Issues in slicing promela and its applications to model checking, protocol understanding, and simulation. Software Tools for Technology Transfer\u00a02(4), 343\u2013349 (2000)","journal-title":"Software Tools for Technology Transfer"},{"issue":"3","key":"16_CR10","first-page":"208","volume":"5","author":"A. Poetzsch-Heffter","year":"1999","unstructured":"Poetzsch-Heffter, A., Meyer, J.: Interactive verification environments for objectoriented languages. Journal of Universal Computer Science\u00a05(3), 208\u2013225 (1999)","journal-title":"Journal of Universal Computer Science"},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-44880-2_17","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"G. Smith","year":"2003","unstructured":"Smith, G., Winter, K.: Proving Temporal Properties of Z Specifications Using Abstraction. In: Bert, D., Bowen, J.P., King, S., Walden, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 260\u2013279. Springer, Heidelberg (2003)"},{"key":"16_CR13","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03(3) (1995)"},{"key":"16_CR14","volume-title":"FMOODS 2000: Formal Methods for Open Object-Based Distributed Systems","author":"H. Wehrheim","year":"2000","unstructured":"Wehrheim, H.: Behavioural subtyping and property preservation. In: Smith, S., Talcott, C. (eds.) FMOODS 2000: Formal Methods for Open Object-Based Distributed Systems, Kluwer, Dordrecht (2000)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-39958-2_6","volume-title":"FMOODS 2003: Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS","author":"H. Wehrheim","year":"2003","unstructured":"Wehrheim, H.: Inheritance of temporal logic properties. In: Stevens, P., Nestmann, U. (eds.) FMOODS 2003: Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pp. 79\u201393. Springer, Heidelberg (2003)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/3-540-44880-2_18","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"K. Winter","year":"2003","unstructured":"Winter, K., Smith, G.: Compositional Verification for Object-Z. In: Bert, D., Bowen, J.P., King, S., Walden, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 280\u2013299. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30101-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:46:36Z","timestamp":1558856796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30101-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229421","9783540301011"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30101-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}