{"id":3030,"date":"2014-07-13T08:00:21","date_gmt":"2014-07-13T10:00:21","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=3030"},"modified":"2014-07-13T08:00:21","modified_gmt":"2014-07-13T10:00:21","slug":"banca-do-tcc-andrei-costa","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/ccomp\/banca-do-tcc-andrei-costa\/","title":{"rendered":"Banca de TCC: Andrei Costa"},"content":{"rendered":"<p style=\"text-align: center\"><strong>UNIVERSIDADE FEDERAL DE PELOTAS<\/strong><br \/>\n<strong> CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO<\/strong><br \/>\n<strong> TRABALHO DE CONCLUS\u00c3O DE CURSO<\/strong><\/p>\n<p style=\"text-align: center\">Apresenta\u00e7\u00f5es Finais (2014\/1)<\/p>\n<p style=\"text-align: center\">Proposta de uma Extens\u00e3o para um Mapeamento de Diagramas UML para Modelos Simulink<br \/>\npor<br \/>\nAndrei Costa<\/p>\n<p>Curso:<br \/>\nCi\u00eancia da Computa\u00e7\u00e3o<\/p>\n<p>Banca:<br \/>\nProfa. Simone Andr\u00e9 da Costa Cavalheiro (orientador)<br \/>\nProfa. Luciana Foss (co-orientador)<br \/>\nProfa. Lisane Brisolara de Brisolara<br \/>\nProfa. Renata Hax Sander Reiser<\/p>\n<p>Data: 15 de Julho de 2014<\/p>\n<p>Hora: 10:00h<\/p>\n<p>Local: P\u00f3s 1, FAT<\/p>\n<p><!--more-->Resumo do Trabalho:<br \/>\nO aumento no uso e na complexidade dos softwares nos sistemas embarcados juntamente com a necessidade de desenvolv\u00ea-los com menor tempo e custo motivam o uso de abstra\u00e7\u00f5es com modelos. Tanto UML como Simulink s\u00e3o linguagens atrativas para o projeto e modelagem de sistemas embarcados. Um mapeamento autom\u00e1tico de modelos UML para Simulink \u00e9 um recurso interessante em um fluxo de projeto, permitindo que os projetistas usem UML como linguagem de modelagem para todo o sistema e ao mesmo tempo utilizando as facilidades como gera\u00e7\u00e3o de c\u00f3digo do Simulink. Em trabalhos anteriores, uma tradu\u00e7\u00e3o de UML para Simulink foi prototipada usando Java, ap\u00f3s, uma defini\u00e7\u00e3o formal foi proposta utilizando gram\u00e1tica de grafos. Utilizar uma linguagem formal na tradu\u00e7\u00e3o permite garantir propriedades importantes em uma transforma\u00e7\u00e3o de modelos, como termina\u00e7\u00e3o e conflu\u00eancia (i.e, garantia de um \u00fanico modelo resultante da transforma\u00e7\u00e3o). Neste trabalho, \u00e9 definida uma extens\u00e3o desta defini\u00e7\u00e3o formal para suportar chamadas aninhadas de m\u00e9todos, visando reduzir as restri\u00e7\u00f5es no mapeamento. Por\u00e9m, mantendo compatibilidade e as propriedades originais de termina\u00e7\u00e3o e conflu\u00eancia que a proposta original possui.<\/p>\n<p>Para mais informa\u00e7\u00f5es acesse: <a href=\"http:\/\/inf.ufpel.edu.br\/nopcc\/doku.php?id=bancas:2014_1\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/inf.ufpel.edu.br\/nopcc\/doku.php?id=bancas:2014_1<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO TRABALHO DE CONCLUS\u00c3O DE CURSO Apresenta\u00e7\u00f5es Finais (2014\/1) Proposta de uma Extens\u00e3o para um Mapeamento de Diagramas UML para Modelos Simulink por Andrei Costa Curso: Ci\u00eancia&#46;&#46;&#46;<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[4,19,17],"tags":[],"class_list":["post-3030","post","type-post","status-publish","format-standard","hentry","category-ccomp","category-ecomp","category-noticia"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-MS","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3030","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=3030"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3030\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=3030"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=3030"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=3030"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}