{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:27:31Z","timestamp":1770748051342,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540255598","type":"print"},{"value":"9783540320074","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11415787_24","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:07:36Z","timestamp":1278871656000},"page":"414-433","source":"Crossref","is-referenced-by-count":15,"title":["Slicing Object-Z Specifications for Verification"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Br\u00fcckner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing Object-Z specifications for verification. Technical Report\u00a03, SFB\/TR 14 AVACS (2005), \n                  \n                    http:\/\/www.avacs.org\/"},{"key":"24_CR2","first-page":"138","volume-title":"ACM SIGSOFT international symposium on Software testing and analysis","author":"D. Chang","year":"1994","unstructured":"Chang, D., Richardson, D.: Static and Dynamic Specification Slicing. In: ACM SIGSOFT international symposium on Software testing and analysis, pp. 138\u2013153. ACM, New York (1994)"},{"key":"24_CR3","volume-title":"Model checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-27815-3_13","volume-title":"Algebraic Methodology and Software Technology","author":"J. Derrick","year":"2004","unstructured":"Derrick, J., Smith, G.: Linear temporal logic and Z refinement. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 117\u2013131. Springer, Heidelberg (2004)"},{"key":"24_CR5","volume-title":"Formal object-oriented specification using Object-Z","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal object-oriented specification using Object-Z. Macmillan, Basingstoke (2000)"},{"key":"24_CR6","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":"24_CR7","doi-asserted-by":"crossref","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.: CSP-OZ: 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)"},{"issue":"4","key":"24_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J. Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M., Zheng, H.: Slicing software for model construction. Higher-order and Symbolic Computation\u00a013(4), 315\u2013353 (2000)","journal-title":"Higher-order and Symbolic Computation"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-47884-1_14","volume-title":"Integrated Formal Methods","author":"J. Hoenicke","year":"2002","unstructured":"Hoenicke, J., Olderog, E.-R.: Combining Specification Techniques for Processes, Data and Time. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 245\u2013266. Springer, Heidelberg (2002)"},{"issue":"4","key":"24_CR10","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"},{"key":"24_CR11","first-page":"313","volume-title":"Proceedings of the Seventeenth Annual International Computer Software & Applications Conference","author":"T. Oda","year":"1993","unstructured":"Oda, T., Araki, K.: Specification slicing in formal methods of software development. In: Proceedings of the Seventeenth Annual International Computer Software & Applications Conference, pp. 313\u2013319. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BFb0015015","volume-title":"CONCUR \u201994: Concurrency Theory","author":"J.U. Skakkeb\u00e6k","year":"1994","unstructured":"Skakkeb\u00e6k, J.U.: Liveness and fairness in duration calculus. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 283\u2013298. Springer, Heidelberg (1994)"},{"key":"24_CR13","doi-asserted-by":"crossref","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":"24_CR14","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. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 260\u2013279. Springer, Heidelberg (2003)"},{"key":"24_CR15","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03(3) (1995)"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-39958-2_6","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Wehrheim","year":"2003","unstructured":"Wehrheim, H.: Inheritance of Temporal Logic Properties. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 79\u201393. Springer, Heidelberg (2003)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-540-30101-1_16","volume-title":"Formal Methods for Components and Objects","author":"H. Wehrheim","year":"2004","unstructured":"Wehrheim, H.: Preserving Properties under Change. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 330\u2013343. Springer, Heidelberg (2004)"},{"issue":"7","key":"24_CR18","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"key":"24_CR19","first-page":"439","volume-title":"Proceedings of the 5th international conference on Software engineering","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th international conference on Software engineering, pp. 439\u2013449. IEEE Press, Los Alamitos (1981)"},{"key":"24_CR20","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. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 280\u2013299. Springer, Heidelberg (2003)"},{"issue":"5","key":"24_CR21","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","ZB 2005: Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11415787_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:03:44Z","timestamp":1619492624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11415787_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255598","9783540320074"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11415787_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}