Métodos Formais de Programação

[ Slides de apresentação do perfil ]

Mestrado em Engenharia Informática

Bem vindo à página da edição de 2021/22 do perfil de Métodos Formais de Programação (MFP). Este perfil complementa a unidade curricular obrigatória de Métodos Formais em Engenharia de Software (MFES).

Este perfil de especialização do MEI 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 centro de investigação HASLab (High-Assurance Software Laboratory) da Universidade do Minho e do INESC TEC, em que se vem consolidando know-how em métodos formais desde há mais de 30 anos.

Sobre o Perfil

As unidades curriculares que compoem MFP em conjunto com MFES

1ºS MFES 2ºS CSI VF PCF

corporizam as principais competências 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 executados. Uma vez escritos, MFP ensina como fazer a sua verificação, um ingrediente essencial à qualidade do software.

Historial: o perfil de MFP foi criado em 2007/08, segundo as orientações do Processo de Bolonha. Designava-se então MFES. Todo o seu historial pode ser consultado nos anos anteriores.

Classificação ACM

Os 20 ECTSs deste perfil e da unidade curricular de MFES estão distribuídos pelas seguintes área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:

Software Modeling and Analysis — 30%

Software Verification and Validation — 20%

Requirements Analysis and Specification — 20%

Software Design — 20%

Mathematical and engineering fundamentals — 10%

Eventos

O HASLab orgulha-se de ter sido convidado a organizar o 3º congresso mundial de MF, que teve lugar no Porto em Outubro de 2019.

FM’21, o próximo simpósio de métodos formais, terá lugar virtualmente na próxima semana. É organizado pelo Institute of Software, Chinese Academy of Sciences em Pequim, China.

Citações

In my career in software, I’ve seen many good languages, tools and methods adopted. But none had the impact we’d hoped for. I came to realize that there’s one thing that makes for great software: conceptual clarity in the design.

Daniel Jackson about his new book The Essence of Software

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.

Garmisch NATO conference report, 1968

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.

Tony Hoare

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

Alan Perlis

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

Edsger Dijkstra

Simplicity does not precede complexity, but follows it.

Alan Perlis

Humor

Software Development: A Rigorous Approach by C.B. Jones

Programa de Especialização – “Programação e Engenharia de Sistemas de Software (PROGRESS)”

O “PROGRESS” é um curso intensivo, com o objetivo de proporcionar aos participantes conhecimentos básicos em todos os domínios fundamentais da programação e da engenharia de software.

Esta edição será patrocinada pela everis e pela Fidelidade, através do Programa “Academia Outsystems” by everis e Fidelidade, não existindo custos financeiros para formandos que realizem o PROGRESS através deste programa.

Objetivos

• Adquirir conhecimentos básicos em domínios fundamentais ao nível da licenciatura em Ciência da Computação e Engenharia Informática;

• Desenvolver profundas capacidades concetuais e profissionais, em programação e em engenharia de software.

Data de Início: 12 de abril 2021.

Horário: 2ª a 6ªfeira, 9h – 17h30

Formato: Online

Duração: 410h

Candidaturas: até 29 de março.

Mais informações e candidaturas.

Robotmaster offline programming software l Hypertherm

Benefits of Robotmaster

Maximizes productivity and profitability

Reduces robot downtime as programming is done completely offline, independent from production.

Enables short production runs

Intuitive programming workflows enable short production runs.

Robust trajectory creation

Generates robot trajectories directly from CAD models using integrated path generation capabilities and output error-free, optimized robotic codes.

Takes the programmer out of programming

Designed for process experts rather than programming or CAD/CAM experts, Robotmaster is an easy-to-use programming tool that allows the user to have full control over process-specific parameters to achieve the desired results.

External axis management

Manages the entire robotic cell including rails and rotaries to work on even the largest and most complex workpieces.