Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021
View   r20  >  r19  >  r18  >  r17  >  r16  ...

CSI 20 - 06 Dec 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<
Devido a problemas de segurança identificados pelos administradores deste wiki, o conteúdo desta página passa a estar (até nova indicação) disponível a partir de
http://tiny.cc/wxn5tz
| This page has moved to http://tiny.cc/wxn5tz due to security vulnerabilities.
>
>
Devido a problemas de segurança identificados pelos administradores deste wiki, o conteúdo desta página passa a estar disponível em
https://haslab.github.io/MFES/CSI/2021/index
| This page has moved to https://haslab.github.io/MFES/CSI/2021/index due to security vulnerabilities.
 
 
META FILEATTACHMENT attachment="csi20201105.pdf" attr="h" comment="" date="1604313179" name="csi20201105.pdf" path="csi20201105.pdf" size="157438" stream="csi20201105.pdf" user="Main.JoseNunoOliveira" version="1"

CSI 17 - 02 Nov 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 124 to 124
 

-- JoseNunoOliveira - 28 Sep 2020 \ No newline at end of file

Added:
>
>
META FILEATTACHMENT attachment="csi20201105.pdf" attr="h" comment="" date="1604313179" name="csi20201105.pdf" path="csi20201105.pdf" size="157438" stream="csi20201105.pdf" user="Main.JoseNunoOliveira" version="1"

CSI 16 - 31 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 104 to 104
 
  • Módulo Alloy: RelCalc.als tinynew.gif - Cálculo relacional básico em Alloy.
Added:
>
>
  • Módulo Alloy: kerimg.als tinynew.gif - o que é o núcleo (kernel) e a imagem (image) de uma relação? Experimentem e observem variando a cláusula run.
 

Atendimento electrónico | FAQs


CSI 15 - 30 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 102 to 102
 

Material | Teaching material

Changed:
<
<
TBC
>
>
  • Módulo Alloy: RelCalc.als tinynew.gif - Cálculo relacional básico em Alloy.
 

CSI 14 - 29 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 21 to 21
 
a76089 Etienne da Silva Filipe Amado da Costa MiEI
a85731 Gonçalo José Azevedo Esteves MiEI
a86617 Gonçalo Pinto Nogueira MiEI
Deleted:
<
<
pg42833 Henrique Manuel Sanches Pereira MEI
 
a81283 Hugo Filipe Oliveira de Sousa Faria MiEI
a85573 Jorge Gabriel Alves Cerqueira MiEI
a84776 José Emanuel Silva Rodrigues MiEI
pg42839 José Gonçalo Macedo Costa MEI
a84577 José Pedro Oliveira Silva MiEI
Changed:
<
<
pg42840 Leandro Filipe Pereira Lima MEI
pg42842 Luís Marques MEI
>
>
a85954 Luís Mário Macedo Ribeiro MiEI
 
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
a82400 Márcio Alexandre Mota Sousa MiEI
Line: 38 to 36
 
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
Changed:
<
<
pg42647 Valeriy Apostolyuk MEI
pg36086 Vítor Hugo Gonçalves Silva MMC
>
>
pg36086 Vítor Hugo Gonçalves Silva MEI
 

Programa | Course syllabus


CSI 13 - 23 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 111 to 111
 

Atendimento electrónico | FAQs

Deleted:
<
<
TBC
 
Changed:
<
<

>
>

Q01 - Eu resolvi o exercício 5.1 mas não precisei de usar a lei (5.17). Porque é que essa regra é sugerida?

R: O uso da lei (5.17), para f=sq e o resto identidades, poupa passos na resolução, que fica praticamente imediata.


 

Links


CSI 12 - 18 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 42 to 42
 
pg36086 Vítor Hugo Gonçalves Silva MMC
Deleted:
<
<

 

Programa | Course syllabus

Line: 100 to 98
 

Ferramentas | Tools

Changed:
<
<
>
>
 



CSI 11 - 17 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 39 to 39
 
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
pg42647 Valeriy Apostolyuk MEI
Changed:
<
<
pg36086 Vítor Hugo Gonçalves Silva MEI
>
>
pg36086 Vítor Hugo Gonçalves Silva MMC
 



