{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:04:59Z","timestamp":1748070299004},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052191","type":"book-chapter","created":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T23:59:15Z","timestamp":1149638355000},"page":"344-364","source":"Crossref","is-referenced-by-count":9,"title":["Combining object-oriented analysis and formal description techniques"],"prefix":"10.1007","author":[{"given":"Ana M. D.","family":"Moreira","sequence":"first","affiliation":[]},{"given":"Robert G.","family":"Clark","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14, 25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"19_CR2","unstructured":"Brinksma E. (ed).: Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807, 1988."},{"key":"19_CR3","unstructured":"Carrington, D., Duke, D., Duke, R., King, P., Rose, G., Smith, G.: Object-Z: An Object-Oriented Extension to Z. In: Vuong S.T. (ed): Formal Description Techniques II, North-Holland 1989, pp. 281\u2013295."},{"key":"19_CR4","unstructured":"Clark, R.G.: Using LOTOS in the Object-Based Development of Embedded Systems. In: Rattray C.M.I., Clark R.G. (eds): Unified Computation Laboratory, Oxford University Press 1992, pp. 307\u2013319."},{"key":"19_CR5","unstructured":"Coad, P., Yourdon, E.: Object Oriented Analysis (Second Edition), Yourdon Press, Prentice-Hall 1991."},{"key":"19_CR6","unstructured":"Eertink H., Wolz D.: Symbolic Execution of LOTOS Specifications. In: Diaz M., Groz R. (eds): Formal Description Techniques V, North-Holland 1993, pp. 295\u2013310."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications (Vol. 1), Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":"N.E. Fuchs","year":"1992","unstructured":"Fuchs, N.E.: Specifications are (preferably) Executable. Software Engineering Journal, 7, 323\u2013334, 1992.","journal-title":"Software Engineering Journal"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1049\/sej.1989.0045","volume":"4","author":"I.J. Hayes","year":"1989","unstructured":"Hayes, I.J., Jones, C.B.: Specifications are not (Necessarily) Executable. Software Engineering Journal, 4, 330\u2013338, 1989.","journal-title":"Software Engineering Journal"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"19_CR11","unstructured":"ISO\/IEC JTC1\/SC21\/WG7: Basic Reference Model of Open Distributed Processing, 1993."},{"key":"19_CR12","unstructured":"Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley 1992."},{"key":"19_CR13","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall 1986."},{"key":"19_CR14","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall 1992."},{"key":"19_CR15","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall 1989."},{"key":"19_CR16","unstructured":"Moreira, A.M.D., Clark, R.G.: Os M\u00e9todos Formais na An\u00e1lise de Orienta\u00c7\u00c3o por Objectos. In: Leite, J. (ed): Proceedings 7th Brazilian Symposium on Software Engineering, Rio de Janeiro, October 1993, pp. 238\u2013252."},{"key":"19_CR17","volume-title":"Technical Report TR 109","author":"A.M.D. Moreira","year":"1993","unstructured":"Moreira, A.M.D., Clark, R.G.: Rigorous Object-Oriented Analysis. Technical Report TR 109, Computing Science Department, University of Stirling, Scotland 1993."},{"key":"19_CR18","unstructured":"Moreira, A.M.D., Clark, R.G.: LOTOS in the Object-Oriented Analysis Process. In: BCS-FACS Workshop on Formal Aspects of Object Oriented Systems, London, December 1993."},{"issue":"9","key":"19_CR19","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/130994.130996","volume":"35","author":"K.S. Rubin","year":"1992","unstructured":"Rubin, K.S., Goldberg, A.: Object Behaviour Analysis. Communications of the ACM, 35(9) 48\u201362, 1992.","journal-title":"Communications of the ACM"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Rudkin, S.: Inheritance in LOTOS. In: Parker, K.R., Rose, G.A. (eds): Formal Description Techniques IV, North-Holland 1992, pp. 409\u2013423.","DOI":"10.1016\/B978-0-444-89402-1.50037-0"},{"key":"19_CR21","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modelling and Design, Prentice-Hall 1991."},{"key":"19_CR22","unstructured":"Shlaer, S., Mellor, S. J.: Object Lifecycles \u2014 Modeling the World in States, Prentice-Hall 1992."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052191.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T13:01:08Z","timestamp":1683464468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0052191","relation":{},"subject":[]}}