Métodos Formais


Prof. Mauro Silva

 

ÚLTIMAS

[29.Nov.10] template do projeto

É só fazer o download AQUI !

[]'s

mauro

[03.Nov.09] HPSim disponivel

é só fazer o download.

[]'s

mauro

[15.Dez.08] Notas U2

Caros Alunos,

1) notas disponiveis da U2 na FG;

2) A alteração de nota referente a U1 dos alunos abaixo foram feitas na prova da U2. Os décimos a mais foram acrescentados na nota da Unidade 2.

ANA CRISTINA QUEIROZ DA SILVA

ANDERSON JOSE DE SOBRAL

CARLOS JOSÉ DE LIMA

EDER PAULO FONTES DA SILVA

ERICK LEONARDO BAIÃO DE ALMEIDA

IVANILDO LOPES DA SILVA JUNIOR

JORGE ANDRE FREIRE LACERDA JUNIOR

JOSE ANDRE HENRIQUES DA SILVA

KLAYTEPETERSON MOTA GOMES

LUIS GUILHERME

ROBSON ROBERTO PEREIRA PIASON

VÍTOR COSTA DE ARAÚJO

WESLEY OSCAR DO NASCIMENTO

3) Vou deixar as provas na FG ainda hoje!

[]'s

mauro

[3.Nov.08] Trabalho FG Virtual

AQUI está o trabalho que vcs tem q  fazer que está no FG Virtual

[']s

mauro

[22.Out.08] Trabalho de Pesquisa

Amanhã, dia 23/10, não haverá aula. No entanto, uma atividade deverá ser feita por TODOS os alunos pois cobrarei na próxima semana em sala de aula.

Esta atividade consiste de uma pesquisa para determinar uma RdP descrita AQUI.

Este mesmo material encontra-se na xerox do térreo da FG.

[]'s mauro

[12.Out.08] Notas da U1

Notas da U1 dsponíveis no sistema da FG.

Como estarei viajando nas próximas semanas, somente entregarei a prova em mãos após o dia 24/10.

[]'s mauro

[18.Set.08] Lista de Exercício

Primeira lista de exercício disponível AQUI.

Não deixem de fazer!

[]'s mauro

[7.Set.08] Mais perguntas

Enviaram um e-mail para mim com algumas perguntas as quais (claro!) não respondi. Achei por bem - inclusive -  responder com algumas perguntas a mais tais como:

  • Sabe o que é um processo de desenvolvimento? 
  • Sobre Engenharia de SW? 
  • O que é ser FORMAL? e Informal? Qual a diferença?
  • O que é uma espeficicação de sistemas? 
  • Quando uma especificação é matemática, o que isso significa? 

Segue alguns (poucos) links onde vcs podem encontrar algumas respostas:

http://pt.wikipedia.org/wiki/Processo_de_desenvolvimento_de_software
http://pt.wikipedia.org/wiki/M%C3%A9todos_formais
http://pt.wikipedia.org/wiki/Engenharia_de_software

Mãos à obra.

[]'s mauro 

---------------------------------------------------------------------------------------------------------------------------------------------

A disciplina de MF

Na disciplina ministrada pelo professor Mauro Silva na Faculdade dos Guararapes, é apresentada uma visão prática/teórica dos principais aspectos envolvendo métodos formais e ressalta a sua aplicabilidade para diversas áreas do conhecimento humano. Além disso, promove o estudo de alguns métodos específicos baseados em modelos para a resolução de problemas reais nas áreas de Sistemas de Produção, Redes de Computadores, Gerenciamento de Processos, etc.

Ainda que o aspecto teórico exija do aluno constantes manipulações de conceitos matemáticos, na metodologia utilizada haverá um balanceamento entre a matemática e a aplicabilidade do conceito por ventura apresentado. Um bom exemplo desta dinâmica (ensino de conceitos da Ciência da Computação com a fundamentação matemática) pode ser observada no livro de Judith L. Gersting [Fundamentos Matemáticos para Ciência da Computação, Editora LTC].

Metodologia

Nossas avaliações serão divididas em três partes: listas de exercícios, trabalho e pesquisa (15%); e prova (85%).

Vamos ler alguns artigos em sala de aula e alguns outros serão passados para leitura complementar.

Comunicação

Nossa comunicação (aluno/professor) poderá ser feita de diferentes maneiras: na sala de aula; por e-mail; FGVirtual; e/ou por este site.

Sala de Aula

É muito importante a utilização do fator presencial para tirar dúvidas, contribuir com a disciplina, dar feedback (aluno/professor e professor/aluno), enfim fazer com que o econtro semanal seja utilizado da melhor forma possível.

E-m@il

A comunicação por e-mail pode ser feita mediante o seguinte endereço: metodosformais@gmail.com .

Site

Este espaço será utilizado para a publicação de material (diretamente ou indiretamente) relacionado com nossa disciplina.

Fique atento a seção Últimas deste site. Nela que conterá o que há de novo neste espaço. Pode ser um link, um artigo, uma aula, etc.

Links:

Para inspiração...

Difícil é aprender a ler, o resto tá escrito.

-- Anonymous

Aulas

Aula 1 - Módulo 1

Motivação, Introdução, Mitos e Cilcos.

Aula 2 - Módulo 1

Verificação, Validação, Formalismos, Especificação Formal e Linguagens.

Aula 3 - Módulo 2

Matemática: lógica e conjuntos.

Aula 4 - Módulo 2

Matemática: relações e funções.

Aula 5 - Módulo 4

Redes de Petri: introdução e conceitos.

Aula 6 - Módulo 4

Redes de Petri: propriedades.

Tools

Artigos

Google Ad