{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:57:45Z","timestamp":1743029865963,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_28","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T22:33:40Z","timestamp":1278023620000},"page":"365-377","source":"Crossref","is-referenced-by-count":5,"title":["Validating Distributed Software Modeled with the Unified Modeling Language"],"prefix":"10.1007","author":[{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Le Guennec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Pennaneac\u2019h","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Bernstein, P.A., Goodman, N.: An algorithm for concurrency control and recovery for replicated databases. ACM Transactions on Database Systems\u00a09(4) (December 1984)","DOI":"10.1145\/1994.2207"},{"key":"28_CR2","unstructured":"CCITT. SDL, Recommendation Z.100 (1987)"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Garavel, H., Mounier, L., Rodriguez, C., Rasse, A., Sifakis, J.: A toolbox for the verification of programs. In: International Conference on Software Engineering, ICSE 1914, Melbourne, Australia, May 1992, pp. 246\u2013259 (1992)","DOI":"10.1109\/ICSE.1992.753504"},{"key":"28_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1994)"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","first-page":"189","volume-title":"Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems","author":"S. Graf","year":"1989","unstructured":"Graf, S., Richier, J.L., Rodriguez, C., Voiron, J.: What are the limits of model checking methods for the verification of real life protocols? In: Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, June 1989. LNCS, vol.\u00a0407, pp. 189\u2013196. Springer, Heidelberg (1989)"},{"key":"28_CR6","unstructured":"ISO. LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO\/ DP 8807 (March 1985)"},{"key":"28_CR7","unstructured":"ISO. Estelle: a Formal Description Technique based on an Extented State Transition Model. ISO 9074 TC97\/SC21\/WG6.1 (1989)"},{"key":"28_CR8","series-title":"Series in Computer Science","volume-title":"System Development","author":"M.A. Jackson","year":"1985","unstructured":"Jackson, M.A.: System Development. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1985)"},{"issue":"3","key":"28_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/32.4654","volume":"14","author":"C. Jard","year":"1988","unstructured":"Jard, C., Groz, R., Monin, J.F.: Development of VEDA: a prototyping tool for distributed algorithms. IEEE Trans. on Software Engin.\u00a014(3), 339\u2013352 (1988)","journal-title":"IEEE Trans. on Software Engin."},{"key":"28_CR10","unstructured":"J\u00e9z\u00e9quel, J.-M.: Experience in validating protocol integration using Estelle. In: Proc. of the Third International Conference on Formal Description Techniques, Madrid, Spain (November 1990)"},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-0-387-34949-7_20","volume-title":"6th International IFIP Conference On High Performance Networking","author":"J.-M. J\u00e9z\u00e9quel","year":"1995","unstructured":"J\u00e9z\u00e9quel, J.-M., Desmaison, X., Guerber, F.: Performance issues in implementing a portable SMDS server. In: IFIP (ed.) 6th International IFIP Conference On High Performance Networking, September 1995, pp. 267\u2013278. Chapman & Hall, London (1995)"},{"key":"28_CR12","unstructured":"J\u00e9z\u00e9quel, J.-M., Pennaneac\u2019h, F.: Preliminary ideas for validating distributed oo software. In: Workshop on Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP 1997 Workshop #6), Finland (June 1997)"},{"key":"28_CR13","unstructured":"Kirani, S.: Specification and Verification of Object-Oriented Programs. Phd thesis, University of Minnesota (1994)"},{"key":"28_CR14","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"issue":"35","key":"28_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/130994.130995","volume":"9","author":"D.E. Monarchi","year":"1992","unstructured":"Monarchi, D.E., Puhr, G.I.: A research typology for object-oriented analysis and design. Communications of the ACM\u00a09(35), 35\u201347 (1992)","journal-title":"Communications of the ACM"},{"issue":"9","key":"28_CR16","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/182987.184074","volume":"37","author":"R.M. Poston","year":"1994","unstructured":"Poston, R.M.: Automated testing from object models. Communications of the ACM\u00a037(9), 48\u201358 (1994)","journal-title":"Communications of the ACM"}],"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_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T03:27:54Z","timestamp":1694662074000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-48480-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662525","9783540484806"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48480-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}