...collaborate on
View   r10  >  r9  >  r8  >  r7  >  r6  ...

MFPIISum0405 10 - 26 Feb 2007 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 58 to 58
 T (2005.05.30): Conclusão da aula anterior. Introdução ao cálculo de soluções iterativas. Preenchimento dos inquéritos de avaliação e fecho da disciplina.
Added:
>
>
META TOPICMOVED by="JoseBacelarAlmeida" date="1172449883" from="Education/Archive.MFPIISum" to="Education/Archive.MFPIISum0405"

MFPIISum0405 9 - 03 Aug 2005 - Main.LuisSoaresBarbosa
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 39 to 39
 TP (2005.04.21, 2005.04.26) Refinamento de dados - exercício sobre normalização de dados para representação tabular.
Changed:
<
<
T (2005.05.02):
>
>
T (2005.05.02): Continuação do sumário da aula anterior
 TP (2005.04.28, 2005.05.03) Refinamento de dados: exercício sobre desrecursivação de dados.
Added:
>
>
T (2005.05.09): Noção de simulação. Resolução de equações de refinamento. Soluções funcionais e não funcionais.
 TP (2005.05.05, 2005.05.17) Refinamento de algoritmos: Definição da relação "é implementado por". Demonstração de duas leis sobre a relação de implementação. Preenchimento dos inquéritos.
Added:
>
>
T (2005.05.16): Cálculo de simulações: análise de alguns casos de estudo.
 TP (2005.05.19, 2005.05.24) Caso de estudo sobre refinamento de algoritmos: verificação da correcção do "insertion sort".
Added:
>
>
T (2005.05.23): Inter-combinação de ciclos e eliminação de recursão mútua. Teorema de Fokkinga e seus corolários. Exemplos de aplicação.
 TP (2005.05.31, 2005.06.02) Recepção de trabalhos práticos.
Added:
>
>
T (2005.05.30): Conclusão da aula anterior. Introdução ao cálculo de soluções iterativas. Preenchimento dos inquéritos de avaliação e fecho da disciplina.

MFPIISum0405 8 - 24 May 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 32 to 32
 T (2005.04.11): Teorema de desrecursivação genérica: Função de abstracção e invariante concreto. Relações de pertença e acessibilidade estrutural. Cálculo da relação de acessibilidade para diversos exemplos.
Added:
>
>
TP (2005.04.14, 2005.04.19) Refinamento de Dados: caracterização abstracta; exemplos de refinamentos; exercícios sobre refinamento de dados e utilização da biblioteca CamilaPrelude? .
 T (2005.04.18): Introdução ao refinamento algorítmico. Relação de satisfação de uma especificação (implícita) por uma função e sua generalização à satisfação de uma relação por outra. Enunciação e prova das propriedades básicas desta relação. Refinamento algoritmíco progressivo.
Added:
>
>
TP (2005.04.21, 2005.04.26) Refinamento de dados - exercício sobre normalização de dados para representação tabular.
 T (2005.05.02):
Added:
>
>
TP (2005.04.28, 2005.05.03) Refinamento de dados: exercício sobre desrecursivação de dados.

TP (2005.05.05, 2005.05.17) Refinamento de algoritmos: Definição da relação "é implementado por". Demonstração de duas leis sobre a relação de implementação. Preenchimento dos inquéritos.

TP (2005.05.19, 2005.05.24) Caso de estudo sobre refinamento de algoritmos: verificação da correcção do "insertion sort".

TP (2005.05.31, 2005.06.02) Recepção de trabalhos práticos.


MFPIISum0405 7 - 01 May 2005 - Main.LuisSoaresBarbosa
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 14 to 14
 TP (2005.03.10, 2005.03.22): Catamorfismos relacionais: propriedades e exemplos.
Changed:
<
<
T (2005.03.14): Estudo de algumas situações de reifamento de dados. Propriedades da relação de refinemento.
>
>
T (2005.03.14): Estudo de algumas situações de refinamento de dados. Propriedades da relação de refinamento.
 Prototipagem: o legado Camila.

TP (2005.03.15): Assistir à apresentação sobre o "PURe Camila" por João Ferreira e Alexandra Mendes.

Added:
>
>
T (2005.03.21): Não houve aula (ausência do docente em reunião interna).
 TP (2005.03.31, 2005.04.5): Especificação de propriedades como Catamorfismos Relacionais.
Added:
>
>
T (2005.04.04): Relacionadores e o refinamento estruturado. Leis de refinamento de conjuntos finitos, correspondências e representações por apontador. Introdução ao problema de desrecursivação de modelos de dados.
 TP (2005.04.07, 2005.04.12): Utilização do Haskell na especificação do Software (comparação com VDM/Camila): abstração Set e Map; invariantes de tipo; pré e pós-condições nas operações; especificações não executáveis; características não funcionais (estado de objectos e do interpretador; operações IO; etc.). Apresentação dos projectos práticos da disciplina.
