{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:53:26Z","timestamp":1725656006261},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513537"},{"type":"electronic","value":"9783642748721"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-74872-1_14","type":"book-chapter","created":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T15:29:41Z","timestamp":1327764581000},"page":"201-224","source":"Crossref","is-referenced-by-count":3,"title":["Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOS"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"I.","family":"Cla\u00dfen","sequence":"additional","affiliation":[]},{"given":"P.","family":"Boehm","sequence":"additional","affiliation":[]},{"given":"W.","family":"Fey","sequence":"additional","affiliation":[]},{"given":"M.","family":"Korff","sequence":"additional","affiliation":[]},{"given":"M.","family":"L\u00f6we","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2\/3","key":"14_CR1","first-page":"293","volume":"34","author":"EK Blum","year":"1987","unstructured":"Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2\/3 (1987), 293\u2013339","journal-title":"JCSS"},{"key":"14_CR2","volume-title":"Artificial Intelligence","author":"RM Burstall","year":"1977","unstructured":"Burstall, R.M.; Goguen, J.A.: Putting theories together to make specifications. Proc. Int. Conf. Artificial Intelligence, 1977"},{"key":"14_CR3","first-page":"292","volume":"86","author":"RM Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A.: Semantics of CLEAR, a specification language. Abstract Software Specifications, D. Bj\u00f6mer (ed) Proc. 1979 Copenhagen Winter School, Springer Lect. Notes in Comp. Sci. 86, 1980, 292\u2013332","journal-title":"Semantics of CLEAR, a specification language. Abstract Software Specifications, D. Bj\u00f2mer (ed) Proc. 1979 Copenhagen Winter School, Springer Lect. Notes in Comp. Sci."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bj\u00f6mer, D.; Jones, C.B.: The Vienna development method: The Meta-Language. Springer Veiiag, LNCS 61, 1978","DOI":"10.1007\/3-540-08766-4"},{"key":"14_CR5","unstructured":"Brinksma, E. (ed.): Information processing systems - open systems interconnection - LOTOS A formal description technique based on the temporal ordering of observational behaviour, International Standard, ISO 8807"},{"key":"14_CR6","volume-title":"Springer","author":"CIP Language Group","year":"1985","unstructured":"CIP Language Group: The Munich Project CIP, Vol. 1: The Wide Spectrum language CIP-L, LNCS 183, Springer (1985)"},{"key":"14_CR7","volume-title":"Springer","author":"CIP Language Group","year":"1987","unstructured":"CIP Language Group: The Munich Project CIP. Vol. 2: The transformation System CIP-S. LNCS 292, Springer (1987)"},{"key":"14_CR8","unstructured":"Cla\u00dfen, I.: Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE, Diplomarbeit TU Berlin, FB 20, 1988"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Cla\u00dfen, I.: Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language, Proc. Workshop on Categorical Methods in Computer Science, Berlin 1988, to appear in Springer LNCS","DOI":"10.1007\/3-540-51722-7_8"},{"key":"14_CR10","volume-title":"ESPRIT BRA-Proposal","author":"COMPASS Working Group","year":"1988","unstructured":"COMPASS Working Group: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRA-Proposal 1988"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Fey, W.: Methodology for the specification of software systems: from formal requirements to algebraic design specifications. 11. Gl-Jahrestagung (1981), Springer Informatik Fachberichte 50, 255\u2013269","DOI":"10.1007\/978-3-662-01089-1_24"},{"key":"14_CR12","unstructured":"Ehrig, H.; Fey, W.; Hansen, H.: ACT ONE - an algebraic specification language with two levels of semantics. TU Berlin, FB 20, Techn. Report No. 83\u201303"},{"key":"14_CR13","first-page":"255","volume-title":"Compatibility of Parameter Passing and Implementation of Parameterized Data Types. TCS Vol 27 No 3","author":"H Ehrig","year":"1983","unstructured":"Ehrig, H.; Kreowski, H.-J.: Compatibility of Parameter Passing and Implementation of Parameterized Data Types. TCS Vol 27 No 3, (1983), 255\u2013286"},{"key":"14_CR14","first-page":"80","volume-title":"209\u2013263. (Prelim. Version: TU Berlin, FB 20","author":"H Ehrig","year":"1982","unstructured":"Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.: Algebraic implementation of abstract data types. Theoret. Comp. Sci. 20 (1982), 209\u2013263. (Prelim. Version: TU Berlin, FB 20, Techn. Report No. 80\u201332, 1980 )"},{"key":"14_CR15","first-page":"45","volume":"28","author":"H Ehrig","year":"1984","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Parameter passing in algebraic specification languages. Workshop on Program Specification, Aaihus 1981, Springer LNCS 134, 322\u2013369, also appeared in TCS 28 (1984), 45\u201381","journal-title":"Springer LNCS 134, 322\u2013369, also appeared in TCS"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0022-0000(81)90014-3","volume":"23","author":"H Ehrig","year":"1981","unstructured":"Ehrig, H.; Mahr, B.: Complexity of algebraic implementations for abstract data types. J. Comp, and Syst. Sei. 23 (1981), 223\u2013253","journal-title":"J. Comp, and Syst. Sei"},{"key":"14_CR17","volume-title":"Springer","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)"},{"key":"14_CR18","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. To appear in EATCS Monographs on Theoretical Computer Science, Springer"},{"key":"14_CR19","volume-title":"Algebraic Specifications of Modules. Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming, Wien 1985. Also as Techn. Report No. 190","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H.; Weber, H.: Algebraic Specifications of Modules. Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming, Wien 1985. Also as Techn. Report No. 190 (1985), FB Informatik, Univ. Dortmund"},{"key":"14_CR20","volume-title":"TU Berlin","author":"W Fey","year":"1988","unstructured":"Fey, W.: Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language, Diss. TU Berlin, 1988"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Ganzinger, H.: A completion procedure for conditional equations. Proc. 1st Int. Workshop on conditional Term Rewriting, Orsay (1987), also to appear in Journ. of Symb. Computation","DOI":"10.1007\/3-540-19242-5_6"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221- 256","DOI":"10.1007\/3-540-12896-4_366"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Giarratana, V.; Gimona, F.; Montanari, U.: Observability concepts in abstract data type specifications. 5th Symp. Math. Foundations of Comp. Sci. (1976), Springer LNCS 45, 576\u2013587","DOI":"10.1007\/3-540-07854-1_231"},{"key":"14_CR24","volume-title":"Report CSL","author":"JV Guttag","year":"1983","unstructured":"Guttag, J.V.; Horning, J.J.: Preliminary Report on the Larch Shared Language. Techn. Report CSL 83\u20136, Xerox, Palo Alto 1983"},{"key":"14_CR25","volume-title":"The specification and application to programming of abstract data types. Ph.D","author":"JV Guttag","year":"1975","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975"},{"key":"14_CR26","first-page":"80","volume-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R","author":"JA Goguen","year":"1978","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed. ), Prentice Hall (1978), 80\u2013144"},{"key":"14_CR27","unstructured":"Hansen, H.: The ACT-System-Experiences and Future Enhancements, Recent Trends in Data Type Specifications (D. Sannella, A. Tarlecki (eds.)), LNCS 332"},{"key":"14_CR28","first-page":"263","volume-title":"Leech, ed., Computational Problems in Abstract Algebra","author":"DE Knuth","year":"1970","unstructured":"Knuth, D.E.; Bendix, P.B.: Simple word problems in universal algebra. In Leech, ed., Computational Problems in Abstract Algebra, Pergamon Press, Oxford, 1970, 263\u2013297"},{"key":"14_CR29","volume-title":"de Gryuter","author":"R Kimm","year":"1979","unstructured":"Kimm, R.; Koch, W.; Simonsmeier, W.; Tontsch, F.: Einf\u00fchrung in Software Engineering, de Gryuter, 1979"},{"key":"14_CR30","volume-title":"Springer Verlag","author":"P Padawitz","year":"1988","unstructured":"Padawitz, P.: Computing in Horn Clause Theories, Springer Verlag 1988"},{"key":"14_CR31","first-page":"19","volume-title":"Towards a mathematical semantics for computer languages. Computers and Automata","author":"D Scott","year":"1971","unstructured":"Scott, D.; Strachey, C.: Towards a mathematical semantics for computer languages. Computers and Automata, Wiley, New York, 1971, 19\u201346"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Sannella, D.T.; Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Extended abstract in: Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, LNCS 249, Springer (1987), 96\u2013110; full version to appear in Acta Informatica","DOI":"10.1007\/BF00283329"},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"JW Thatcher","year":"1982","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119\u2013132. Trans. Prog. Languages and Systems 4 (1982), 711\u2013732","journal-title":"Trans. Prog. Languages and Systems"},{"key":"14_CR34","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1109\/TSE.1986.6312979","volume":"7","author":"H Weber","year":"1986","unstructured":"Weber, H.; Ehrig, H.: Specification of modular systems, IEEE Transaction on Software Engineering, Vol. SE-12, no 7, 1986, 784\u2013798","journal-title":"IEEE Transaction on Software Engineering, Vol. SE-12"},{"key":"14_CR35","unstructured":"Weber, H.; Ehrig, H.: Specification of Concurrently Executable Modules and Distributed Modular Systems; Proc. IEEE Workshop on Future Trends of Distrib. Comp. Systems in the 1990s, HongKong 1988, 202\u2013215"},{"key":"14_CR36","unstructured":"Zilles, S.N.: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, 28\u201352"}],"container-title":["Informatik-Fachberichte","Software-Entwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74872-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T03:00:50Z","timestamp":1686711650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74872-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513537","9783642748721"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74872-1_14","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}