{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:31:20Z","timestamp":1725481880558},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584513"},{"type":"electronic","value":"9783540488040"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0014017","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:12:19Z","timestamp":1132733539000},"page":"65-78","source":"Crossref","is-referenced-by-count":6,"title":["Rigorous object-oriented analysis"],"prefix":"10.1007","author":[{"given":"Ana M. D.","family":"Moreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert G.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5_CR2","unstructured":"E. Brinksma (ed). Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observation Behaviour, ISO 8807, 1988."},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/0140-3664(92)90128-2","volume":"15","author":"R.G. Clark","year":"1992","unstructured":"R.G. Clark and V.M. Jones. Use of LOTOS in the Formal Development of an OSI Protocol. Computer Communications, 15(2):86\u201392, 1992.","journal-title":"Computer Communications"},{"key":"5_CR4","unstructured":"P. Coad and E. Yourdon. Object Oriented Analysis. Yourdon Press, Prentice-Hall, 2nd edition, 1991."},{"key":"5_CR5","unstructured":"H. Eertink and D. Wolz. Symbolic Execution of LOTOS Specifications. In M. Diaz and R. Groz, editors, Formal Description Techniques V, pages 295\u2013310, North-Holland, 1993."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications, volume 1. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"M. Hedlund. The Integration of LOTOS with an Object Oriented Development Method. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science, 670, pages 73\u201382. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0024639"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR9","unstructured":"ISO\/IEC JTC1\/SC21\/WG7. Basic Reference Model of Open Distributed Processing. Technical report, 1994."},{"key":"5_CR10","unstructured":"I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, 1992."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, 92. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR12","unstructured":"A.M.D. Moreira and R.G. Clark. LOTOS in the Object-Oriented Analysis Process. In BCS-FACS Workshop on Formal Aspects of Object Oriented Systems. London, December 1993."},{"key":"5_CR13","volume-title":"Technical Report CSM-109","author":"A.M.D. Moreira","year":"1993","unstructured":"A.M.D. Moreira and R.G. Clark. Rigorous Object-Oriented Analysis. Technical Report CSM-109, Computing Science Department, University of Stirling, Scotland, 1993."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"A.M.D. Moreira and R.G. Clark. Combining Object-Oriented Analysis and Formal Description Techniques. In ECOOP'94, Lecture Notes in Computer Science. Springer-Verlag, 1994, to appear.","DOI":"10.1007\/BFb0052191"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"S. Rudkin. Inheritance in LOTOS, In K.R. Parker and G.A. Rose, editors, Formal Description Techniques IV, pages 409\u2013423, North-Holland, 1992.","DOI":"10.1016\/B978-0-444-89402-1.50037-0"},{"key":"5_CR16","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, 1991."},{"key":"5_CR17","unstructured":"S. Shlaer and S.J. Mellor. Object Lifecycles \u2014 Modeling the World in States. Prentice-Hall, 1992."},{"issue":"3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/32.75412","volume":"17","author":"P. Zave","year":"1991","unstructured":"P. Zave. An Insider's Evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3):212\u2013225, March 1991.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Methodologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:44:10Z","timestamp":1683301450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584513","9783540488040"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0014017","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}