CSI 10 - 15 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 39 to 39
 
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
pg42647 Valeriy Apostolyuk MEI
Added:
>
>
pg36086 Vítor Hugo Gonçalves Silva MEI
 

CSI 9 - 14 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Horário | Timetable

Docente Foto Horário Sala
Changed:
<
<
José Nuno Oliveira jno 5ª-feira, tinynew.gif 17h-20h 1-1.21
>
>
José Nuno Oliveira jno 5ª-feira, tinynew.gif 13h-16h 1-1.21
 

Alunos | Students

Line: 77 to 77
 

Regime de avaliação | Assessment

Changed:
<
<
  • Duas provas escritas de avaliação (mini-teste + teste) e exame de recurso. | 2 written exams
<--  * Avaliação contínua com base em problemas dados nas aulas TP. | Continuous assessment in the classroom -->
>
>
  • Duas provas escritas de avaliação (mini-teste + teste) e exame de recurso. | 2 written exams
    <--  * Avaliação contínua com base em problemas dados nas aulas TP. | Continuous assessment in the classroom -->
 
  • As provas escritas são de consulta de material impresso. | The exams are open-book
  • O mini-teste é eliminatório de matéria para o teste e vale 50%. | The first exam amounts to 50% of the final mark
Line: 86 to 85
 

Bibliografia | Bibliography

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation (, 1.9Mb), Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).
>
>
  • J.N. Oliveira. Program Design by Calculation (, 2.4Mb), Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).
 

Bibliografia adicional | Other bibliography


CSI 8 - 14 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Horário | Timetable

Docente Foto Horário Sala
Changed:
<
<
José Nuno Oliveira jno 5ª-feira, tinynew.gif 17h-20h TBC
>
>
José Nuno Oliveira jno 5ª-feira, tinynew.gif 17h-20h 1-1.21
 

Alunos | Students


CSI 7 - 12 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Deleted:
<
<

Programa | Course syllabus

  • Métodos formais e qualidade de software. Conceitos básicos: modelo, especificação, verificação e prova.
  • As relações binárias polimórficas como linguagem de especificação formal universal. Setas e diagramas. Estudo do cálculo relacional 'pointfree'. Conexões de Galois. Polimorfismo paramétrico.
  • O papel das funções na taxonomia das relações binárias. Teorema grátis de uma função polimórfica.
  • Atributos e dependências funcionais. O modelo de dados 'pares valores-chave' construído com relações simples, emparelhamentos e coprodutos. Integridade referencial.
  • Preservação de invariantes e satisfação. Cálculo da precondição mais fraca 'wp (f, p)' para uma dada função 'f' e invariante 'p'. Relações (invariantes) como tipos.
  • 'Design by contract' por cálculo apoiado por model-checking.
  • Breve estudo da interpretação abstracta. Funções invariantes. Simulação relacional. Propriedades de segurança e de animação. Redução do espaço de estados por interpretação abstrata.
  • Formal methods for software quality. Basic concepts: model, specification, verification and proof.
  • Polymorphically typed binary relations as a universal formal specification language. Arrows and diagrams. Binary relations in Alloy. Study of the pointfree relational calculus. Galois connections. Parametricity.
  • The role of functions in the taxonomy of binary relations. Relations as types, inc. data type invariants. Theorems for free.
  • Attributes and functional dependencies. Key-value-pair data model = relational simplicity + pairing + coproducts. Referential integrity.
  • Data type invariants: preservation and satisfiability. Calculation of weakest preconditions for invariant preservation.
  • 'Design by contract': combining model-checking with algebraic calculation. Refinement ordering on relations.
  • Brief study of abstract interpretation. Invariant functions. Relational simulation. Safety and liveness properties relationally. Reducing the state space by abstract interpretation.


 

Horário | Timetable

Docente Foto Horário Sala
Changed:
<
<
José Nuno Oliveira jno 5ª-feira, 13h-16h TBC
>
>
José Nuno Oliveira jno 5ª-feira, tinynew.gif 17h-20h TBC
 
Deleted:
<
<

 

Alunos | Students

Line: 77 to 42
 
Added:
>
>

