{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:52:36Z","timestamp":1742982756731,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319478456"},{"type":"electronic","value":"9783319478463"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47846-3_3","type":"book-chapter","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T02:53:57Z","timestamp":1476413637000},"page":"26-40","source":"Crossref","is-referenced-by-count":7,"title":["Automated Requirements Validation for ATP Software via Specification Review and Testing"],"prefix":"10.1007","author":[{"given":"Weikai","family":"Miao","sequence":"first","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Yinbo","family":"Yao","sequence":"additional","affiliation":[]},{"given":"Ting","family":"Su","sequence":"additional","affiliation":[]},{"given":"Danzhu","family":"Bao","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Shuohao","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Kunpeng","family":"Xiong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,15]]},"reference":[{"key":"3_CR1","volume-title":"Requirements Engineering","author":"G Kotonya","year":"1998","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering. Wiley, Hoboken (1998)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: Proceedings of International Conference on Software Engineering, pp. 35\u201341, April 2000","DOI":"10.1145\/336512.336523"},{"key":"3_CR3","volume-title":"Software Requirements","author":"KE Wiegers","year":"2003","unstructured":"Wiegers, K.E.: Software Requirements. Microsoft Press, Redmond (2003)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Laitenberger, O., Beil, T., Schwinn, T.: An industrial case study to examine a non-traditional inspection implementation for requirements specifications. In: Proceedings of Eighth IEEE Symposium on Software Metrics, pp. 97\u2013106 (2002)","DOI":"10.1109\/METRIC.2002.1011329"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Lee, G.Y.K., In, H.P., Kazman, R.: Customer requirements validation method based on mental models. In: 2014 21st Asia-Pacific Software Engineering Conference (APSEC), pp. 199\u2013206, December 2014","DOI":"10.1109\/APSEC.2014.39"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Sinha, A., Sutton, Jr. S.M., Paradkar, A.: Text2Test: automated inspection of natural language use cases. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 155\u2013164, April 2010","DOI":"10.1109\/ICST.2010.19"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Aceituna, D., Do, H., Lee, S.W.: SQ2E: an approach to requirements validation with scenario question. In: 2010 17th Asia Pacific Software Engineering Conference (APSEC), pp. 33\u201342, November 2010","DOI":"10.1109\/APSEC.2010.14"},{"key":"3_CR8","unstructured":"Xie, G., Hei, X., Mochizuki, H., Takahashi, S., Nakamura, H.: Model based specification validation for automatic train protection and block system. In: Proceedings of 7th International Conference on Computing and Convergence Technology, pp. 485\u2013488, December 2012"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Xie, G., Asano, A., Takahashi, S., Nakamura, H.: Study on formal specification of automatic train protection and block system for local line. In: Proceedings of 5th International Conference on Secure Software Integration Reliability Improvement Companion (SSIRI-C), pp. 35\u201340, June 2011","DOI":"10.1109\/SSIRI-C.2011.16"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Wang, H., Liu, S., Gao, C.: Study on model-based safety verification of automatic train protection system. In: Proceedings of Asia-Pacific Conference on Computational Intelligence and Industrial Applications, pp. 467\u2013470, November 2009","DOI":"10.1109\/PACIIA.2009.5406388"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf. 10(2), 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"3_CR14","unstructured":"Vaandrager, F.: A first introduction to UPPAAL. Deliverable no.: D5. 12 Title of Deliverable: Industrial Handbook (2011)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-36578-8_21","volume-title":"Fundamental Approaches to Software Engineering","author":"A Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E.: Automatic model driven animation of SCR specifications. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 294\u2013309. Springer, Heidelberg (2003)"},{"issue":"2","key":"3_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1361213.1361214","volume":"43","author":"J Fitzgerald","year":"2008","unstructured":"Fitzgerald, J., Larsen, P.G., Sahara, S.: VDMTools: Advances in support for formal modeling in VDM. ACM Sigplan Not. 43(2), 3 (2008)","journal-title":"ACM Sigplan Not."},{"issue":"1","key":"3_CR17","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/TR.2015.2456853","volume":"65","author":"M Li","year":"2016","unstructured":"Li, M., Liu, S.: Integrating animation-based inspection into formal design specification construction for reliable software systems. IEEE Trans. Reliab. 65(1), 88\u2013106 (2016)","journal-title":"IEEE Trans. Reliab."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Li, J.J., Horgan, J.R.: A tool suite for diagnosis and testing of software design specifications. In: Proceedings of International Conference on Dependable Systems and Networks, New York, USA, pp. 295\u2013304 (2000)","DOI":"10.1109\/ICDSN.2000.857553"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Brockmeyer, M.: Using modechart modules for testing formal specifications. In: Proceedings of 4th IEEE International Symposium on High-Assurance Systems Engineering, Washington, DC, USA, pp. 20\u201326 (1999)","DOI":"10.1109\/HASE.1999.809471"},{"key":"3_CR20","unstructured":"Liu, S.: Utilizing specification testing in review task trees for rigorous review of formal specifications. In: Proceedings of Tenth Asia-Pacific Software Engineering Conference, pp. 510\u2013519 (2003)"},{"key":"3_CR21","unstructured":"http:\/\/www.antlr.org\/"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Aceituna, D., Do, H., Lee, S.W.: Interactive requirements validation for reactive systems through virtual requirements prototype. In: Model-Driven Requirements Engineering Workshop (MoDRE), Trento, 2011, pp. 1\u201310 (2011)","DOI":"10.1109\/MoDRE.2011.6045361"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47846-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T11:53:26Z","timestamp":1568462006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47846-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319478456","9783319478463"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47846-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}