{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:59Z","timestamp":1748071619994,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662525"},{"type":"electronic","value":"9783540484806"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48480-6_9","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T22:33:40Z","timestamp":1278023620000},"page":"107-119","source":"Crossref","is-referenced-by-count":9,"title":["Semantics and Transformations for UML Models"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"J.","family":"Bicarregui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J., Mussat, L.: Specification and Design of a Transmission Protocol by Successive Refinements using B (1997)","DOI":"10.1007\/978-3-642-60858-2_17"},{"key":"9_CR2","volume-title":"Object-oriented Technology for Real-time Systems","author":"M. Awad","year":"1996","unstructured":"Awad, M., Kuusela, J., Ziegler, J.: Object-oriented Technology for Real-time Systems. Prentice Hall, Englewood Cliffs (1996)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bicarregui, J.C., Lano, K.C., Maibaum, T.S.E.: Objects, Associations and Subsystems: a hierarchical approach to encapsulation. In: ECOOP 1997. LNCS (1997)","DOI":"10.1007\/BFb0053385"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/BFb0053386","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"R. Breu","year":"1997","unstructured":"Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a Formalization of the Unified Modeling Language. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 344\u2013366. Springer, Heidelberg (1997)"},{"key":"9_CR5","volume-title":"Designing Object Systems: Object-Oriented Modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Englewood Cliffs (1994)"},{"key":"9_CR6","series-title":"Workshops in Computing","volume-title":"BCS FACS - 2nd Northern Formal Methods Workshop","author":"A. Clark","year":"1997","unstructured":"Clark, A., Evans, A.: Foundations of the Unified Modeling Language. In: Duke, D., Evans, A. (eds.) BCS FACS - 2nd Northern Formal Methods Workshop. Workshops in Computing. Springer, Heidelberg (1997)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"Fiadeiro, J., Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing\u00a04(3), 239\u2013272 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"9_CR8","unstructured":"France, R., Evans, A., Lano, K.: The UML as a Formal Modelling Notation. In: OOPSLA 1997 Workshop on Object-Oriented Behavioral Semantics (1997)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Logics of Programs","author":"J. Goguen","year":"1984","unstructured":"Goguen, J., Burstall, R.: Introducing Institutions. In: Clarke, Kozen (eds.) Logics of Programs, pp. 221\u2013256. Springer, Heidelberg (1984)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: The Statemate Semantics of Statecharts, technical report, i-Logix, Inc. (1995)","DOI":"10.1145\/235321.235322"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Lano, K., Goldsack, S., Bicarregui, J., Kent, S.: Integrating VDM\u2009+\u2009\n\u2009+\u2009and Real-Time System Design, Z User Meeting (1997)","DOI":"10.1007\/BFb0027290"},{"key":"9_CR12","volume-title":"Reengineering Legacy Applications using Design Patterns, STEP 1997","author":"N. Malik","year":"1997","unstructured":"Lano, K., Malik, N.: Reengineering Legacy Applications using Design Patterns, STEP 1997. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"FME 1997","author":"K. Lano","year":"1997","unstructured":"Lano, K., Sanchez, A.: Design of Reactive Control Systems for Event-driven Operations. In: FME 1997. LNCS. Springer, Heidelberg (1997)"},{"key":"9_CR14","unstructured":"Lano, K.: Transformations on Syntropy and UML Models, Technical Report, Formal Underpinnings for Object Technology project, Dept. of Computing, Imperial College (1997)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Lano, K.: Logical Specification of Reactive and Real-Time Systems. Journal of Logic and Computation (1998) (to appear)","DOI":"10.1093\/logcom\/8.5.679"},{"key":"9_CR16","unstructured":"Leveson, N.: Safeware: system safety and computers. Addison-Wesley, Reading (1995) ISBN 0-201-11972-2"},{"key":"9_CR17","unstructured":"Ministry of Defence The Procurement of Safety Critical Software in Defence Equipment DEF-STAN 00-55, Issue 1, Part 2. Room 5150, Kentigern House, 65 Brown St., Glasgow G2 8EX (1997)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Wieringa, R., de Jonge, W., Spruit, P.: Roles and Dynamic Subclasses: A Modal Logic Approach, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam (1993)","DOI":"10.1007\/BFb0052175"},{"key":"9_CR19","unstructured":"The UML Notation version 1.1, UML resource center (1997), \nhttp:\/\/www.rational.com"}],"container-title":["Lecture Notes in Computer Science","The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48480-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T03:28:56Z","timestamp":1694662136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-48480-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662525","9783540484806"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48480-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}