Especificação e Desenvolvimento Formal de 'Software' - 1998/99 | |
---|---|
[ DI/UM ] |
Ver classificações da disciplina (à data da ) na secção Notas Finais.
Dia Hora Tipo Sala Cursos Docente 5.ª-feira 15h00-17h00 T 0.02 MI/CEI J.N. Oliveira
Dia Hora Cursos Docente 5.ª-feira 17h00-18h00 MI/CEI J.N. Oliveira
1.a Aula (15/10):
Topics: . A formal software development "lifecycle"
. SOUR -- a case study on FM industrial applicaton
. Program calculation - an overview
2.a Aula (22/10):
Topics: . The notation and its background
. Primitive and derived data structuring constructs
. An introduction to recursive data structuring
3.a Aula (29/10):
Topics: . (Recursive) datatypes are functors
. Repertoire of implicit, universal and functorial operators
. Polymorphism as natural transformation
4.a Aula (5/11):
Topics: . Introduction to Set-based reasoning
. The isomorphism subcalculus
. Examples of application
5.a Aula (12/11):
Topics: . Recursive specification revisited
. The role of functors. Catamorphisms and hylomorphisms
6.a Aula (19/11):
Topics: . Introduction to the data redundancy subcalculus
. A refinement target: the relational database model
7.a Aula (26/11):
Topics: . Structural abstraction invariant synthesis
. Examples: linked-lists, a toy bank-account system and a toy
production database.
8.a Aula ( 3/12):
Topics: . Recursive Data Model Reification in SETS
Recursive Data Model Reification - Examples of Application
9.a Aula (10/12):
Topics: . Introduction to hierachical functorial data modelling
. Coping with 'In loco' Datatype Invariants in SETS
. The Hash Table Case Study
10.a Aula (17/12):
Topics: . Operation Refinement: Merging SETS with other Calculi
. Program Synthesis by Solving "Reification Diagrams"
11.a Aula ( 7/01):
Topics: . Reification of selective update operators
. CAMILA bams.cam reification laboratory demo.
. The CAMILA EdiSpec Demo: from language definition as a
recursive specification exercise to an interactive system.
12.a Aula (14/01):
Topics: . Operation Refinement: the "find" operation and
its generalization to monoidal hylomorphisms
. Recursion removal: the linear monadic scheme.
. Operation refinement taking local invariants into account.
13.a Aula (suplementar):
Topics: . Operation Refinement (conclusion): the PPD "explode" operation
. CAMILA ppd reification laboratory demo.
. Pragmatics of SETS: Impact on Relational Database Design
. Presentation of the CAMILA Toolkit
. Current Research
. Final Remarks
|