Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021
View   r59  >  r58  >  r57  >  r56  >  r55  ...

WebHome 59 - 17 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 

Bem-vindo ao Perfil de MFES

Bem vindo à página da edição de 2020/21 do perfil de Métodos Formais em Engenharia de Software. Para uma primeira impressão sobre o perfil sugere-se a visualização do seguinte vídeo de apresentação da edição de tinynew.gif 2020/21.


WebHome 58 - 22 Sep 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 

Bem-vindo ao Perfil de MFES

Changed:
<
<
Bem vindo à página da edição de 2019/20 do perfil de Métodos Formais em Engenharia de Software. youtube Este perfil de especialização do MiEI conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.
>
>
Bem vindo à página da edição de 2020/21 do perfil de Métodos Formais em Engenharia de Software. Para uma primeira impressão sobre o perfil sugere-se a visualização do seguinte vídeo de apresentação da edição de tinynew.gif 2020/21.

Este perfil de especialização do MiEI youtube conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.

 logo mfes Todos fazemos parte do Laboratório HASLab/U.Minho (Formal Methods for High-Assurance Software),
Line: 16 to 16
 As unidades curriculares que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial. Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.
Changed:
<
<
O HASLab/U.Minho orgulha-se de ter sido FM'19 convidado a organizar o 3º congresso mundial de MF, que terá lugar no Porto em Outubro de 2019.
>
>
O HASLab/U.Minho orgulha-se de ter sido FM'19 convidado a organizar o 3º congresso mundial de MF, que teve lugar no Porto em Outubro de 2019.
 
Changed:
<
<
As disciplinas que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial.
>
>
As unidades curriculares que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial.
 Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.

O HASLab/U.Minho orgulha-se de ter sido FM'19 convidado a organizar o 3º congresso mundial de MF, que só acontece de 10 em 10 anos.

Line: 60 to 60
 
Added:
>
>
 
Line: 141 to 143
 
META FILEATTACHMENT attachment="altreonic.jpg" attr="h" comment="" date="1380116800" name="altreonic.jpg" path="altreonic.jpg" size="10407" stream="altreonic.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="haslab-star.jpg" attr="h" comment="" date="1383591896" name="haslab-star.jpg" path="haslab-star.jpg" size="5420" stream="haslab-star.jpg" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="jno1.png" attr="h" comment="" date="1487251678" name="jno1.png" path="jno1.png" size="1069952" stream="jno1.png" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="utrc.png" attr="h" comment="" date="1541259669" name="utrc.png" path="utrc.png" size="11658" stream="utrc.png" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="bosch_logo.png" attr="h" comment="" date="1541260187" name="bosch_logo.png" path="bosch_logo.png" size="18948" stream="bosch_logo.png" user="Main.JoseNunoOliveira" version="1"

WebHome 52 - 18 Oct 2018 - Main.JoseNunoOliveira
Line: 1 to 1
 

Bem-vindo ao Perfil de MFES

Bem vindo à página da edição de 2018/19 do perfil de Métodos Formais em Engenharia de Software.

Line: 16 to 16
 As disciplinas que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial. Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.
Added:
>
>
O HASLab/U.Minho orgulha-se de ter sido FM'19 convidado a organizar o 3º congresso mundial de MF, que só acontece de 10 em 10 anos.
 
 

WebHome 47 - 16 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 

Bem-vindo ao Perfil de MFES

Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software. O meu nome é José Nuno Oliveira e sou o responsável por este perfil de especialização do MiEI, que conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.

Changed:
<
<
TFM09.jpg
>
>
jno
 Todos fazemos parte do Laboratório HASLab/U.Minho haslab.jpg (Formal Methods for High-Assurance Software), em que se vem consolidando know-how em métodos formais desde há mais de 30 anos.