{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:14Z","timestamp":1750221374395,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,23]]},"DOI":"10.1145\/3160504.3160539","type":"proceedings-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T15:29:52Z","timestamp":1519918192000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing the Use Case Communicability"],"prefix":"10.1145","author":[{"given":"Adriana","family":"Lopes","sequence":"first","affiliation":[{"name":"USES, UFAM, Manaus - AM, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayana","family":"Conte","sequence":"additional","affiliation":[{"name":"USES, UFAM, Manaus - AM, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clarisse Sieckenius","family":"de Souza","sequence":"additional","affiliation":[{"name":"SERG\/Inform\u00e1tica - PUC-Rio, Rio de Janeiro - RJ, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.005"},{"issue":"6","key":"e_1_3_2_1_2_1","first-page":"1594","article-title":"Formal verification of UML profile","volume":"5","author":"Bhutto Arifa","year":"2011","unstructured":"Arifa Bhutto and Dil Hussain . 2011 . Formal verification of UML profile . Australian Journal of Basic and Applied Sciences , 5 ( 6 ), 1594 -- 1598 . Arifa Bhutto and Dil Hussain. 2011. Formal verification of UML profile. Australian Journal of Basic and Applied Sciences, 5(6), 1594--1598.","journal-title":"Australian Journal of Basic and Applied Sciences"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855068"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3086934"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3115\/992628.992686"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.42"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-003-0174-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852786.1852855"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2738055.2738064"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Herbert Paul Grice. 1975. Logic and conversation. In Syntax and Semantics 3: Speech arts ed. Peter Cole and Jerry Morgan 41--58.  Herbert Paul Grice. 1975. Logic and conversation. In Syntax and Semantics 3: Speech arts ed. Peter Cole and Jerry Morgan 41--58.","DOI":"10.1163\/9789004368811_003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/107216"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC '15)","author":"Lopes Adriana","year":"2015","unstructured":"Adriana Lopes , Anna Beatriz Marques , Simone Diniz Junqueira Barbosa e Tayana Conte . 2015 . Estudo de Viabilidade da MoLVERIC Cards: Uma T\u00e9cnica para a Inspe\u00e7\u00e3o de Diagramas MoLIC . In Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC '15) , 203--212. Adriana Lopes, Anna Beatriz Marques, Simone Diniz Junqueira Barbosa e Tayana Conte. 2015. Estudo de Viabilidade da MoLVERIC Cards: Uma T\u00e9cnica para a Inspe\u00e7\u00e3o de Diagramas MoLIC. In Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC '15), 203--212."},{"issue":"5","key":"e_1_3_2_1_13_1","first-page":"720","article-title":"Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections","volume":"20","author":"de Mello Rafael Maiani","year":"2014","unstructured":"Rafael Maiani de Mello , Eld\u00e2nae Nogueira Teixeira , Marcelo Schots , Cl\u00e1udia Maria Lima Werner and Guilherme Horta Travassos . 2014 . Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections . Journal of Universal Computer Science , 20 ( 5 ), 720 -- 745 . Rafael Maiani de Mello, Eld\u00e2nae Nogueira Teixeira, Marcelo Schots, Cl\u00e1udia Maria Lima Werner and Guilherme Horta Travassos. 2014. Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections. Journal of Universal Computer Science, 20(5), 720--745.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-9006-z"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5815\/ijmecs.2016.10.02"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.06.004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2355579.2357451"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2393536.2393561"}],"event":{"name":"IHC 2017: Brazilian Symposium on Human Factors in Computing Systems","sponsor":["UDESC Santa Catarina State University","Springer","SBC Sociedade Brasileira de Computa\u00e7\u00e3o","ACM Association for Computing Machinery","UFSCar Federal University of S\u00e3o Carlos","CAPES Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","UFPR Universidade Federal do Paran\u00e1","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CGIBR Comite Gestor da Internet no Brazil","OU The Open University"],"location":"Joinville Brazil","acronym":"IHC 2017"},"container-title":["Proceedings of the XVI Brazilian Symposium on Human Factors in Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3160504.3160539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3160504.3160539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:38Z","timestamp":1750213598000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3160504.3160539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":18,"alternative-id":["10.1145\/3160504.3160539","10.1145\/3160504"],"URL":"https:\/\/doi.org\/10.1145\/3160504.3160539","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}