Programa | Course syllabus

  • Métodos formais e qualidade de software. Conceitos básicos: modelo, especificação, verificação e prova.
  • As relações binárias polimórficas como linguagem de especificação formal universal. Setas e diagramas. Estudo do cálculo relacional 'pointfree'. Conexões de Galois. Polimorfismo paramétrico.
  • O papel das funções na taxonomia das relações binárias. Teorema grátis de uma função polimórfica.
  • Atributos e dependências funcionais. O modelo de dados 'pares valores-chave' construído com relações simples, emparelhamentos e coprodutos. Integridade referencial.
  • Preservação de invariantes e satisfação. Cálculo da precondição mais fraca 'wp (f, p)' para uma dada função 'f' e invariante 'p'. Relações (invariantes) como tipos.
  • 'Design by contract' por cálculo apoiado por model-checking.
  • Breve estudo da interpretação abstracta. Funções invariantes. Simulação relacional. Propriedades de segurança e de animação. Redução do espaço de estados por interpretação abstrata.
  • Formal methods for software quality. Basic concepts: model, specification, verification and proof.
  • Polymorphically typed binary relations as a universal formal specification language. Arrows and diagrams. Binary relations in Alloy. Study of the pointfree relational calculus. Galois connections. Parametricity.
  • The role of functions in the taxonomy of binary relations. Relations as types, inc. data type invariants. Theorems for free.
  • Attributes and functional dependencies. Key-value-pair data model = relational simplicity + pairing + coproducts. Referential integrity.
  • Data type invariants: preservation and satisfiability. Calculation of weakest preconditions for invariant preservation.
  • 'Design by contract': combining model-checking with algebraic calculation. Refinement ordering on relations.
  • Brief study of abstract interpretation. Invariant functions. Relational simulation. Safety and liveness properties relationally. Reducing the state space by abstract interpretation.


 

Regime de avaliação | Assessment

Changed:
<
<
  • Duas provas de avaliação (mini-teste + teste) e exame de recurso. | 2 written exams
  • Avaliação contínua com base em problemas dados nas aulas TP. | Continuous assessment in the classroom
  • As provas escritas são de consulta de material impresso, apenas. | The exams are open-book
>
>
  • Duas provas escritas de avaliação (mini-teste + teste) e exame de recurso. | 2 written exams
<--  * Avaliação contínua com base em problemas dados nas aulas TP. | Continuous assessment in the classroom -->
  • As provas escritas são de consulta de material impresso. | The exams are open-book
 
  • O mini-teste é eliminatório de matéria para o teste e vale 50%. | The first exam amounts to 50% of the final mark



CSI 6 - 11 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 66 to 66
 
pg42842 Luís Marques MEI
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
Added:
>
>
a82400 Márcio Alexandre Mota Sousa MiEI
 
a85700 Pedro Miguel Araújo Costa MiEI
a84783 Pedro Miguel Borges Rodrigues MiEI
a86266 Rafael Inácio Lourenço MiEI
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
Changed:
<
<
pg42647 Valeriy Apostolyuk MEI
>
>
pg42647 Valeriy Apostolyuk MEI
 

CSI 5 - 11 Oct 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 45 to 45
 

Alunos | Students

Changed:
<
<
TBC
>
>
# Nome Curso
a83916 Ana João Dias de Almeida MiEI
a85516 António Manuel Carvalho Gonçalves MiEI
a82529 Carlos Manuel Marques Afonso MiEI
a34900 Cecília da Conceição de Oliveira Soares MiEI
a67683 César Eduardo da Silva Magalhães MiEI
pg41842 César Hugo Moreira da Silva MEI
a80970 Davide da Silva Matos MiEI
a76089 Etienne da Silva Filipe Amado da Costa MiEI
a85731 Gonçalo José Azevedo Esteves MiEI
a86617 Gonçalo Pinto Nogueira MiEI
pg42833 Henrique Manuel Sanches Pereira MEI
a81283 Hugo Filipe Oliveira de Sousa Faria MiEI
a85573 Jorge Gabriel Alves Cerqueira MiEI
a84776 José Emanuel Silva Rodrigues MiEI
pg42839 José Gonçalo Macedo Costa MEI
a84577 José Pedro Oliveira Silva MiEI
pg42840 Leandro Filipe Pereira Lima MEI
pg42842 Luís Marques MEI
a78566 Marcos Daniel Teixeira da Silva MiEI
a71407 Maurício Zulueta Lima Salgado MiEI
a85700 Pedro Miguel Araújo Costa MiEI
a84783 Pedro Miguel Borges Rodrigues MiEI
a86266 Rafael Inácio Lourenço MiEI
a75411 Ricardo Guerra Leal MiEI
a81716 Rodolfo António Vieira da Silva MiEI
a80789 Rui Filipe Brito Azevedo MiEI
pg42647 Valeriy Apostolyuk MEI
 

