{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T16:52:36Z","timestamp":1792169556565,"version":"4.4.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25975-6_27","type":"book-chapter","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T00:42:51Z","timestamp":1281314571000},"page":"368-383","source":"Crossref","is-referenced-by-count":35,"title":["Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study"],"prefix":"10.1007","author":[{"given":"Neil A. M.","family":"Maiden","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sara V.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sharon","family":"Manning","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Greenwood","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Renou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Pearson Education (2000)"},{"key":"27_CR2","first-page":"200","volume-title":"Proceedings 11th IEEE International Conference on Requirements Engineering","author":"R. Landtsheer De","year":"2003","unstructured":"De Landtsheer, R., Letier, E., van Laamsweerde, A.: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In: Proceedings 11th IEEE International Conference on Requirements Engineering, pp. 200\u2013210. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/ICRE.2002.1048516","volume-title":"Proceedings 10th International Joint Conference on Requirements Engineering","author":"J. Hall","year":"2002","unstructured":"Hall, J., Jackson, M., Laney, R., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: Proceedings 10th International Joint Conference on Requirements Engineering, pp. 137\u2013144. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"27_CR4","unstructured":"ICAO, Human Factors in CNS\/ATM systems. The development of human-centred automation and advanced technology in future aviation systems\u2019 ICAO Circular 249- AN\/149 (1994)"},{"key":"27_CR5","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"2000","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (2000)"},{"key":"27_CR6","unstructured":"Leveson, N., de Villepin, M., Srinivasan, J., Daouk, M., Neogi, N., Bachelder, E., Bellingham, J., Pilon, N., Flynn, G.: A Safety and Human-Centred Approach to Developing New Air Traffic Management Tools. In: Proceedings Fourth USA\/Europe Air Traffic Management R&D Seminar (2001)"},{"key":"27_CR7","first-page":"151","volume-title":"Proceedings 11th IEEE International Conference on Requirements Engineering","author":"L. Liu","year":"2003","unstructured":"Liu, L., Yu, E., Mylopoulos, J.: Security and Privacy Requirements Analysis within a Social Setting. In: Proceedings 11th IEEE International Conference on Requirements Engineering, pp. 151\u2013161. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"27_CR8","unstructured":"Liu, L., Yu, E.: From Requirements to Architectural Design \u2013 Using Goals and Scenarios. In: Proceedings first STRAW workshop, pp. 22\u201330 (2001)"},{"issue":"4","key":"27_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/52.951486","volume":"18","author":"N. Maiden","year":"2001","unstructured":"Maiden, N., Gizikis, A.: Where Do Requirements Come From? IEEE Software\u00a018(4), 10\u201312 (2001)","journal-title":"IEEE Software"},{"key":"27_CR10","unstructured":"Maiden, N.A.M., Jones, S.V., Flynn, M.: Innovative Requirements Engineering Applied to ATM. In: Proceedings, A.T.M. (ed.) Proceedings ATM (Air Traffic Management), Budapest, June 23-27 (2003)"},{"key":"27_CR11","first-page":"213","volume-title":"Proceedings 11th International Conference on Requirements Engineering","author":"A. Mavin","year":"2003","unstructured":"Mavin, A., Maiden, N.A.M.: Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking Through Scenarios. In: Proceedings 11th International Conference on Requirements Engineering, pp. 213\u2013222. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"1","key":"27_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.C.W.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology\u00a012(1), 28\u201363 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1109\/ICSE.2003.1201254","volume-title":"Proceedings 25th IEEE International Conference on Software Engineering","author":"B. Nuseibeh","year":"2003","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.C.W.: Viewpoints: Meaningful Relationships are Difficult. In: Proceedings 25th IEEE International Conference on Software Engineering, pp. 676\u2013681. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"27_CR14","unstructured":"Praxis, 2001, REVEAL: A Keystone of Modern Systems Engineering\u2019, White Paper Reference S.P0544.19.1, Praxis Critical Systems Limited (July 2001)"},{"key":"27_CR15","volume-title":"Mastering the Requirements Process","author":"S. Robertson","year":"1999","unstructured":"Robertson, S., Robertson, J.: Mastering the Requirements Process. Addison-Wesley, Reading (1999)"},{"key":"27_CR16","volume-title":"The Unified Modelling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/ICRE.2002.1048503","volume-title":"Proceedings IEEE Joint International Conference on Requirements Engineering (RE 2002)","author":"V. Santander","year":"2002","unstructured":"Santander, V., Castro, J.: Deriving Use Cases from Organisational Modeling. In: Proceedings IEEE Joint International Conference on Requirements Engineering (RE 2002), pp. 32\u201339. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"12","key":"27_CR18","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.1109\/32.738340","volume":"24","author":"A.G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, A.G., Maiden, N.A.M., Minocha, S., Manuel, D.: Supporting Scenario-Based Requirements Engineering. IEEE Transactions on Software Engineering\u00a024(12), 1072\u20131088 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR19","doi-asserted-by":"crossref","DOI":"10.1201\/b12457","volume-title":"Cognitive work analysis","author":"K. Vicente","year":"1999","unstructured":"Vicente, K.: Cognitive work analysis. Lawrence Erlbaum Associates, Mahwah (1999)"},{"key":"27_CR20","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/ISRE.1999.777980","volume-title":"Proceedings 4th IEEE International Symposium on Requirements Engineering","author":"S. Viller","year":"1999","unstructured":"Viller, S., Sommerville, I.: Social Analysis in the Requirements Engineering Process: from Ethnography to Method. In: Proceedings 4th IEEE International Symposium on Requirements Engineering, pp. 6\u201313. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/ICSE.1994.296775","volume-title":"Proceedings, 16th International Conference on Software Engineering","author":"E. Yu","year":"1994","unstructured":"Yu, E., Mylopoulos, J.M.: Understanding Why in Software Process Modelling, Analysis and Design. In: Proceedings, 16th International Conference on Software Engineering, pp. 159\u2013168. IEEE Computer Society Press, Los Alamitos (1994)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25975-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T04:14:00Z","timestamp":1591762440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25975-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783319981765","9783319981772"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25975-6_27","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}