{"id":2307,"date":"2025-05-13T19:49:25","date_gmt":"2025-05-13T19:49:25","guid":{"rendered":"https:\/\/inforum2025.xdi.uevora.pt\/?page_id=2307"},"modified":"2025-05-27T10:35:05","modified_gmt":"2025-05-27T10:35:05","slug":"ciencia-e-engenharia-de-software-soft-pt","status":"publish","type":"page","link":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/ciencia-e-engenharia-de-software-soft-pt\/","title":{"rendered":"Ci\u00eancia e Engenharia de Software (SOFT-PT)"},"content":{"rendered":"\n<p>O SOFT-PT (Cie\u0302ncia e Engenharia de Software) \u00e9 um encontro de investigadores acad\u00e9micos e industriais que trabalham em temas relacionados com a ci\u00eancia e engenharia de software, unindo a teoria \u00e0 pr\u00e1tica atrav\u00e9s de princ\u00edpios, metodologias, sistemas e ferramentas. O SOFT-PT, que teve j\u00e1 15 edi\u00e7\u00f5es no Inforum, estabeleceu-se como um ponto de encontro privilegiado para os especialistas nacionais com interesse nesta \u00e1rea.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">T\u00f3picos de Interesse<\/h2>\n\n\n\n<p>As contribui\u00e7\u00f5es esperadas s\u00e3o trabalhos originais em todos os t\u00f3picos relacionados com o software, nomeadamente (mas n\u00e3o apenas) trabalhos que se enquadrem nas seguintes \u00e1reas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Modelos de computa\u00e7\u00e3o e de programa\u00e7\u00e3o;<\/li>\n\n\n\n<li>Fundamentos da engenharia de software;<\/li>\n\n\n\n<li>Metodologias de desenvolvimento de software;<\/li>\n\n\n\n<li>Princ\u00edpios, desenho e implementa\u00e7\u00e3o de linguagens de programa\u00e7\u00e3o e de modela\u00e7\u00e3o;<\/li>\n\n\n\n<li>Especifica\u00e7\u00e3o, an\u00e1lise, verifica\u00e7\u00e3o, valida\u00e7\u00e3o e testes de software;<\/li>\n\n\n\n<li>Seguran\u00e7a e fiabilidade de software;<\/li>\n\n\n\n<li>An\u00e1lise de requisitos e arquiteturas de software;<\/li>\n\n\n\n<li>Processos de desenvolvimento, manuten\u00e7\u00e3o e qualidade de software;<\/li>\n\n\n\n<li>Ambientes e ferramentas para o desenvolvimento de software;<\/li>\n\n\n\n<li>Desenho e an\u00e1lise de algoritmos, pesquisa e optimiza\u00e7\u00e3o;<\/li>\n\n\n\n<li>Casos de estudo e relatos de experi\u00eancias na ind\u00fastria de software.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Comiss\u00e3o T\u00e9cnica<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jo\u00e3o Ferreira (Instituto Superior T\u00e9cnico, Universidade de Lisboa) \u2014\u00a0<strong>Chair<\/strong><\/li>\n\n\n\n<li>Alcides Fonseca (Universidade de Lisboa)<\/li>\n\n\n\n<li>Alexandra Mendes (INESC TEC, FEUP)<\/li>\n\n\n\n<li>Alexandre Madeira (Departamento de Matem\u00e1tica da Universidade de Aveiro e CIDMA)<\/li>\n\n\n\n<li>Ana Matos (Instituto Superior T\u00e9cnico, Universidade de Lisboa)<\/li>\n\n\n\n<li>Andr\u00e9 L. Santos (ISCTE)<\/li>\n\n\n\n<li>Andreia Mordido (LASIGE, Universidade de Lisboa)<\/li>\n\n\n\n<li>Bernardo Toninho (Instituto Superior T\u00e9cnico, Universidade de Lisboa)<\/li>\n\n\n\n<li>Daniela da Cruz (Datadog)<\/li>\n\n\n\n<li>J\u00e1come Cunha (HASLab\/INESC TEC, Faculdade de Engenharia, Universidade do Porto)<\/li>\n\n\n\n<li>Joao Costa Seco (NOVA FCT)<\/li>\n\n\n\n<li>Jo\u00e3o Pascoal Faria (FEUP \/ INESC TEC)<\/li>\n\n\n\n<li>Jo\u00e3o Saraiva (Universidade do Minho)<\/li>\n\n\n\n<li>Jorge Sousa Pinto (Universidade do Minho)<\/li>\n\n\n\n<li>Jos\u00e9 Proen\u00e7a (CISTER &amp; Universidade do Porto)<\/li>\n\n\n\n<li>Maria Jo\u00e3o Frade (HASLab\/INESC TEC &amp; Universidade do Minho)<\/li>\n\n\n\n<li>M\u00e1rio Florido (Faculdade de Ci\u00eancias, Universidade do Porto)<\/li>\n\n\n\n<li>M\u00e1rio Pereira (FCT.UNL \/ NOVA LINCS)<\/li>\n\n\n\n<li>Nelma Moreira (Faculdade de Ci\u00eancias, Universidade do Porto)<\/li>\n\n\n\n<li>Pedro Quaresma (Universidade de Coimbra)<\/li>\n\n\n\n<li>Salvador Abreu (Universidade de \u00c9vora \/ NOVA LINCS)<\/li>\n\n\n\n<li>Sim\u00e3o Melo de Sousa (Universidade do Algarve, NOVA LINCS)<\/li>\n\n\n\n<li>Tiago Cogumbreiro (University of Massachusetts Boston)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>O SOFT-PT (Cie\u0302ncia e Engenharia de Software) \u00e9 um encontro de investigadores acad\u00e9micos e industriais que trabalham em temas relacionados com a ci\u00eancia e engenharia de software, unindo a teoria \u00e0 pr\u00e1tica atrav\u00e9s de princ\u00edpios, metodologias, sistemas e ferramentas. O SOFT-PT, que teve j\u00e1 15 edi\u00e7\u00f5es no Inforum, estabeleceu-se como um ponto de encontro privilegiado &hellip; <\/p>\n","protected":false},"author":6,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2307","page","type-page","status-publish","hentry"],"rttpg_featured_image_url":null,"rttpg_author":{"display_name":"Jo\u00e3o Cardoso","author_link":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/author\/joao-pedro-cardoso\/"},"rttpg_comment":0,"rttpg_category":null,"rttpg_excerpt":"O SOFT-PT (Cie\u0302ncia e Engenharia de Software) \u00e9 um encontro de investigadores acad\u00e9micos e industriais que trabalham em temas relacionados com a ci\u00eancia e engenharia de software, unindo a teoria \u00e0 pr\u00e1tica atrav\u00e9s de princ\u00edpios, metodologias, sistemas e ferramentas. O SOFT-PT, que teve j\u00e1 15 edi\u00e7\u00f5es no Inforum, estabeleceu-se como um ponto de encontro privilegiado&hellip;","_links":{"self":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2307","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/comments?post=2307"}],"version-history":[{"count":5,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2307\/revisions"}],"predecessor-version":[{"id":2400,"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/pages\/2307\/revisions\/2400"}],"wp:attachment":[{"href":"https:\/\/inforum2025.xdi.uevora.pt\/index.php\/wp-json\/wp\/v2\/media?parent=2307"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}