Added:
>
>
T (2005.04.11): Teorema de desrecursivação genérica: Função de abstracção e invariante concreto. Relações de pertença e acessibilidade estrutural. Cálculo da relação de acessibilidade para diversos exemplos.

T (2005.04.18): Introdução ao refinamento algorítmico. Relação de satisfação de uma especificação (implícita) por uma função e sua generalização à satisfação de uma relação por outra. Enunciação e prova das propriedades básicas desta relação. Refinamento algoritmíco progressivo.

T (2005.05.02):


MFPIISum0405 6 - 11 Apr 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 22 to 22
 TP (2005.03.31, 2005.04.5): Especificação de propriedades como Catamorfismos Relacionais.
Added:
>
>
TP (2005.04.07, 2005.04.12): Utilização do Haskell na especificação do Software (comparação com VDM/Camila): abstração Set e Map; invariantes de tipo; pré e pós-condições nas operações; especificações não executáveis; características não funcionais (estado de objectos e do interpretador; operações IO; etc.). Apresentação dos projectos práticos da disciplina.

MFPIISum0405 5 - 31 Mar 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 20 to 20
 TP (2005.03.15): Assistir à apresentação sobre o "PURe Camila" por João Ferreira e Alexandra Mendes.
Added:
>
>
TP (2005.03.31, 2005.04.5): Especificação de propriedades como Catamorfismos Relacionais.

MFPIISum0405 4 - 23 Mar 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.

TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

Line: 12 to 12
 TP (2005.03.03, 2005.03.08): Continuação da apresentação de relators: o coproduto de relações; o power relator. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.
Changed:
<
<
TP (2005.03.10): Catamorfismos relacionais: propriedades e exemplos.
>
>
TP (2005.03.10, 2005.03.22): Catamorfismos relacionais: propriedades e exemplos.
 T (2005.03.14): Estudo de algumas situações de reifamento de dados. Propriedades da relação de refinemento. Prototipagem: o legado Camila.
Added:
>
>
TP (2005.03.15): Assistir à apresentação sobre o "PURe Camila" por João Ferreira e Alexandra Mendes.

MFPIISum0405 3 - 14 Mar 2005 - Main.LuisSoaresBarbosa
Line: 1 to 1
Changed:
<
<
T (2005.02.21): Apresentação da Disciplina.
>
>
T (2005.02.21): Apresentação da Disciplina. Noção de refinamento.
 TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.
Added:
>
>
T (2005.02.28): JOIN'05.
 TP (2005.03.01): JOIN'05.
Added:
>
>
T (2005.03.07): Introdução ao refinamento de modelos de dados: relações de abstraçao e representação; a ordem de refinamento. Invariantes induzidos. Exemplos: algumas leis de reificação de conjuntos e correspondências.
 TP (2005.03.03, 2005.03.08): Continuação da apresentação de relators: o coproduto de relações; o power relator. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

TP (2005.03.10): Catamorfismos relacionais: propriedades e exemplos.

Added:
>
>
T (2005.03.14): Estudo de algumas situações de reifamento de dados. Propriedades da relação de refinemento. Prototipagem: o legado Camila.

MFPIISum0405 2 - 11 Mar 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
 T (2005.02.21): Apresentação da Disciplina.
Changed:
<
<
TP (2005.02.22): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.
>
>
TP (2005.02.22, 2005.02.24): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

TP (2005.03.01): JOIN'05.

TP (2005.03.03, 2005.03.08): Continuação da apresentação de relators: o coproduto de relações; o power relator. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.

TP (2005.03.10): Catamorfismos relacionais: propriedades e exemplos.

 

MFPIISum0405 1 - 22 Feb 2005 - Main.JoseBacelarAlmeida
Line: 1 to 1
Added:
>
>
T (2005.02.21): Apresentação da Disciplina.

TP (2005.02.22): Apresentação e marcação de turnos. Generalização das construções básicas das funções para as relações (do functor para o relator). A unidade nas relações. O produto de relações. Derivação de algumas das leis referidas como exercício de utilização do cálculo relacional.


Revision 10r10 - 26 Feb 2007 - 00:31:23 - JoseBacelarAlmeida
Revision 9r9 - 03 Aug 2005 - 14:14:37 - LuisSoaresBarbosa
Revision 8r8 - 24 May 2005 - 12:40:21 - JoseBacelarAlmeida
Revision 7r7 - 01 May 2005 - 11:23:08 - LuisSoaresBarbosa
Revision 6r6 - 11 Apr 2005 - 14:08:46 - JoseBacelarAlmeida
Revision 5r5 - 31 Mar 2005 - 13:43:27 - JoseBacelarAlmeida
Revision 4r4 - 23 Mar 2005 - 16:06:01 - JoseBacelarAlmeida
Revision 3r3 - 14 Mar 2005 - 02:21:59 - LuisSoaresBarbosa
Revision 2r2 - 11 Mar 2005 - 13:01:48 - JoseBacelarAlmeida
Revision 1r1 - 22 Feb 2005 - 14:42:52 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM