{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:15:05Z","timestamp":1726413305086},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,1,4]],"date-time":"2014-01-04T00:00:00Z","timestamp":1388793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s10009-013-0298-6","type":"journal-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T11:22:07Z","timestamp":1388748127000},"page":"647-667","source":"Crossref","is-referenced-by-count":13,"title":["From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions"],"prefix":"10.1007","volume":"16","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Giorgio O.","family":"Spagnolo","sequence":"additional","affiliation":[]},{"given":"Giacomo","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Simone","family":"Menabeni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,4]]},"reference":[{"unstructured":"Ansaldo STS: CBTC brochure. http:\/\/goo.gl\/3Kmb0 (2011)","key":"298_CR1"},{"doi-asserted-by":"crossref","unstructured":"Batory, D.S.: Feature models, grammars, and propositional formulas. In: Proceedings of SPLC, pp. 7\u201320 (2005)","key":"298_CR2","DOI":"10.1007\/11554844_3"},{"unstructured":"Bitsch, F.: Process model for the development of system requirements specifications for railway systems. In: Workshop on Software Specification of Safety Relevant Transportation Control Tasks (2002)","key":"298_CR3"},{"unstructured":"Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)","key":"298_CR4"},{"doi-asserted-by":"crossref","unstructured":"Boyd, S., Zowghi, D., Farroukh, A.: Measuring the expressiveness of a constrained natural language: an empirical study. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 339\u2013349 (2005)","key":"298_CR5","DOI":"10.1109\/RE.2005.39"},{"doi-asserted-by":"crossref","unstructured":"Boyd, S., Zowghi, D., Gervasi, V.: Optimal-constraint lexicons for requirements specifications. In: Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ\u201907, pp. 203\u2013217. Springer, Berlin (2007)","key":"298_CR6","DOI":"10.1007\/978-3-540-73031-6_15"},{"doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Gnesi, S., Fantechi, A., Trentanni, G.: An experience in using a tool for evaluating a large set of natural language requirements. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C.-C. (eds.) SAC, pp. 281\u2013286. ACM (2010)","key":"298_CR7","DOI":"10.1145\/1774088.1774148"},{"unstructured":"CENELEC: EN 50129, railway applications\u2014communications, signalling and processing systems\u2014safety related electronic systems for signalling (2003)","key":"298_CR8"},{"unstructured":"CENELEC: EN 50128, railway applications\u2014communications, signalling and processing systems\u2014software for railway control and protection systems (2011)","key":"298_CR9"},{"unstructured":"CENELEC: EN 50126, railway applications\u2014the specification and demonstration of reliability, availability, maintainability and safety (RAMS)\u2014part 1: generic RAMS process (2012)","key":"298_CR10"},{"doi-asserted-by":"crossref","unstructured":"Chastek, G., Donohoe, P., Kang, K.C., Thiel, S.: Product line analysis: a practical introduction. Technical Report CMU\/SEI-2001-TR-001. Software Engineering Institute, Carnegie Mellon University (2001)","key":"298_CR11","DOI":"10.21236\/ADA388924"},{"unstructured":"Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Inc., Boston (2001)","key":"298_CR12"},{"key":"298_CR13","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley, New York (2000)"},{"doi-asserted-by":"crossref","unstructured":"Denger, C., Berry, D.M., Kamsties, E.: Higher quality requirements specifications through natural language patterns. In: Proceedings of the IEEE International Conference on Software Science Technology and Engineering, pp. 80\u201391. IEEE Computer Society (2003)","key":"298_CR14","DOI":"10.1109\/SWSTE.2003.1245428"},{"doi-asserted-by":"crossref","unstructured":"Essam\u00e9, D., Dol\u00e9, D.: B in large-scale projects: the canarsie line CBTC experience. In: Computer Science, vol. 4355\/2006, pp. 252\u2013254 (2006)","key":"298_CR15","DOI":"10.1007\/11955757_21"},{"unstructured":"Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: Software Engineering Workshop, 2001. Proceedings of the 26th Annual NASA Goddard, pp. 97\u2013105. IEEE (2001)","key":"298_CR16"},{"doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of SPLC, pp. 193\u2013202 (2008)","key":"298_CR17","DOI":"10.1109\/SPLC.2008.45"},{"issue":"3","key":"298_CR18","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/2211616.2211619","volume":"21","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3), 16 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"298_CR19","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A Fantechi","year":"1994","unstructured":"Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting requirement formalization by means of natural language translation. Form. Methods Syst. Des. 4(3), 243\u2013263 (1994)","journal-title":"Form. Methods Syst. Des."},{"doi-asserted-by":"crossref","unstructured":"Fatwanto, A.: Specifying translatable software requirements using constrained natural language. In: 7th International Conference on Computer Science Education (ICCSE), pp. 1047\u20131052 (2012)","key":"298_CR20","DOI":"10.1109\/ICCSE.2012.6295244"},{"issue":"3","key":"298_CR21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.2013.44","volume":"30","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28\u201334 (2013)","journal-title":"IEEE Softw."},{"issue":"7","key":"298_CR22","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The metr\u00f4 rio case study. Sci. Comput. Progr. 78(7), 828\u2013842 (2013)","journal-title":"Sci. Comput. Progr."},{"doi-asserted-by":"crossref","unstructured":"Ferrari, A., Gnesi, S.: Using collective intelligence to detect pragmatic ambiguities. In: 20th IEEE International Conference on Requirements Engineering (RE), pp. 191\u2013200. IEEE (2012)","key":"298_CR23","DOI":"10.1109\/RE.2012.6345803"},{"doi-asserted-by":"crossref","unstructured":"Ferrari, A., Gnesi, S., Tolomei, G.: Using clustering to improve the structure of natural language requirements documents. In: Doerr, J., Opdahl, A.L. (eds.) Requirements Engineering: Foundation for Software Quality. Lecture Notes in Computer Science, vol. 7830, pp. 34\u201349. Springer, Berlin (2013)","key":"298_CR24","DOI":"10.1007\/978-3-642-37422-7_3"},{"doi-asserted-by":"crossref","unstructured":"Ferrari, A., Spagnolo, G.O., dell\u2019Orletta, F.: Mining commonalities and variabilities from natural language documents. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, pp. 116\u2013120. ACM (2013)","key":"298_CR25","DOI":"10.1145\/2491627.2491634"},{"unstructured":"GE Transportation. Tempo CBTC Solution. http:\/\/goo.gl\/KshrR (2012)","key":"298_CR26"},{"issue":"2","key":"298_CR27","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1005959.1005964","volume":"8","author":"H Gomaa","year":"1983","unstructured":"Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8(2), 17\u201327 (1983)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"unstructured":"Grover, C., Holt, A., Klein, E., Moens, M.: Designing a controlled language for interactive model checking. In: Proceedings of the Third International Workshop on Controlled Language Applications, pp. 29\u201330 (2000)","key":"298_CR28"},{"unstructured":"IEC 62290-1: Railway applications: urban guided transport management and command\/control systems. Part 1: system principles and fundamental concepts (2007)","key":"298_CR29"},{"unstructured":"IEC 62290-2: Railway applications: urban guided transport management and command\/control systems. Part 2: functional requirements specification (2011)","key":"298_CR30"},{"unstructured":"Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)","key":"298_CR31"},{"unstructured":"Invensys Rail. SIRIUS brochure. http:\/\/goo.gl\/YFUiL (2009)","key":"298_CR32"},{"unstructured":"Jansen, L., Meyer Zu Horste, M., Schnieder, E.: Technical issues in modelling the European Train Control System (ETCS) using Coloured Petri Nets and the Design\/CPN tools (1998)","key":"298_CR33"},{"doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute (1990)","key":"298_CR34","DOI":"10.21236\/ADA235785"},{"unstructured":"Kuun, E.: Open standards for CBTC and CBTC radio based communications. In: APTA Rail Rail Transit Conference Proceedings (2004)","key":"298_CR35"},{"unstructured":"Mendonca, M., Branco, M., Cowan, D.: Splot: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761\u2013762. ACM (2009)","key":"298_CR36"},{"doi-asserted-by":"crossref","unstructured":"Nelken, R., Francez, N.: Automatic translation of natural language system specifications into temporal logic. In: Computer Aided Verification, pp. 360\u2013371. Springer, Berlin (1996)","key":"298_CR37","DOI":"10.1007\/3-540-61474-5_83"},{"doi-asserted-by":"crossref","unstructured":"Pascoe, R.D., Eichorn, T.N.: What is communication-based train control? IEEE Vehicular Technology Magazine (2009)","key":"298_CR38","DOI":"10.1109\/MVT.2009.934665"},{"key":"298_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Secaucus (2005)"},{"unstructured":"Rampelli, S., Virivinti, S.D.: Architectural design pattern representation for communications-based train control system (CBTCS). Int. J. Eng. Res. Technol. (2012)","key":"298_CR40"},{"unstructured":"Roos-Frantz, F.: Automated analysis of software product lines with orthogonal variability models: extending the fama ecosystem. PhD thesis, University of Seville (2012)","key":"298_CR41"},{"doi-asserted-by":"crossref","unstructured":"Schwaber, K.: Agile Project Management with Scrum. Microsoft Press, USA (2004)","key":"298_CR42","DOI":"10.1007\/11499053_47"},{"unstructured":"Schwitter, R.: English as a formal specification language. In: DEXA Workshops, pp. 228\u2013232. IEEE Computer Society (2002)","key":"298_CR43"},{"unstructured":"Siemens Transportation Systems. Trainguard MT CBTC. http:\/\/goo.gl\/Xi0h0 , 2006. The Moving Block Communications Based Train Control Solution","key":"298_CR44"},{"unstructured":"Signalling Solutions Limited. URBALIS communication based train control (CBTC) delivery performance and flexibility. http:\/\/goo.gl\/G3hEe (2009)","key":"298_CR45"},{"unstructured":"Stover, J.S.: CITYFLO 650 system overview. http:\/\/goo.gl\/e26SZ (2006)","key":"298_CR46"},{"unstructured":"Sutcliffe, A.: Scenario-based requirements engineering. In: Proceedings of the 11th IEEE International Conference on Requirements Engineering, RE \u201903, pp. 320\u2013329, Washington, DC, USA. IEEE Computer Society (2003)","key":"298_CR47"},{"unstructured":"Tang, W., Ning, B., Xu, T., Zhao, L.: Scenario-based modeling and verification for ctcs-3 system requirement specification. In: 2nd International Conference on Computer Engineering and Technology (ICCET), vol. 1, pp. V1-400\u2013V1-403 (2010)","key":"298_CR48"},{"issue":"2","key":"298_CR49","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Progr. 76(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Progr."},{"unstructured":"Thales Transportation. Seltrac brochure. http:\/\/goo.gl\/OjhvK (2009)","key":"298_CR50"},{"doi-asserted-by":"crossref","unstructured":"Wang, H., Liu, S.: Modeling communications based train control system: a case study. In: Proceedings of ICIMA, pp. 453\u2013456 (2010)","key":"298_CR51","DOI":"10.1109\/ICINDMA.2010.5538157"},{"doi-asserted-by":"crossref","unstructured":"Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: Proceedings of ICSE \u201997, pp. 161\u2013171, New York, NY, USA. ACM (1997)","key":"298_CR52","DOI":"10.1145\/253228.253258"},{"unstructured":"Yang, C.S., Lim, J.S., Um, J.K., Han, J.M., Bang, Y., Kim, H.H., Yun, Y.H., Kim, C.J., G. Cho, Y.: Developing CBTC software using model-driven development approach. In: Proceedings of WCRR (2008)","key":"298_CR53"},{"doi-asserted-by":"crossref","unstructured":"Yuan, L., Tang, T., Li, K.: Modelling and verification of the system requirement specification of train control system using SDL. In: Proceedings of ISADS, pp. 81\u201385 (2011)","key":"298_CR54","DOI":"10.1109\/ISADS.2011.17"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0298-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0298-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0298-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T09:25:24Z","timestamp":1647854724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0298-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,4]]},"references-count":54,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["298"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0298-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,1,4]]}}}