CSI 4 - 30 Sep 2020 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

Line: 10 to 10
 
  • Métodos formais e qualidade de software. Conceitos básicos: modelo, especificação, verificação e prova.
Changed:
<
<
  • As relações binárias polimórficas como linguagem de especificação formal universal. Setas e diagramas. Estudo do cálculo relacional 'pointfree'. Conexões de Galois. Polimorfismo paramátrico.
  • >
    >
  • As relações binárias polimórficas como linguagem de especificação formal universal. Setas e diagramas. Estudo do cálculo relacional 'pointfree'. Conexões de Galois. Polimorfismo paramétrico.
  •  
  • O papel das funções na taxonomia das relações binárias. Teorema grátis de uma função polimórfica.
  • Atributos e dependências funcionais. O modelo de dados 'pares valores-chave' construído com relações simples, emparelhamentos e coprodutos. Integridade referencial.
  • Preservação de invariantes e satisfação. Cálculo da precondição mais fraca 'wp (f, p)' para uma dada função 'f' e invariante 'p'. Relações (invariantes) como tipos.
  • Line: 60 to 60
     

    Bibliografia | Bibliography

    Changed:
    <
    <
    • J.N. Oliveira. Program Design by Calculation (, 1.9Mb), Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, if time permits). Os capítulos deste livro (em preparação, a versão actual é de Fev. 2019) essenciais para esta
    >
    >
    • J.N. Oliveira. Program Design by Calculation (, 1.9Mb), Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).
     

    Bibliografia adicional | Other bibliography


    CSI 3 - 30 Sep 2020 - Main.JoseNunoOliveira
    Line: 1 to 1
     
    META TOPICPARENT name="WebHome"
    Changed:
    <
    <

    Cálculo de Sistemas de Informação | Information Systems by Calculation

    >
    >

    Cálculo de Sistemas de Informação | Information Systems by Calculation (H507R1)

     

    Programa | Course syllabus

    Line: 41 to 39
     

    Horário | Timetable

    Docente Foto Horário Sala
    Changed:
    <
    <
    José Nuno Oliveira jno TBC TBC
    >
    >
    José Nuno Oliveira jno 5ª-feira, 13h-16h TBC
     

    CSI 2 - 29 Sep 2020 - Main.JoseNunoOliveira
    Line: 1 to 1
     
    META TOPICPARENT name="WebHome"

    Cálculo de Sistemas de Informação | Information Systems by Calculation

    Added:
    >
    >

    Programa | Course syllabus

    • Métodos formais e qualidade de software. Conceitos básicos: modelo, especificação, verificação e prova.
    • As relações binárias polimórficas como linguagem de especificação formal universal. Setas e diagramas. Estudo do cálculo relacional 'pointfree'. Conexões de Galois. Polimorfismo paramátrico.
    • O papel das funções na taxonomia das relações binárias. Teorema grátis de uma função polimórfica.
    • Atributos e dependências funcionais. O modelo de dados 'pares valores-chave' construído com relações simples, emparelhamentos e coprodutos. Integridade referencial.
    • Preservação de invariantes e satisfação. Cálculo da precondição mais fraca 'wp (f, p)' para uma dada função 'f' e invariante 'p'. Relações (invariantes) como tipos.
    • 'Design by contract' por cálculo apoiado por model-checking.
    • Breve estudo da interpretação abstracta. Funções invariantes. Simulação relacional. Propriedades de segurança e de animação. Redução do espaço de estados por interpretação abstrata.
    • Formal methods for software quality. Basic concepts: model, specification, verification and proof.
    • Polymorphically typed binary relations as a universal formal specification language. Arrows and diagrams. Binary relations in Alloy. Study of the pointfree relational calculus. Galois connections. Parametricity.
    • The role of functions in the taxonomy of binary relations. Relations as types, inc. data type invariants. Theorems for free.
    • Attributes and functional dependencies. Key-value-pair data model = relational simplicity + pairing + coproducts. Referential integrity.
    • Data type invariants: preservation and satisfiability. Calculation of weakest preconditions for invariant preservation.
    • 'Design by contract': combining model-checking with algebraic calculation. Refinement ordering on relations.
    • Brief study of abstract interpretation. Invariant functions. Relational simulation. Safety and liveness properties relationally. Reducing the state space by abstract interpretation.


    Horário | Timetable

    Docente Foto Horário Sala
    José Nuno Oliveira jno TBC TBC


    Alunos | Students

    TBC


    Regime de avaliação | Assessment

    • Duas provas de avaliação (mini-teste + teste) e exame de recurso. | 2 written exams
    • Avaliação contínua com base em problemas dados nas aulas TP. | Continuous assessment in the classroom
    • As provas escritas são de consulta de material impresso, apenas. | The exams are open-book
    • O mini-teste é eliminatório de matéria para o teste e vale 50%. | The first exam amounts to 50% of the final mark


    Bibliografia | Bibliography

    • J.N. Oliveira. Program Design by Calculation (, 1.9Mb), Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, if time permits). Os capítulos deste livro (em preparação, a versão actual é de Fev. 2019) essenciais para esta

    Bibliografia adicional | Other bibliography

    • C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)


    Ferramentas | Tools


    Material | Teaching material

    TBC


    Atendimento electrónico | FAQs

    TBC


    Links

    TBC

     -- JoseNunoOliveira - 28 Sep 2020

    CSI 1 - 28 Sep 2020 - Main.JoseNunoOliveira
    Line: 1 to 1
    Added:
    >
    >
    META TOPICPARENT name="WebHome"

    Cálculo de Sistemas de Informação | Information Systems by Calculation

    -- JoseNunoOliveira - 28 Sep 2020


    Revision 20r20 - 06 Dec 2020 - 19:51:47 - JoseNunoOliveira
    Revision 19r19 - 29 Nov 2020 - 15:57:38 - JoseNunoOliveira
    Revision 18r18 - 19 Nov 2020 - 18:57:18 - JoseNunoOliveira
    Revision 17r17 - 02 Nov 2020 - 10:32:59 - JoseNunoOliveira
    Revision 16r16 - 31 Oct 2020 - 08:08:32 - JoseNunoOliveira
    Revision 15r15 - 30 Oct 2020 - 08:39:33 - JoseNunoOliveira
    Revision 14r14 - 29 Oct 2020 - 17:41:19 - JoseNunoOliveira
    Revision 13r13 - 23 Oct 2020 - 07:29:26 - JoseNunoOliveira
    Revision 12r12 - 18 Oct 2020 - 18:28:15 - JoseNunoOliveira
    Revision 11r11 - 17 Oct 2020 - 09:00:33 - JoseNunoOliveira
    Revision 10r10 - 15 Oct 2020 - 16:37:56 - JoseNunoOliveira
    Revision 9r9 - 14 Oct 2020 - 18:28:11 - JoseNunoOliveira
    Revision 8r8 - 14 Oct 2020 - 16:19:25 - JoseNunoOliveira
    Revision 7r7 - 12 Oct 2020 - 11:18:05 - JoseNunoOliveira
    Revision 6r6 - 11 Oct 2020 - 21:23:02 - JoseNunoOliveira
    Revision 5r5 - 11 Oct 2020 - 11:26:17 - JoseNunoOliveira
    Revision 4r4 - 30 Sep 2020 - 19:13:39 - JoseNunoOliveira
    Revision 3r3 - 30 Sep 2020 - 10:33:41 - JoseNunoOliveira
    Revision 2r2 - 29 Sep 2020 - 17:20:26 - JoseNunoOliveira
    Revision 1r1 - 28 Sep 2020 - 08:24:29 - JoseNunoOliveira
    This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
    Syndicate this site RSSATOM