{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:54:20Z","timestamp":1725807260352},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_4","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"43-58","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Model for Natural-Language Timed Requirements of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Carvalho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Rocha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bajwa, I., Bordbar, B., Anastasakis, K., Lee, M.: On a chain of transformations for generating alloy from NL constraints. In: International Conference on Digital Information Management, pp. 93\u201398 (2012)","DOI":"10.1109\/ICDIM.2012.6360153"},{"key":"4_CR2","unstructured":"Blackburn, M., Busser, R., Fontaine, J.: Automatic Generation of Test Vectors for SCR-style Specifications. In: Annual Conference on Computer Assurance (1997)"},{"key":"4_CR3","unstructured":"Blackburn, M.R., Busser, R., Nauman, A.: Removing Requirement Defects and Automating Test. In: International Conference on Software Testing Analysis & Review (2001)"},{"key":"4_CR4","unstructured":"Boddu, R., Guo, L., Mukhopadhyay, S., Cukic, B.: RETNA: from Requirements to Testing in a Natural Way. In: IEEE International Requirements Engineering Conference, pp. 262\u2013271 (2004)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Brottier, E., Baudry, B., Le Traon, Y., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: Entreprise Distributed Object Computing Conference, pp. 390\u2013401 (2007)","DOI":"10.1109\/EDOC.2007.4384009"},{"key":"4_CR6","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-05416-2_3","volume-title":"Formal Techniques for Safety-Critical Systems","author":"G. Carvalho","year":"2014","unstructured":"Carvalho, G., Barros, F., Lapschies, F., Schulze, U., Peleska, J.: Model-Based Testing from Controlled Natural Language Requirements. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2013. CCIS, vol.\u00a0419, pp. 19\u201335. Springer, Heidelberg (2014)"},{"key":"4_CR7","unstructured":"Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A., Sampaio, A.: Z Definition, Algorithms and Proofs for Data-Flow Reactive Systems. Tech. rep., UFPE (2014), http:\/\/www.cin.ufpe.br\/~ghpc\/"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Carvalho, G., Falc\u00e3o, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: Test Case Generation from Natural Language Requirements based on SCR Specifications. In: Symposium on Applied Computing, vol.\u00a02, pp. 1217\u20131222 (2013)","DOI":"10.1145\/2480362.2480591"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Carvalho, G., Falc\u00e3o, D., Barros, F., Sampaio, A., Mota, A., Motta, L., Blackburn, M.: NAT2TEST SCR : Test case generation from natural language requirements based on SCR specifications. Science of Computer Programming (2014)","DOI":"10.1016\/j.scico.2014.06.007"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-41202-8_11","volume-title":"Formal Methods and Software Engineering","author":"G. Carvalho","year":"2013","unstructured":"Carvalho, G., Sampaio, A., Mota, A.: A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol.\u00a08144, pp. 148\u2013164. Springer, Heidelberg (2013)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Cavada, R., Cimatti, A., Mariotti, A., Mattarei, C., Micheli, A., Mover, S., Pensallorto, M., Roveri, M., Susi, A., Tonetta, S.: Supporting Requirements Validation: The EuRailCheck Tool. In: International Conference on Automated Software Engineering, pp. 665\u2013667 (2009)","DOI":"10.1109\/ASE.2009.49"},{"key":"4_CR12","unstructured":"FAA: Requirements Engineering Management Findings Report. Tech. rep., U.S. Department of Transportation - Federal Aviation Administration (2009)"},{"key":"4_CR13","first-page":"1","volume-title":"Universals in Linguistic Theory","author":"C.J. Fillmore","year":"1968","unstructured":"Fillmore, C.J.: The Case for Case. In: Bach, H. (ed.) Universals in Linguistic Theory, pp. 1\u201388. Holt, Rinehart, and Winston, New York (1968)"},{"key":"4_CR14","unstructured":"Heninger, K., Parnas, D., Shore, J., Kallander, J.: Software Requirements for the A-7E Aircraft - TR 3876. Tech. rep., U.S. Naval Research Laboratory (1978)"},{"key":"4_CR15","unstructured":"ISO: Z formal specification notation (ISO\/IEC 13568). Tech. rep., International Organization for Standardization (2002)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-time Systems using Uppaal: Status and Future Work. In: Perspectives of Model-Based Testing - Dagstuhl Seminar, vol. 04371 (2004)","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Li, J., Pu, G., Wang, Z., Chen, Y., Zhang, L., Qi, Y., Gu, B.: An Approach to Requirement Analysis for Periodic Control Systems. In: Annual IEEE Software Engineering Workshop, pp. 130\u2013139 (2012)","DOI":"10.1109\/SEW.2012.20"},{"key":"4_CR18","unstructured":"Peleska, J., Vorobev, E., Lapschies, F., Zahlten, C.: Automated Model-Based Testing with RT-Tester. Tech. rep., Universit\u00e4t Bremen (2011)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES System. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11219-011-9155-6","volume":"20","author":"V. Santiago Junior","year":"2012","unstructured":"Santiago Junior, V., Vijaykumar, N.L.: Generating Model-based Test Cases from Natural Language Requirements for Space Application Software. Software Quality Journal\u00a020, 77\u2013143 (2012)","journal-title":"Software Quality Journal"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On Conformance Testing for Timed Systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 250\u2013264. Springer, Heidelberg (2008)"}],"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-11737-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T23:54:37Z","timestamp":1650412477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}