Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [17/18]
View   r51  >  r50  >  r49  >  r48  >  r47  ...

WebHome 51 - 19 Oct 2020 - 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.

Line: 60 to 60
 
Deleted:
<
<

Citações

In late 1967 the Study Group recommended the holding of a working conference on Software Engineering. The phrase `software engineering' was deliberately chosen as being provocative, in implying the need for software manufacture to be based on the types of theoretical foundations and practical disciplines, that are traditional in the established branches of engineering.

There are two ways of constructing a software design: one way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

It is easier to write an incorrect program than understand a correct one.

Program testing can be used to show the presence of bugs, but never to show their absence!

Simplicity does not precede complexity, but follows it.


Humor

(Source: Software Development: A Rigorous Approach by C.B. Jones)

 
META FILEATTACHMENT attachment="logo_dhomesphere.jpg" attr="h" comment="" date="1178180610" name="logo_dhomesphere.jpg" path="logo_dhomesphere.jpg" size="7842" stream="logo_dhomesphere.jpg" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="logo_enabler.jpg" attr="h" comment="" date="1178180628" name="logo_enabler.jpg" path="logo_enabler.jpg" size="7615" stream="logo_enabler.jpg" user="Main.AlcinoCunha" version="1"
META FILEATTACHMENT attachment="logo_sig.jpg" attr="h" comment="" date="1178180646" name="logo_sig.jpg" path="logo_sig.jpg" size="9416" stream="logo_sig.jpg" user="Main.AlcinoCunha" version="1"

WebHome 50 - 17 Sep 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.

Line: 39 to 39
 
Added:
>
>

Divulgação


 

Parcerias


WebHome 49 - 14 Sep 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.

Line: 26 to 26
 
Added:
>
>

Classificação ACM

Número de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:

  • Software/SOFTWARE ENGINEERING/Metrics --- 2
  • Software/SOFTWARE ENGINEERING/Requirements/Specifications --- 6
  • Software/SOFTWARE ENGINEERING/Software Architectures --- 6
  • Software/SOFTWARE ENGINEERING/Software/Program Verification --- 6
  • Software/SOFTWARE ENGINEERING/Testing and Debugging --- 4
  • Theory of Computation/LOGICS AND MEANINGS OF PROGRAMS/Specifying and Verifying and Reasoning about Programs --- 6


 

Parcerias

Line: 41 to 54
 
Deleted:
<
<

Classificação ACM

Número de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:

  • Software/SOFTWARE ENGINEERING/Metrics --- 2
  • Software/SOFTWARE ENGINEERING/Requirements/Specifications --- 6
  • Software/SOFTWARE ENGINEERING/Software Architectures --- 6
  • Software/SOFTWARE ENGINEERING/Software/Program Verification --- 6
  • Software/SOFTWARE ENGINEERING/Testing and Debugging --- 4
  • Theory of Computation/LOGICS AND MEANINGS OF PROGRAMS/Specifying and Verifying and Reasoning about Programs --- 6


 

Citações


WebHome 48 - 09 Sep 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.

Changed:
<
<
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. 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.
>
>
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. logo mfes Todos fazemos parte do Laboratório HASLab/U.Minho (Formal Methods for High-Assurance Software), em que se vem consolidando know-how em métodos formais desde há mais de 30 anos. haslab.jpg
 
<-- Nos seus 30 ECTS de ensino em métodos científicos de programação, incluindo 10 ECTS de acompanhamento de projectos propostos por parceiros industriais nacionais e estrangeiros, este perfil é porventura um dos mais expressivos na sua área.
, à escala europeia.
!-->
Line: 13 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:
>
>
 

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.