orlandopalmeira/trabalhos-mfes-2023-2024

Repositório dos trabalhos de casa da UC de Métodos Formais em Engenharia de Software (MFES) - Mestrado em Engenharia Informática (MEI/MIEI) - Universidade do Minho (UMinho)

Sobre mim ( About me)

📍Braga, Portugal

🎓 Licenciado em Engenharia Informática. Actualmente a frequentar o Mestrado em Engenharia Informática na Universidade do Minho. ( Graduated in Informatics Engineering. Currently attending a Master's degree in Informatics Engineering at University of Minho.) (Universidade do Minho )

Projectos realizados na universidade ( University projects)

Licenciatura em Engenharia Informática ( Bachelor of Informatics Engineering)

1.º Ano 1.º Semestre ( 1st year 1st semester)

• Laboratórios de Informática I ( Informatics Laboratories I)

1.º Ano 2.º Semestre ( 1st year 2nd semester)

• Laboratórios de Informática II ( Informatics Laboratories II)

2.º Ano 1.º Semestre ( 2nd year 1st semester)

• Laboratórios de Informática III ( Informatics Laboratories III)

2.º Ano 2.º Semestre ( 2nd year 2nd semester)

• Investigação Operacional ( Operational Research)

• Programação Orientada aos Objectos ( Object Oriented Programming)

• Sistemas Operativos ( Operating Systems)

• Redes de Computadores ( Computer Networks)

3.º Ano 1.º Semestre ( 3rd year 1st semester)

• Cálculo de Programas ( Program Design by Calculation)

• Comunicações por Computador ( Computer Communications)

• Desenvolvimento de Sistemas de Software ( Software Systems Development)

• Inteligência Artificial ( Artificial Intelligence)

• Laboratórios de Informática IV ( Informatics Laboratories IV)

• Sistemas Distribuídos ( Distributed Systems)

3.º Ano 2.º Semestre ( 3rd year 2nd semester)

• Aprendizagem e Decisão Inteligentes ( Intelligent Learning and Decision Making)

• Computação Gráfica ( Computer Graphics)

• Processamento de Linguagens ( Language Processing)

• Engenharia Web ( Web Engineering)

Mestrado em Engenharia Informática ( Master in Informatics Engineering)

1.º Ano 1.º Semestre ( 1st year 1st semester)

• Aplicações e Serviços de Computação em Nuvem ( Cloud Computing Applications and Services)

• Requisitos e Arquiteturas de Software ( Software Requirements and Architectures)

• Computação Paralela ( Parallel Computing)

• Engenharia de Serviços em Rede ( Network Services Engineering)

• Dados e Aprendizagem Automática ( Data and Machine Learning)

Linguagens de programação ( Programming Languages)

Sistemas de gestão de bases de dados ( Database Management Systems)

Ambientes de desenvolvimento ( Frameworks)

Ferramentas ( Tools)