{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:40:30Z","timestamp":1736106030085,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025044","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:56:54Z","timestamp":1132387014000},"page":"189-201","source":"Crossref","is-referenced-by-count":2,"title":["An architecture for complex systems"],"prefix":"10.1007","author":[{"given":"Gillian","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J. A. Bergstra","year":"1990","unstructured":"J. A. Bergstra, J. Heering, and P. Klint. Module algebra. Journal of the ACM, 37(2):335\u2013372, April 1990.","journal-title":"Journal of the ACM"},{"key":"15_CR2","unstructured":"R. A. Burstall and J. A. Goguen. An informal introduction to specifications using Clear. In Boyer and Moore, editors, The Correctness Problem in Computer Science. Academic Press, 1981."},{"key":"15_CR3","unstructured":"H. Ehrig, W. Fey, H. Hansen, M. Lowe, and D. Jacobs. Algebraic concepts for software configuration development. Technical Report 88-19, Technical University, Berlin, August 1988."},{"key":"15_CR4","unstructured":"H. Ehrig, W. Fey, H. Hansen, M. Lowe, D. Jacobs, and A. Langen. Algebraic specification of modules and configuration families. Technical Report 88-17, Technical University, Berlin, August 1988."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, F. Papisi-Presicce, W. Fey, and E. K. Blum. Algebraic theory of module specifications with constraints. In Proceedings MFCS LNCS 233, pages 59\u201377, 1986.","DOI":"10.1007\/BFb0016234"},{"key":"15_CR6","unstructured":"J. Goguen. Principles of parameterized programming. Technical report, Stanford University, August 1987. Draft Version."},{"key":"15_CR7","unstructured":"G. Hill. Category theory for the configuration of complex systems. In T. Rus M. Nivat, C Rattray and G. Scollo, editors, Algebraic Methodology and Software Technology, Entschede, 1993, pages 193\u2014200. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21\u201325 June 1993, Springer-Verlag, 1994. Workshops in Computing series."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"G. Hill. Constructing specifications and modules in a KZ-doctrine. In C. L. Hankin, I. Mackie, and R. Nagarajan, editors, Theory and Formal Methods '94, pages 219\u2013236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN 1-86094-003-X, September 1995.","DOI":"10.1142\/9781783263493"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"G. Hill. The configuration of complex systems. In Tuncer I. Oren and George J. Klir, editors, Computer Aided Systems Theory-CAST '94 Selected Papers, pages 46\u201364. Fourth International Workshop, Ottawa, Ontario, Canada, May 1994, Springer-Verlag ISBN 3-540-61478-8, May 1996.","DOI":"10.1007\/3-540-61478-8_67"},{"key":"15_CR10","first-page":"30","volume-title":"Proceedings of EUROLAST '95 LNCS 1030","author":"G. Hill","year":"1995","unstructured":"G. Hill. A logical approach to systems construction. In Rudolph Albrecht and Franz Pichler, editors, Proceedings of EUROLAST '95 LNCS 1030, pages 30\u201347. Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, May 1995, Springer-Verlag, January 1996."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"G. Hill. A categorical workspace for system configuration. In S. Jourdan A. Edalat and G. McCusker, editors, Advances in Theory and Formal Methods of Computing. Proceedings of the Third Imperial College Workshop, Christchurch, Oxford 1\u20133 April 1996, published by Imperial College Press, distributed by World Scientific Publishing Co., 1997.","DOI":"10.1142\/9781783263455"},{"key":"15_CR12","unstructured":"P. Hruschka. Towards an object oriented method for system architecture design. IEEE Transactions on Software Engineering, 1990."},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-50325-0_7","volume-title":"Recent Trends.in Data Type Specifications, LNCS 332","author":"T. Lehmann","year":"1988","unstructured":"T. Lehmann and J. Loeckx. The specification language of OBSCURE. In D. Sannella and A. Tarlecki, editors, Recent Trends.in Data Type Specifications, LNCS 332, pages 131\u2013153. Springer-Verlag, Saarbrucken, 1988."},{"key":"15_CR14","unstructured":"B. Liskov and S. Zilles. An introduction to formal specifications of data abstractions. In Raymond T. Yeh, editor, Current Trends in Programming Methodology, Volume 1:Software Specification and Design, pages 1\u201332. Prentice Hall, 1977."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"B. Meyer. Reusability: The case for object-oriented design. IEEE Software, pages 50\u201363, March 1987.","DOI":"10.1109\/MS.1987.230097"},{"key":"15_CR17","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall International, 1988."},{"key":"15_CR18","unstructured":"D. Sannella. Semantics, Implementation and Pragmatics of Clear, A Program Specification Language. PhD thesis, Department of Computer Science, University of Edinburgh, 1982. Thesis CST-17-82."},{"key":"15_CR19","unstructured":"M. Stefik and D. Bobrow. Object-oriented programming: Themes and variations. The AI Magazine, 6(4), 1986. Winter."},{"key":"15_CR20","volume-title":"Logical approach to systems theory","author":"S. Takahashi","year":"1994","unstructured":"S. Takahashi and Y. Takahara. Logical approach to systems theory. Technical report, Tokyo Institute of Technology, Japan, 1994."},{"key":"15_CR21","unstructured":"W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:02:07Z","timestamp":1736103727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0025044","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}