{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:31Z","timestamp":1725453991279},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000484","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"380-394","source":"Crossref","is-referenced-by-count":4,"title":["Preservation and reflection in specification"],"prefix":"10.1007","author":[{"given":"A.","family":"Lopes","sequence":"first","affiliation":[]},{"given":"J. L.","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M.Abadi and L.Lamport, \u201cComposing Specifications\u201d, in ACM Transactions on Programming Languages and Systems, 15(1):73\u2013132, January 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"R.Alur and T.Henzinger, \u201cLocal Liveness for Compositional Modeling of Fair Reactive Systems\u201d, in P.Wolper (ed), CAV'95, LNCS 939, Springer-Verlag 1995,166\u2013179.","DOI":"10.1007\/3-540-60045-0_49"},{"key":"26_CR3","unstructured":"H.Barringer, \u201cThe Use of Temporal Logic in the Compositional Specification of Concurrent Systems\u201d, in A.Galton (ed) Temporal Logics and their Applications, Academic Press 1987."},{"key":"26_CR4","unstructured":"R.Burstall and J.Goguen, \u201cPutting Theories Together to Make Specifications\u201d, in Proc. 5th IJCAI, 1977,1045\u20131058."},{"key":"26_CR5","unstructured":"P.Collette, \u201cDesign of Compositional Proof Systems Based on Assumption-Commitment Specifications: Application to UNITY\u201d, PhD thesis, Universit\u00e9 Catholique de Louvain,1994."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"J.Fiadeiro, \u201cOn the Emergence of Properties in Component-Based Systems\u201d, in M.Wirsing and M.Nivat(eds), AMAST'96, LNCS 1101, Springer-Verlag 1996,421\u2013443.","DOI":"10.1007\/BFb0014331"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1017\/S0960129500001067","volume":"6","author":"J.L. Fiadeiro","year":"1996","unstructured":"J.L.Fiadeiro and J.F.Costa, \u201cMirror, Mirror in my Hand: a duality between specifications and models of process behaviour\u201d, in Mathematical Structures in Computer Science 6, 1996,353\u2013373.","journal-title":"Mathematical Structures in Computer Science"},{"key":"26_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J.Fiadeiro and T.Maibaum, \u201cTemporal Theories as Modularisation Units for Concurrent System Specification\u201d, Formal Aspects of Computing, 4:239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J. Fiadeiro","year":"1997","unstructured":"J.Fiadeiro and T.Maibaum, \u201cCategorical Semantics of Parallel Program Design\u201d, Science of Computer Programming, 28:111\u2013138, 1997.","journal-title":"Science of Computer Programming"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"J.Fiadeiro and T.Maibaum, \u201cGeneralising Interpretations Between Theories in the Context of \u03c0-institutions\u201d, in G.Burn, S.Gay and M.Ryan (eds), Theory and Formal Methods 1993, Springer-Verlag, 126\u2013147.","DOI":"10.1007\/978-1-4471-3503-6_10"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"J.L.Fiadeiro, A.Lopes and T.Maibaum, \u201cSynthesising Interconnections\u201d, in Algorithmic Languages and Calculi, R.Bird and L.Meertens (eds), Chapman Hall, in print.","DOI":"10.1007\/978-0-387-35264-0_10"},{"key":"26_CR12","unstructured":"J.Goguen and R.Burstall, \u201cCAT, a system for the structured elaboration of correct programs from structured specifications\u201d, Technical Report CSL-118, SRI International 1980."},{"issue":"1","key":"26_CR13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J.Goguen and R.Burstall, \u201cInstitutions: Abstract Model Theory for Specification and Programming\u201d, Journal of the ACM 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"issue":"2","key":"26_CR14","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/174662.174665","volume":"16","author":"B. Jonsson","year":"1994","unstructured":"B.Jonsson,\u201cCompositional Specifiaction and Verification of Distributed Systems\u201d, in ACM Transactions on Programming Languages and Systems, 16(2):259\u2013303, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR15","unstructured":"T.Maibaum, \u201cR\u00d4le of Abstraction in Program Development\u201d, in H.-J.Kugler (ed) Information Processing'86, North-Holland 1986,135\u2013142."},{"key":"26_CR16","unstructured":"T.Maibaum, \u201cA Logic for the Formal Requirements Specification of Real-Time Embedded Systems\u201d, Forest Research Report, Imperial College 1987."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"B.Meyer, \u201cApplying Design by Contract\u201d, IEEE Computer, Oct.1992,40\u201351.","DOI":"10.1109\/2.161279"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"C.Stirling, \u201cModal and Temporal Logics\u201d, Handbook of Logic in Computer Science, S.Abramsky,D.Gabbay and T.Maibaum(eds), Vol.2,477\u2013563, Oxford University Press 1992.","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0890-5401(90)90058-P","volume":"87","author":"G. Winskel","year":"1990","unstructured":"G.Winskel, \u201cA Compositional Proof System on a Categoryof Labelled Transition Systems\u201d, Information and Computation 87:2\u201357, 1990.","journal-title":"Information and Computation"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"S.Zhou, R.Gerth and R.Kuiper, \u201cTransformations Preserving Properties and Properties preserved by Transformations\u201d, in E.Best (ed), CONCUR'93, LNCS 715, Springer-Verlag 1993,353\u2013367.","DOI":"10.1007\/3-540-57208-2_25"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T14:07:27Z","timestamp":1706623647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0000484","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}