{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:29:14Z","timestamp":1649014154343},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,5,24]],"date-time":"2008-05-24T00:00:00Z","timestamp":1211587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Cogn Tech Work"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10111-008-0114-3","type":"journal-article","created":{"date-parts":[[2008,5,23]],"date-time":"2008-05-23T14:11:19Z","timestamp":1211551879000},"page":"267-277","source":"Crossref","is-referenced-by-count":2,"title":["User interface specification with sequence diagrams: an application to the AIRBUS A380 Datalink system"],"prefix":"10.1007","volume":"11","author":[{"given":"Anne-Elodie","family":"Monin","sequence":"first","affiliation":[]},{"given":"John","family":"Dowell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,24]]},"reference":[{"key":"114_CR1","unstructured":"Amyot D, Mussbacher G (2001) Bridging the requirements\/design gap in dynamic systems with use case maps (UCMs). In: Proceedings of the 23rd international conference on software engineering (ICSE\u201901). IEEE Computer Society, Washington, DC"},{"key":"114_CR2","volume-title":"Designing interactive systems","author":"D Benyon","year":"2005","unstructured":"Benyon D, Turner P, Turner S (2005) Designing interactive systems. Addison-Wesley, London"},{"key":"114_CR3","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"RJA Buhr","year":"1998","unstructured":"Buhr RJA (1998) Use case maps as architectural entities for complex systems. IEEE Trans Softw Eng 24:1131\u20131155","journal-title":"IEEE Trans Softw Eng"},{"key":"114_CR4","volume-title":"UML distilled: a brief guide to the standard modeling language","author":"M Fowler","year":"2004","unstructured":"Fowler M (2004) UML distilled: a brief guide to the standard modeling language. Addison-Wesley, Boston"},{"issue":"3","key":"114_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1207\/S15327108IJAP1303_01","volume":"13","author":"JR Helleberg","year":"2003","unstructured":"Helleberg JR, Wickens CD (2003) Effects of datalink modality and display redundancy on pilot performance: an attentional perspective. Int J Aviat Psychol 13(3):189\u2013210","journal-title":"Int J Aviat Psychol"},{"key":"114_CR6","volume-title":"Practical software requirements: a manual of contents and style","author":"BL Kovitz","year":"1999","unstructured":"Kovitz BL (1999) Practical software requirements: a manual of contents and style. Manning, Greenwich"},{"key":"114_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0951-8320(98)00015-5","volume":"63","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos Y, McDermid JA (1999) The potential of a generic approach to certification of safety-critical systems in the transportation sector. J Reliab Eng Syst Saf 63:47\u201366","journal-title":"J Reliab Eng Syst Saf"},{"key":"114_CR8","doi-asserted-by":"crossref","unstructured":"Potts C (2006) Re-framing requirements engineering. In: Proceedings of the 14th IEEE international requirements engineering conference (RE\u201906). IEEE Computer Society, Washington, DC, pp 285\u2013290","DOI":"10.1109\/RE.2006.51"},{"key":"114_CR9","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1518\/hfes.45.3.360.27250","volume":"45","author":"CD Wickens","year":"2003","unstructured":"Wickens CD, Goh J, Heeleberg J, Horrey WJ, Talleur DA (2003) Attentional models of multitask pilot performance using advanced display technology. Hum Factors 45:360\u2013380","journal-title":"Hum Factors"},{"issue":"4","key":"114_CR10","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R Wieringa","year":"1998","unstructured":"Wieringa R (1998) A survey of structured and object-oriented software specification methods and techniques. ACM Comput Surv 30(4):459\u2013527","journal-title":"ACM Comput Surv"}],"container-title":["Cognition, Technology & Work"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-008-0114-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10111-008-0114-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-008-0114-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T16:25:59Z","timestamp":1559147159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10111-008-0114-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,24]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["114"],"URL":"https:\/\/doi.org\/10.1007\/s10111-008-0114-3","relation":{},"ISSN":["1435-5558","1435-5566"],"issn-type":[{"value":"1435-5558","type":"print"},{"value":"1435-5566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,24]]}}}