{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T06:38:42Z","timestamp":1769236722793,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T00:00:00Z","timestamp":1428883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Ministry of Economy and Competitiveness"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,13]]},"DOI":"10.1145\/2695664.2695703","type":"proceedings-article","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T19:10:09Z","timestamp":1437419409000},"page":"283-288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["TRiStar"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 Miguel","family":"Morales","sequence":"first","affiliation":[{"name":"U. P. de Cartagena, Cartagena, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Navarro","sequence":"additional","affiliation":[{"name":"U. of Castilla-La Mancha, Albacete, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"U. P. de Cartagena, Cartagena, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Alonso","sequence":"additional","affiliation":[{"name":"U. P. de Cartagena, Cartagena, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1618595.1618602"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"et al","author":"Morales J. M.","year":"2015","unstructured":"Morales , J. M. et al . 2015 . A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems. J. Syst. Softw . 100 pp. 1 -- 14 . Morales, J. M. et al. 2015. A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems. J. Syst. Softw. 100 pp. 1--14."},{"key":"e_1_3_2_1_3_1","volume-title":"Requirements Engineering: from goals to UML models to software specifications","author":"Lamsweerde A.","unstructured":"Lamsweerde , A. 2009. Requirements Engineering: from goals to UML models to software specifications . John Wiley & Sons Ltd , England . Lamsweerde, A. 2009. Requirements Engineering: from goals to UML models to software specifications. John Wiley & Sons Ltd, England."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/827255.827807"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.05.067"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. 30th Intl. Conf. on Conc. Modeling (ER'11)","author":"Teruel M. A.","unstructured":"Teruel , M. A. et al. 2011. CSRML: A Goal-Oriented Approach to Model Requirements for Collaborative Systems . Proc. 30th Intl. Conf. on Conc. Modeling (ER'11) , Brussels. Teruel, M. A. et al. 2011. CSRML: A Goal-Oriented Approach to Model Requirements for Collaborative Systems. Proc. 30th Intl. Conf. on Conc. Modeling (ER'11), Brussels."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-012-9350-2"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming Robotic Agents: A TR Multi-Tasking Approach","author":"Clark K. L.","unstructured":"Clark , K. L. , Robinson, P. J. (to appear 2015). Programming Robotic Agents: A TR Multi-Tasking Approach . Springer . Clark, K. L., Robinson, P. J. (to appear 2015). Programming Robotic Agents: A TR Multi-Tasking Approach. Springer."},{"key":"e_1_3_2_1_9_1","volume-title":"Goal Modeling in RE: Analysis and Critique of Current Methods. Information Modeling Methods and Methodologies","author":"Kavakli E.","year":"2005","unstructured":"Kavakli , E. , Loucopoulos, P. 2005. Goal Modeling in RE: Analysis and Critique of Current Methods. Information Modeling Methods and Methodologies , Idea Group , 2005 . Kavakli, E., Loucopoulos, P. 2005. Goal Modeling in RE: Analysis and Critique of Current Methods. Information Modeling Methods and Methodologies, Idea Group, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"et al","author":"Navarro E.","year":"2007","unstructured":"Navarro , E. et al . 2007 . Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques. Advances in Inf. Syst. Development, Springer . Navarro, E. et al. 2007. Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques. Advances in Inf. Syst. Development, Springer."},{"key":"e_1_3_2_1_11_1","volume-title":"User Requirements Notation (URN) - Language definition","author":"Recommendation Z.","unstructured":"ITU-T. 2008. Recommendation Z. 151 (09\/08) : User Requirements Notation (URN) - Language definition . Geneva, Switzerland . 206 pages. ITU-T. 2008. Recommendation Z.151 (09\/08): User Requirements Notation (URN) - Language definition. Geneva, Switzerland. 206 pages."},{"key":"e_1_3_2_1_12_1","volume-title":"et al","author":"Kochenderfer M.","year":"2004","unstructured":"Kochenderfer , M. et al . 2004 . TRSoccerbots . Available online at http:\/\/trsoccerbots.software.informer.com Kochenderfer, M. et al. 2004. TRSoccerbots. Available online at http:\/\/trsoccerbots.software.informer.com"}],"event":{"name":"SAC 2015: Symposium on Applied Computing","location":"Salamanca Spain","acronym":"SAC 2015","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 30th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2695664.2695703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:21Z","timestamp":1750227141000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2695664.2695703"}},"subtitle":["an\n            <i>i<\/i>\n            * extension for teleo-reactive systems requirements specifications"],"short-title":[],"issued":{"date-parts":[[2015,4,13]]},"references-count":12,"alternative-id":["10.1145\/2695664.2695703","10.1145\/2695664"],"URL":"https:\/\/doi.org\/10.1145\/2695664.2695703","relation":{},"subject":[],"published":{"date-parts":[[2015,4,13]]},"assertion":[{"value":"2015-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}