{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:40:09Z","timestamp":1736408409974,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630890"},{"type":"electronic","value":"9783540691273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0053385","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:12:53Z","timestamp":1149653573000},"page":"324-343","source":"Crossref","is-referenced-by-count":14,"title":["Objects, associations and subsystems: A hierarchical approach to encapsulation"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Bicarregui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. C.","family":"Lano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M Abadi and L Cardelli, An Imperative Object Calulus, TAPSOFT '95, Mosses, Nielsen and Schwartzbach (Eds), Springer-Verlag, LNCS 915, 1995.","DOI":"10.1007\/3-540-59293-8_214"},{"key":"14_CR2","volume-title":"Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion","author":"M. Awad","year":"1996","unstructured":"Maher Awad, Juha Kuusela and Jurgen Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Upper Saddle River, NJ, March 1996."},{"key":"14_CR3","unstructured":"Towards a Compositional Interpretation of Object Diagrams. J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. To appear: Proc. of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, February, 1997."},{"key":"14_CR4","unstructured":"Coleman D. et al, Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994."},{"key":"14_CR5","unstructured":"Cook and Daniels, Designing Object Systems with Syntropy, Prentice Hall, 1994."},{"key":"14_CR6","unstructured":"S Cook and J Daniels. Syntropy Case Study: The Petrol Station. Technical report, Object Designers Ltd., 1996."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum, Temporal Theories and Modularisation Units for Concurrent System Specification, Formal Aspects of Computing, Vol.4, No. 3, 1992. Springer-Verlag.","DOI":"10.1007\/BF01212304"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0019447"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J. and Burstall, R. Introducing Institutions. In Clarke and Kozen, eds. Logics of Programs, pp. 221\u2013256, Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Prog. 8 pp. 231\u2013274 (1987).","journal-title":"Sci. Comput. Prog."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"D. Harel and E. Gery, Executable Object Modelling with Statecharts Proc. 18th Int. Conf. Soft. Eng., IEEE Press, 1996, pp. 246\u2013257.","DOI":"10.1109\/ICSE.1996.493420"},{"key":"14_CR12","unstructured":"L. Lamport, The Temporal Logic of Actions, Digital Technical Report 79, 130 Lytton Avenue, Palo Alto, Califiornia 94301. December 25th, 1991."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"K. Lano, Enhancing Object-Oriented Methods with Formal Notations, TAPOS, to appear, 1997.","DOI":"10.1002\/(SICI)1096-9942(1996)2:4<247::AID-TAPO2>3.0.CO;2-R"},{"key":"14_CR14","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J. et al. Object-Oriented Modelling and Design, Prentice-Hall, Englewoods Cliffs, New jersey, 1991."},{"key":"14_CR15","unstructured":"M. Spivey, The Z Notation: a reference manual, Prentice-Hall, 1992."},{"key":"14_CR16","volume-title":"IS-CORE report","author":"R. Wieringa","year":"1993","unstructured":"Wieringa R., de Jonge W., Spruit P., Roles and Dynamic Subclasses: A Model Logic Approach, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993."}],"container-title":["Lecture Notes in Computer Science","ECOOP'97 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:01:01Z","timestamp":1736406061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630890","9783540691273"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053385","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}