{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:56Z","timestamp":1725663776605},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:56:48Z","timestamp":1330232208000},"page":"451-472","source":"Crossref","is-referenced-by-count":0,"title":["Modules for a model-oriented specification language: A proposal for metasoft"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Tarlecki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"27_CR1","unstructured":"The Programming Language Ada: Reference Manual. LNCS 106, Springer 1980."},{"key":"27_CR2","unstructured":"Bauer, F.L. et al The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985."},{"key":"27_CR3","series-title":"LNCS 428","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/3-540-52513-0_24","volume-title":"VDM and Z \u2014 Formal Methods in Software Development","author":"M. Bednarczyk","year":"1990","unstructured":"Bednarczyk, M., Borzyszkowski, A., Paw\u0142owski, W. Towards the semantics of the definitional language of MetaSoft. In: VDM and Z \u2014 Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 477\u2013503, Springer 1990."},{"key":"27_CR4","first-page":"452","volume-title":"VDM and Z \u2014 Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990","author":"M. Bednarczyk","year":"1990","unstructured":"Bednarczyk, M., Borzyszkowski, A., Paw\u0142owski, W. Recursive definitions revisited. In: VDM and Z \u2014 Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 452\u2013476, Springer 1990."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Bednarczyk, M., Borzyszkowski, A., Paw\u0142owski, W. Towards the semantics of the definitional language of MetaSoft: Dependent types. Technical report, Institute of Computer Science PAS, Gda\u0144sk, December 1991.","DOI":"10.1007\/3-540-52513-0_24"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., Jones, C.B. The Vienna Development Method: The Meta-Language. Springer LNCS 61, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"27_CR7","unstructured":"Bj\u00f8rner, D., Jones, C.B. Formal Specification and Software Development. Prentice Hall 1982."},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0167-6423(89)90003-8","volume":"12","author":"A. Blikle","year":"1989","unstructured":"Blikle, A. Denotational engineering. Science of Computer Programming 12(1989), pp. 207\u2013253.","journal-title":"Science of Computer Programming"},{"key":"27_CR9","unstructured":"Blikle, A., Tarlecki, A. Naive denotational semantics. In: Information Processing 83, Proc. IFIP World Congress'83, Paris 1983, R.E.A.Mason, ed., pp. 345\u2013355, North-Holland 1983."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Blikle, A., Tarlecki, A., Thorup, M. On conservative extensions of syntax in system development. In: Images of Programming, dedicated to the memory of A.P. Ershov, D.Bj\u00f8rner, V.Kotov, eds., pp. 209\u2013233, North-Holland 1991.","DOI":"10.1016\/0304-3975(91)90308-O"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. of Advanced Course on Abstract Software Specification","author":"R. M. Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A. The semantics of CLEAR, a specification language. Proc. of Advanced Course on Abstract Software Specification, Copenhagen, LNCS 86, pp. 292\u2013332, Springer 1980."},{"key":"27_CR12","volume-title":"Report S-22","author":"O.-J. Dahl","year":"1970","unstructured":"Dahl, O.-J., Myrhaug, B., Nygaard, K. Simula 67 common base language. Report S-22, Norwegian Computing Center, Oslo, 1970."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer 1990.","DOI":"10.1007\/978-3-642-61284-8"},{"key":"27_CR15","unstructured":"Feijs, L.M.G., Jonkers, H.B.M., Koymans, C.P.J., Renardel de Lavalette, G.R. Formal definition of the design language COLD-K. METEOR Report t7\/PRLE\/7, Philips Research Laboratories, April 1987."},{"key":"27_CR16","series-title":"LNCS 164","first-page":"221","volume-title":"Introducing institutions. Proc. Logics of Programming Workshop","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J.A., Burstall, R.M. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, LNCS 164, pp. 221\u2013256, Springer 1984."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C. The denotational description of Programming Languages: An Introduction. Springer 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"27_CR18","volume-title":"Report 5","author":"J. V. Guttag","year":"1985","unstructured":"Guttag, J.V., Horning, J.J., Wing, J. Larch in five easy pieces. Report 5, DEC Systems Research Center, Palo Alto 1985."},{"key":"27_CR19","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. An axiomatic basis for computer programming. Communications of the ACM 12(1969), pp. 576\u2013580, 583.","journal-title":"Communications of the ACM"},{"key":"27_CR20","unstructured":"Jones, C.B. Systematic Software Development Using VDM. Prentice Hall 1986."},{"key":"27_CR21","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/0890-5401(88)90011-9","volume":"76","author":"B. Lampson","year":"1988","unstructured":"Lampson, B., Burstall, R. Pebble, a kernel language for modules and abstract data types. Information and Computation 76(1988) pp. 278\u2013346.","journal-title":"Information and Computation"},{"key":"27_CR22","volume-title":"Technical report","author":"P. G. Larsen","year":"1989","unstructured":"Larsen, P.G. The Dynamic Semantics of the BSI\/VDM Specification Language. Technical report, Dept. of Computer Science, Technical University of Denmark, Lyngby, October 1989."},{"key":"27_CR23","unstructured":"Liskov, B.H. et al. CLU Reference Manual. LNCS 114, Springer 1981."},{"key":"27_CR24","unstructured":"MacQueen, D.B. Modules for Standard ML. In: Harper, R., MacQueen, D.B. and Milner, R. Standard ML. Report ECS-LFCS-86-2, Univ. of Edinburgh 1986."},{"key":"27_CR25","unstructured":"Milner, R., Tofte, M., Harper, R. The Definition of Standard ML. MIT Press 1990."},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"Moggi, E. A category-theoretic account of program modules. Proc. Category Theory and Computer Science, D.H.Pitt, D.E.Rydeheard, P.Dybjer, A.M.Pitts, A.Poign\u00e9, eds., LNCS 389, 101\u2013117, Springer 1989.","DOI":"10.1007\/BFb0018347"},{"key":"27_CR27","unstructured":"Project MetaSoft. Project description, Institute of Computer Science, Polish Academy of Sciences, Warsaw, March 1990."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Havelund, K., Wagner, K.R., George, Ch. The RAISE language, method and tools. In: VDM \u2014 The Way Ahead, Proc. VDM-Europe Symp. VDM'88, Dublin, R.Bloomfield, L.Marshall, R.Jones, eds., LNCS 328, pp. 376\u2013405, Springer 1988.","DOI":"10.1007\/3-540-50214-9_25"},{"key":"27_CR29","unstructured":"Sannella, D., Soko\u0142owski, S., Tarlecki, A. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica, to appear; also Bericht 6\/90, Informatik, Technische Universit\u00e4t Bremen, April 1990."},{"key":"27_CR30","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A. Specifications in an arbitrary institution. Information and Computation 76(1988), pp. 165\u2013210.","journal-title":"Information and Computation"},{"key":"27_CR31","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A. Toward formal development of ML programs: foundations and methodology. Report ECS-LFCS-89-71, Laboratory for Foundations of Computer Science, Dept. of Computer Science, Univ. of Edinburgh 1989; extended abstract in Proc. Colloq. Current Issues in Programming Languages, 3rd Joint Conf. Theory and Practice of Software Development TAPSOFT'89, Barcelona, LNCS 352, pp. 375\u2013389, Springer 1989.","DOI":"10.1007\/3-540-50940-2_48"},{"key":"27_CR32","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A. Extended ML: past, present and future. Proc. 7th Intl. Workshop Specification of Abstract Data Types, Wusterhausen\/Dosse, LNCS 534, pp. 297\u2013322, Springer 1991.","DOI":"10.1007\/3-540-54496-8_16"},{"key":"27_CR33","series-title":"LNCS 534","first-page":"274","volume-title":"Proc. 7th Intl. Workshop Specification of Abstract Data Types","author":"D. Sannella","year":"1991","unstructured":"Sannella, D., Tarlecki, A. A kernel specification formalism with higher-order parameterisation. Proc. 7th Intl. Workshop Specification of Abstract Data Types, Wusterhausen\/Dosse, LNCS 534, pp. 274\u2013296, Springer 1991."},{"key":"27_CR34","series-title":"LNCS 158","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Proc. Intl. Conf. Foundations of Computation Theory","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M. A kernel language for algebraic specification and implementation. Proc. Intl. Conf. Foundations of Computation Theory, Borgholm, Sweden, LNCS 158, pp. 413\u2013427, Springer 1983."},{"key":"27_CR35","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D Scott","year":"1976","unstructured":"Scott, D. Data types as lattices. SIAM Jour. on Computing 5 (1976), pp. 522\u2013587.","journal-title":"SIAM Jour. on Computing"},{"key":"27_CR36","doi-asserted-by":"crossref","unstructured":"Scott, D. Domains for denotational semantics. Proc. ICALP'82, LNCS 140, Springer 1982.","DOI":"10.1007\/BFb0012801"},{"key":"27_CR37","unstructured":"Scott, D., Strachey, Ch. Towards a mathematical semantics for computer languages. Technical report, Oxford University Computing Laboratory 1971."},{"key":"27_CR38","unstructured":"Tarlecki, A. Modules for MetaSoft: a technical definition. Technical report, Institute of Computer Science PAS, Warsaw, in preparation."},{"key":"27_CR39","series-title":"LNCS 428","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/3-540-52513-0_27","volume-title":"VDM and Z \u2014 Formal Methods in Software Development","author":"A. Tarlecki","year":"1990","unstructured":"Tarlecki, A., Wieth, M. A naive domain universe for VDM. In: VDM and Z \u2014 Formal Methods in Software Development, Proc. VDM-Europe Symp. 1990, Kiel, LNCS 428, pp. 552\u2013579, Springer 1990."},{"key":"27_CR40","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M Wirsing","year":"1986","unstructured":"Wirsing, M. Structured algebraic specifications: a kernel language. Theoretical Computer Science 42(1986) pp. 123\u2013249.","journal-title":"Theoretical Computer Science"},{"key":"27_CR41","doi-asserted-by":"crossref","unstructured":"Wirth, N. Programming in Modula-2 (third edition). Springer 1988.","DOI":"10.1007\/978-3-642-83565-0"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:29Z","timestamp":1605628709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}