{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:01Z","timestamp":1748072401603,"version":"3.41.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"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":["Automated Software Engineering"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1008752609513","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"217-232","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specifications of User Requirements"],"prefix":"10.1007","volume":"6","author":[{"given":"Robert G.","family":"Clark","sequence":"first","affiliation":[]},{"given":"Ana M.D.","family":"Moreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"209299_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T. and Brinksma, E. 1987. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359.","journal-title":"Computer Networks and ISDN Systems"},{"key":"209299_CR2","unstructured":"Brinksma, E. 1988. LOTOS\u2014A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807."},{"key":"209299_CR3","doi-asserted-by":"crossref","unstructured":"Clark, R. and Moreira, A. 1997. Using a formal user-centred model to build a formal system-centred model. Computing Science and Mathematics, University of Stirling, TR 140.","DOI":"10.1007\/978-0-387-35261-9_15"},{"key":"209299_CR4","unstructured":"Coad, P. and Yourdon, E. 1991. Object Oriented Analysis (2nd edition). Yourdon Press, Prentice-Hall."},{"key":"209299_CR5","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"S. Easterbrook","year":"1996","unstructured":"Easterbrook, S. and Nuseibeh, B. 1996. Using viewpoints for inconsistency management. Software Engineering Journal, 11:31\u201343.","journal-title":"Software Engineering Journal"},{"key":"209299_CR6","unstructured":"Eertink, H. and Wolz, D. 1993. Symbolic execution of LOTOS specifications, Formal Description Techniques V. North-Holland, pp. 295\u2013310."},{"key":"209299_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H. and Mahr, B. 1985. Fundamentals of Algebraic Specifications. Springer-Verlag, vol. 1.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"209299_CR8","doi-asserted-by":"crossref","unstructured":"Glinz, P. 1995. An integrated formal model of scenarios based on statecharts. Proc. ESEC'95, Springer-Verlag LNCS 989, pp. 254\u2013271.","DOI":"10.1007\/3-540-60406-5_19"},{"key":"209299_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, C. 1985. Communicating Sequential Processes. Prentice-Hall.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"209299_CR10","doi-asserted-by":"crossref","unstructured":"Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C. 1994. Formal approach to scenario analysis. IEEE Software, (3):33\u201341.","DOI":"10.1109\/52.268953"},{"key":"209299_CR11","unstructured":"Jacobson, I. 1992. Object-Oriented Software Engineering. Addison-Wesley."},{"key":"209299_CR12","unstructured":"Milner, R. 1989. Communication and Concurrency. Prentice-Hall."},{"key":"209299_CR13","doi-asserted-by":"crossref","unstructured":"Moreira, A. and Clark, R. 1994. Combining object-oriented analysis and formal description techniques. Eighth European Conference on Object-Oriented Programming: ECOOP'94, Bologna, Italy, Springer-Verlag LNCS 821, pp. 344\u2013364.","DOI":"10.1007\/BFb0052191"},{"key":"209299_CR14","doi-asserted-by":"crossref","unstructured":"Moreira, A. and Clark, R. 1996a. LOTOS in the object-oriented analysis process, Formal Methods in Object Technology. Springer-Verlag, Chap. 3, pp. 33\u201346.","DOI":"10.1007\/978-1-4471-3071-0_3"},{"key":"209299_CR15","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1049\/sej.1996.0037","volume":"11","author":"A. Moreira","year":"1996","unstructured":"Moreira, A. and Clark, R. 1996b. Adding rigour to object-oriented analysis. Software Engineering Journal, 11:270\u2013280.","journal-title":"Software Engineering Journal"},{"key":"209299_CR16","doi-asserted-by":"crossref","unstructured":"Quemada, J., Azcorra, A., and Pavon, S. 1995. The LOTOSphere design methodology, LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, pp. 29\u201358.","DOI":"10.1007\/978-1-4615-2203-4_2"},{"key":"209299_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/130994.130996","volume":"35","author":"K. Rubin","year":"1992","unstructured":"Rubin, K. and Goldberg, A. 1992. Object behaviour analysis. Comm. ACM, 35:48\u201362.","journal-title":"Comm. ACM"},{"key":"209299_CR18","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modelling and Design. Prentice-Hall."},{"issue":"9","key":"209299_CR19","first-page":"8","volume":"7","author":"J. Rumbaugh","year":"1994","unstructured":"Rumbaugh, J. 1994. Getting started: Using use cases to capture requirements. J. Object Oriented Programming, 7(9):8\u201323.","journal-title":"J. Object Oriented Programming"},{"key":"209299_CR20","unstructured":"Shlaer, S. and Mellor, S. 1992. Object Lifecycles\u2014Modeling the World in States. Prentice-Hall."},{"key":"209299_CR21","first-page":"1070","volume":"2","author":"S. Som\u00e9","year":"1996","unstructured":"Som\u00e9, S., Dssouli, R., and Vaucher, J. 1996. Towards an automation of requirements engineering using scenarios. J. Computing and Information, 2:1070\u20131092.","journal-title":"J. Computing and Information"},{"key":"209299_CR22","doi-asserted-by":"crossref","unstructured":"Turner, K.J. and van Sinderen, M. 1995. LOTOS specification style for OSI, LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, pp. 137\u2013159.","DOI":"10.1007\/978-1-4615-2203-4_7"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008752609513.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008752609513\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008752609513.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T06:58:25Z","timestamp":1748069905000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008752609513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["209299"],"URL":"https:\/\/doi.org\/10.1023\/a:1008752609513","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}