{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T23:29:45Z","timestamp":1789428585964,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["267856"],"award-info":[{"award-number":["267856"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,3,24]]},"DOI":"10.1145\/2554850.2555056","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"995-1000","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["From requirements to statecharts via design refinement"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Pimentel","sequence":"first","affiliation":[{"name":"Universidade Federal de Pernambuco - UFPE, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaelson","family":"Castro","sequence":"additional","affiliation":[{"name":"Universidade Federal de Pernambuco - UFPE, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[{"name":"University of Trento - UniTn, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konstantinos","family":"Angelopoulos","sequence":"additional","affiliation":[{"name":"University of Trento - UniTn, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V\u00edtor E. Silva","family":"Souza","sequence":"additional","affiliation":[{"name":"Universidade Federal do Espirito Santos - UFES, Vit\u00f3ria, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2487336.2487343"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1082980"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.05.047"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013)","author":"Dalpiaz F.","year":"2013","unstructured":"F. Dalpiaz , A. Borgida , J. Horkoff , and J. Mylopoulos . Runtime Goal Models . In Proceedings of the 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013) , 2013 . Invited paper. F. Dalpiaz, A. Borgida, J. Horkoff, and J. Mylopoulos. Runtime Goal Models. In Proceedings of the 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013), 2013. Invited paper."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.11.185"},{"key":"e_1_3_2_1_7_1","first-page":"202","volume-title":"Proceedings Fifth IEEE International Symposium on Requirements Engineering","author":"Gr\u00fcnbacher P.","year":"2001","unstructured":"P. Gr\u00fcnbacher , A. Egyed , A. Way , W. Place , M. D. Rey , and N. Medvidovic . Reconciling software requirements and architectures: the CBSP approach . In Proceedings Fifth IEEE International Symposium on Requirements Engineering , pages 202 -- 211 . IEEE Comput. Soc , 2001 . P. Gr\u00fcnbacher, A. Egyed, A. Way, W. Place, M. D. Rey, and N. Medvidovic. Reconciling software requirements and architectures: the CBSP approach. In Proceedings Fifth IEEE International Symposium on Requirements Engineering, pages 202--211. IEEE Comput. Soc, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_9_1","first-page":"54","volume-title":"An Ontology of Architectural Design Decisions in Software-Intensive Systems. 2nd Groningen Workshop Software Variability","author":"Kruchten P.","year":"2004","unstructured":"P. Kruchten . An Ontology of Architectural Design Decisions in Software-Intensive Systems. 2nd Groningen Workshop Software Variability , pages 54 -- 61 , 2004 . P. Kruchten. An Ontology of Architectural Design Decisions in Software-Intensive Systems. 2nd Groningen Workshop Software Variability, pages 54--61, 2004."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04840-1_11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0027-7"},{"key":"e_1_3_2_1_12_1","volume-title":"University of Pisa","author":"Levi F.","year":"1997","unstructured":"F. Levi . Verification of Temporal and Real-Time Properties of Statecharts. PhD thesis , University of Pisa , 1997 . F. Levi. Verification of Temporal and Real-Time Properties of Statecharts. PhD thesis, University of Pisa, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2012.05.006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.910904"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0126-z"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231501"},{"key":"e_1_3_2_1_17_1","volume-title":"On the symbiosis of aspect-oriented requirements and architectural descriptions. Early Aspects: Current Challenges and Future Directions - LNCS, 4765\/2007: 75--93","author":"Silva L. F.","year":"2007","unstructured":"L. F. Silva , T. V. Batista , A. Garcia , A. L. Medeiros , and L. Minora . On the symbiosis of aspect-oriented requirements and architectural descriptions. Early Aspects: Current Challenges and Future Directions - LNCS, 4765\/2007: 75--93 , 2007 . L. F. Silva, T. V. Batista, A. Garcia, A. L. Medeiros, and L. Minora. On the symbiosis of aspect-oriented requirements and architectural descriptions. Early Aspects: Current Challenges and Future Directions - LNCS, 4765\/2007: 75--93, 2007."},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-642-35813-5_6","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"Souza V. E. S.","year":"2013","unstructured":"V. E. S. Souza , A. Lapouchnian , W. N. Robinson , and J. Mylopoulos . Awareness Requirements . In R. Lemos, H. Giese, H. A. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems II , volume 7475 of Lecture Notes in Computer Science , pages 133 -- 161 . Springer , 2013 . V. E. S. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos. Awareness Requirements. In R. Lemos, H. Giese, H. A. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, pages 133--161. Springer, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2487336.2487353"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1786474.1786476"}],"event":{"name":"SAC 2014: Symposium on Applied Computing","location":"Gyeongju Republic of Korea","acronym":"SAC 2014","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2555056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:03Z","timestamp":1750232103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":19,"alternative-id":["10.1145\/2554850.2555056","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2555056","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}