{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:10:55Z","timestamp":1725459055676},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354018712X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022109","type":"book-chapter","created":{"date-parts":[[2006,1,12]],"date-time":"2006-01-12T06:45:40Z","timestamp":1137048340000},"page":"159-171","source":"Crossref","is-referenced-by-count":2,"title":["Formalising restructuring operators in a specification process"],"prefix":"10.1007","author":[{"given":"Eric","family":"Dubois","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"Levy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Astesiano E. and Wirsing, M.: An introduction to ASL, Proc. of the IFIP WG 2.1 Working Conf. on Programme Specifications and Transformations, Bad Tolz, FRG, 1986."},{"key":"17_CR2","volume-title":"Abstract Model Specifications for Data Abstractions","author":"V.A. Berzins","year":"1979","unstructured":"Berzins V.A.: Abstract Model Specifications for Data Abstractions, Ph.D. Thesis, MIT, Massachusetts, 1979."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume":"86","author":"M.R. Burstall","year":"1980","unstructured":"Burstall, M.R. and Goguen, J.A.: The Semantics of Clear, a Specification Language, Proc. of Advanced Course on Abstract Software Specifications, Copenhagen, LNCS 86, 1980, pp. 292\u2013332.","journal-title":"Proc. of Advanced Course on Abstract Software Specifications, Copenhagen, LNCS"},{"key":"17_CR4","unstructured":"Call for papers: Problem Set for the 4th International Workshop on Software Specification and Design. ACM Software Engineering Notes, April 1986."},{"key":"17_CR5","unstructured":"Cohen, B. and Jackson, M.I.: A Critical Appraisal of Formal Software Development Theories, Methods and Tools, ESPRIT Preparatory Study, 1983, 128p."},{"key":"17_CR6","unstructured":"Dubois, E., Finance, J-P. and van Lamsweerde, A.: Towards a Deductive Approach to Information System Specification and Design, In: \u201cCurrent Issues of Requirements Engineering Environments\u201d, Y. Ohno (ed), North-Holland, 1982, pp. 23\u201331."},{"key":"17_CR7","unstructured":"Dubois, E., Levy, N. and Souqui\u00e8res, J.: SACSO: Methods and Tools for Constructing Requirements Specifications, Proc. of Third Conference on Software Engineering, Versailles, 1986, pp 177\u2013188."},{"key":"17_CR8","unstructured":"Dubois E. and Van Lamsweerde A.: Making specification processes explicit, Proc. of 4th International Workshop on Software Specification and Design, IEEE, Monterey (California), 1987, pp. 169\u2013177."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Futatsugi, J., Goguen, A., Jouannaud J-P and Meseguer, J.: Principles of OBJ2, Proc. 11th POPLE, 1984.","DOI":"10.1145\/318593.318610"},{"issue":"3","key":"17_CR10","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Parameterised Specifications: parameter passing and implementation with respect to observability, ACM transactions on Programming Languages and Systems Vol. 5 no 3, 1983, pp 318\u2013353.","journal-title":"ACM transactions on Programming Languages and Systems"},{"key":"17_CR11","unstructured":"Gaudel, M-Cl.: Towards Structured Algebraic Specifications, ESPRIT'85: Status Report of Continuing Work, North-Holland, 1986, pp 493\u2013510."},{"issue":"6","key":"17_CR12","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J. Guttag","year":"1977","unstructured":"Guttag, J.: Abstract Data Types and the Development of Data Structures, CACM, vol. 20, 6, 1977, pp. 396\u2013404.","journal-title":"CACM"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Guttag, J. and Horning, J.J.: Formal Specification as a Design Tool, Proc. 7th ACM Principles of Programming Language, 1980, pp. 252\u2013261.","DOI":"10.1145\/567446.567471"},{"key":"17_CR14","unstructured":"Levy, N.: Outils d'Aide \u00e0 la Construction et Transformation de Types Abstraits Alg\u00e8briques, Th\u00e8se de troisi\u00e8me cycle, Universit\u00e8 de Nancy-1, 1984."},{"key":"17_CR15","first-page":"236","volume-title":"Specifying with SACSO, Proc. of 4th International Workshop on Software Specification and Design","author":"N. Levy","year":"1987","unstructured":"Levy N., Piganiol A. and Souqui\u00e8res J.: Specifying with SACSO, Proc. of 4th International Workshop on Software Specification and Design, IEEE, Monterey (California), 1987, pp236\u2013241."},{"key":"17_CR16","first-page":"391","volume-title":"Genericity vs Inheritance, Proceedings of the First ACM Symposium on Object-Oriented Programming Systems","author":"B. Meyer","year":"1985","unstructured":"Meyer, B.: Genericity vs Inheritance, Proceedings of the First ACM Symposium on Object-Oriented Programming Systems, Languages and Applications, Portland, Oregon, 1985, pp. 391\u2013405."},{"issue":"6","key":"17_CR17","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Niphow","year":"1986","unstructured":"Niphow, T.: Non-deterministic Data Types: Models and Implementations, Acta Informatica, vol. 22, no. 6, 1986, pp. 629\u2013661.","journal-title":"Acta Informatica"},{"key":"17_CR18","unstructured":"Sannella, D. and Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation, Proc. Int. Conf. on Foundations of Computer Theory. Bergholm Sweden, LNCS, 1985, pp308\u2013322."},{"key":"17_CR19","unstructured":"Scherlis, W. and Scott, D.: First Steps Toward Inferential Programming, I.F.I.P. Congress, 1983, pp 199\u2013212."},{"key":"17_CR20","series-title":"ASI Nato Series","volume-title":"Program Transformation and Programming Environments","author":"M. Sintzoff","year":"1984","unstructured":"Sintzoff, M.: Understanding and Expressing Software Construction, in Program Transformation and Programming Environments, P. Pepper (ed), ASI Nato Series, Springer-Verlag, Berlin, 1984."},{"issue":"4","key":"17_CR21","first-page":"711","volume":"4","author":"J. Thatcher","year":"1982","unstructured":"Thatcher, J., Wagner, E. and Wright J.: Data type specification: parameterisation and the power of specification techniques, ACM TODS Vol. 4(4), 1982, pp711\u2013732.","journal-title":"ACM TODS"}],"container-title":["Lecture Notes in Computer Science","ESEC '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T22:31:02Z","timestamp":1586644262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018712X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0022109","relation":{},"subject":[]}}