Métodos Formais em Engenharia de SoftwareMestrado de [Engenharia] Informática (13/14)
|
Tópicos
Avisos
23 Jul - Lançadas as classificações finais da UCE: ver Funcionamento.
14 Jul - Correcção do teste de CSI: ver enunciado no material pedagógico.
24 Jun - Sessão de correcção do teste de CSI: será dia 26-Jun, 17h, sala DI 1.08.
22 Jun - Classificações do teste de CSI: ver Funcionamento.
18 Jun - Chama-se a atenção dos alunos para a realização das JOIN'14 - XII Jornadas de Informática da Universidade do Minho
18 Jun - A data da última 'milestone' do Projecto Integrado foi adiada para 3-Jul, ver sumários.
22 Mai - A pedido da organização, divulga-se e sugere-se a participação dos alunos no TIUP 2014
25 Abr - AMT: finalmente foram publicadas as notas do teste de Alloy! Em princípio as próximas notas serão lançadas durante a próxima semana.
22 Fev - Publicado oFormulário de CSI em material pedagógico.
05 Fev - CSI: colectados num único PDF todos os exercícios de CSI no material pedagógico.
17 Dez Já estão definidos os tutores de cada grupo, cf. Projecto. Cada grupo deverá entrar em contacto com o seu tutor para definirem horário conveniente para o PI e arrancarem com os trabalhos.
6 Dez - Sugestão de leitura para alunos de MFES... e não só!
12 Nov - Foi criada uma mailing list para a edição 13/14 de MFES. Recomenda-se a subscrição a todos os alunos.
12 Nov - AMT: exemplos do barqueiro adicionados na secção de material pedagógico.
04 Nov - CSI: o módulo Alloy RelCalc.als que se adicionou ao Material pedagógico deve ser estudado como preparação para a próxima aula.
31 Out - CSI: O sumário da TP1 de hoje (11h30) inclui o código Alloy que deve ser usado como ponto de partida para o problema de programação sugerido na aula.
24 Out - FAQs de CSI: ver Material pedagógico (no fim).
07 Out - O código de activação de pré-inscrição nesta UC no e-Learning pode ser obtido carregando aqui.
23 Set - As aulas iniciam-se no próximo dia 3 de Outubro. Ver detalhes em: Calendário
11 Set - Criação do site.
|
Bem vindo a MFESBem vindo à página da edição de 2013/14 da UCE de Métodos Formais em Engenharia de Software. O meu nome é José Nuno Oliveira e sou o responsável por esta unidade curricular, que conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.
Todos fazemos parte do Laboratório HASLab  (Formal Methods for High-Assurance Software), em que se vem consolidando know-how em métodos formais desde há mais de 25 anos.
Nas suas (cerca de) 300 horas anuais de ensino em métodos científicos de programação, incluindo (cerca de) 75 horas de acompanhamento de projectos propostos por parceiros industriais nacionais e estrangeiros, esta UCE é porventura uma das mais expressivas unidades curriculares na sua área.
Os módulos 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 matemáticos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos.
Na sua componente prática, a UCE ensina a conceber e animar modelos de problemas, testando-os atempada e exaustivamente antes de se proceder à fase de cálculo e implementação, por forma a evitar erros de perspectiva ou infantilidades de concepção. Em suma: ensina-se a saber modelar e calcular, sim, mas também a saber analisar, testar e avaliar, sem descurar métricas para a qualidade do software.
No seu conjunto, os conteúdos desta UCE pretendem realizar o desígnio de que é possível afixar o carimbo
nos artefactos de software desenvolvidos segundo os seus princípios metodológicos. Parcerias
Classificação ACMNúmero de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:
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)
|
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.