{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:17Z","timestamp":1742593217698,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:19:00Z","timestamp":1330208340000},"page":"358-378","source":"Crossref","is-referenced-by-count":2,"title":["Towards a formally based component description language"],"prefix":"10.1007","author":[{"given":"J.","family":"Cramer","sequence":"first","affiliation":[]},{"given":"W.","family":"Fey","sequence":"additional","affiliation":[]},{"given":"M.","family":"Goedicke","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gro\u00dfe-Rhode","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"22_CR1","unstructured":"Beierle C. PROTOS-L: Design and Implementation in: Proceedings of the first workshop of the EUREKA project EU56 PROTOS, Lugano-Morcote, Switzerland, September 1988"},{"issue":"2\/3","key":"22_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0022-0000(87)90028-6","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"E.K. Blum, H. Ehrig, F. Parisi-Presicce Algebraic Specification of Modules and Their Basic Interconnections. Journal of Computer and System Sciences Vol.34,Nos.2\/3, New York-London 1987, pp. 293\u2013339","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR3","unstructured":"Booch, Grady Software Components with ADA Structure, Tools, and Subsystems Benjamin Cummings, 1987"},{"key":"22_CR4","unstructured":"Cardelli L., Donahue J., Glassman L., Jordan M., Kaslow B., Nelson G. Modula-3 Report (revised) Digital Systems Research Center, Technical Report, Oct 1989"},{"key":"22_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"R.H. Campbell","year":"1974","unstructured":"Campbell, R.H. Habermann, A.N. The Specification of Process Synchronization by Path Expressions Lecture Notes in Computer Science Vol 16, pp 89\u2013102 Springer Verlag New York 1974","journal-title":"Lecture Notes in Computer Science"},{"key":"22_CR6","unstructured":"Cox B.J. Object-Oriented Programming: An Evolutionary Approach Addison-Wesley Publishing Company 1986"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Dietrich R. A Preprocessor Based Module System for Prolog in: Proceedings of the TAPSOFT, Barcelona, 1989","DOI":"10.1007\/3-540-50940-2_32"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"H. Ehrig, P. Boehm, U. Hummert, and M. Loewe Distributed parallelism of graph transformation. in 13th International Workshop on Graphtheoretic Concepts in Computer Science, pages 1\u201319, Springer Lecture Notes in Computer Science 314, Berlin, 1988","DOI":"10.1007\/3-540-19422-3_1"},{"key":"22_CR9","unstructured":"H. Ehrig, B. Mahr Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer-Verlag (1985)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"H.Ehrig, B.Mahr Fundamentals of Algebraic Specifications 2: Modules and Constraints. EATCS Monographs on Theoretical Computer Science, Vol. 21, Springer-Verlag (1990)","DOI":"10.1007\/978-3-642-61284-8"},{"key":"22_CR11","volume-title":"Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language","author":"W. Fey","year":"1988","unstructured":"W. Fey Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language. Diss. TU Berlin 1988; also Techn. Report No. 1988\/26, TU Berlin, FB 20"},{"key":"22_CR12","unstructured":"K. Futatsugi, J.Goguen, J.Meseguer, K. Okada Parameterized Programming in OBJ2 in Proc. 9th Intl. Conf. on Software Engineering, ACM 1987 pp51\u201360"},{"key":"22_CR13","unstructured":"Feijs L.M.G., Jonkers H.B.M. METEOR and Beyond: Industrializing Formal Methods in: K.H. Bennett (ed.): Software Engineering Environments: Research and Practice John Wiley & Sons 1989"},{"key":"22_CR14","unstructured":"Finkelstein,A. Kramer,J. Goedicke, M. ViewPoint oriented Software Development in Proc. 3rd Intl Workshop Software engineering & its Applications, Toulouse 1990"},{"key":"22_CR15","unstructured":"Goedicke M., Ditt W., Schippers H. The \u03a0-Language Reference Manual \u2014 Version 0.1 Research Report No. 295, University of Dortmund, Department of Computer Science, January 1989"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"M. Gro\u00dfe-Rhode, H. Ehrig Transformation of Combined Data Type and Process Specifications Using Projection Algebras. Technical Report No. 1990\/1, TU Berlin, FB 20","DOI":"10.1007\/3-540-52559-9_69"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"J.A.Goguen, J.Meseguer Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. in: Research Directions in Object-Oriented Programming, ed. by B.Shriver and Peter Wegner, MIT Press, pp. 417\u2013477, 1987","DOI":"10.1145\/323779.323755"},{"key":"22_CR18","unstructured":"Goedicke,M Paradigms of Modular Software Developmen\u201d in Mitchell R.J. (Ed); Managing Complexity in Software Engineering; IEE Computing Series, Vol 17 Peter Peregrinus, Stevenage, England 1990"},{"key":"22_CR19","first-page":"185","volume":"393","author":"M. Gro\u00dfe-Rhode","year":"1989","unstructured":"M. Gro\u00dfe-Rhode Parameterized Data Type and Process Specifications Using Projection Algebras. in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preu\u00df (eds.), LNCS 393, Springer-Verlag (1989), pp. 185\u2013197","journal-title":"LNCS"},{"key":"22_CR20","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner 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":"22_CR21","unstructured":"Heimbigner D. P4: A Logic Language for Process Programming in: Proceedings of the 5th International Software Process Workshop"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Kramer,J. Magee,J. Sloman,M. Constructing Distributed Systems in Conic in IEEE Transactions on Software Engineering, Vol SE 15 No 6 June 1989","DOI":"10.1109\/32.24720"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Kramer, J. Configuration Programming \u2014 A Framework for the Development of Distributable Systems Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, May 1990, 374\u2013384.","DOI":"10.1109\/CMPEUR.1990.113648"},{"key":"22_CR24","unstructured":"Meyer,B. Object-oriented Software Construction Prentice Hall Intl. Series in Computer Science, London, 1988"},{"key":"22_CR25","unstructured":"R. Milner, M. Tofte, R. Harper. The Definition of Standard ML MIT Press, 1990"},{"key":"22_CR26","volume-title":"Object Oriented Concepts, Databases, and Applications","author":"D.A. Moon","year":"1989","unstructured":"Moon, D.A. The CommonLisp Object-Oriented Programming Language Standard in Kim, W. Lochovsky, F. (eds) Object Oriented Concepts, Databases, and Applications. ACM Press, Addison Wesley, New York 1989"},{"key":"22_CR27","unstructured":"Myers G.J. Reliable Software Through Composite Design Van Nostrand\/Reinhold 1975"},{"key":"22_CR28","unstructured":"The Peacock Project The Peacock Language Reference Manual Deliverable, Brussels, March 1988"},{"key":"22_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3474-6","volume-title":"The Illusion of Reality","author":"H.L. Resnikoff","year":"1989","unstructured":"Resnikoff, H.L. The Illusion of Reality Springer Verlag, New York 1989"},{"key":"22_CR30","unstructured":"Rohen,.M. Semantics of composed modular logic programs in a programming environment with integrated object inheritance mechanisms (in german), PhD.Dissertation forthcoming University of Dortmund, Dept. of Computer Science 1990"},{"key":"22_CR31","unstructured":"Seehusen,S. Determination of Concurrency Properties in Modular Systems with Path Expressions Dissertation, University of Dortmund, Fachbereich Informatik, 1987 (in german)"},{"key":"22_CR32","unstructured":"Simon,H.A. The Sciences of the Artificial 2nd Edition, The Mit Press, 1984"},{"key":"22_CR33","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup B. The C++ Programming Language Addison-Wesley, Menlo-Park (California), 1986"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"Wirsing M. Structured algebraic specifications: a kernel language Theoretical Computer Science 42, 1986","DOI":"10.1016\/0304-3975(86)90051-4"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Wirth N. The Programming Language Oberon Software Practice and Experience, No. 18, 1988","DOI":"10.1002\/spe.4380180707"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:12:18Z","timestamp":1742591538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3540539816_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}