Métodos Formais de Programação II - 2003/4 | |
---|---|
[ DI/UM ] |
As notas finais (à data da época especial e após o encerramento da edição 2003/04 da disciplina) estão disponíveis em Classificações |
Equipa docente |
Ref. | Dia | Hora | Tipo | Sala | Cursos | Docente |
---|---|---|---|---|---|---|
1 | 2.ª feira | 9h00-11h00 | TP(1) | DI-3 | LMCC+LESI | J.N. Oliveira |
2 | 2.ª feira | 11h00-13h00 | TP(2) | DI-3 | LMCC | J.N. Oliveira |
3 | 4.ª feira | 11h00-13h00 | T | DI-A1 | LMCC+LESI | J.N. Oliveira |
Dia | Hora | Cursos | Docente |
---|---|---|---|
4.ª-feira | 13h00-14h00 | LMCC+LESI | J.N. Oliveira |
4.ª-feira | 16h00-18h00 | LMCC+LESI | J.N. Oliveira |
Exercícios de refinamento relacional dos modelos em direcção a SQL e breve apresentação de uma ferramenta em desenvolvimento em Laboratório de Métodos Formais para apoio a este processo.
Breve abordagem ao refinamento por identificação de classes em UML.
Timetable planning is a task carried out every year by DIUM secretary Ms. Paula Anjo using EXCEL worksheets. Maintaining these worksheets coherent with each other is becoming harder and harder as the numbers of lecturers, classrooms and courses increase. In this project we want to develop a VDMTOOLS © prototype of a «timetable server» able to coordinate all such worksheets. Once operational, the system should act as a demon checking every change in a worksheet for consistency with the others. This demands bi-directional communication between EXCEL and the VDMTOOLS © via the Java API of the latter and any API available for communicating with the former. In this respect, the following links can be inspected, among others:
The VDM spec should provide an abstract model of all the information contained in the worksheets. Particular attention should be paid to the datatype invariants capturing the overall data consistency. The server should also provide a «roll-back» facility so as to recover from any serious lack of consistency between the EXCEL-level and the underlying service, eg. unrecoverable change of format in a particular worksheet. In this case, the worksheet is re-populated with fresh data exported by the server. Of course, the converse «commit» mechanism should also be available. In this way, the EXCEL-layer acts as a «cash» of the data which is recorded in the server.
On the Excel-side, the design of an extra toolbar devoted to communicating with the server is welcome. MS office add-in programming facilities can be used for this purpose (search eg. for office add-ins in msdn.microsoft.com/library).
See the teaching material of this course for sample timetable files.
Grupos de trabalho que escolheram este tema:
Nr | Nome | Grupo | Oral |
---|---|---|---|
33223 | Ricardo Manuel Pereira Vilaça | 4 | (época especial) |
28142 | Artur Jorge Oliveira de Carvalho | 8 | ? |
28156 | Jorge Miguel Soares Lima | 8 | ? |
28168 | Maria João Fernandes Guerreiro da Silva | 8 | ? |
33699 | Filipe Manuel da Cruz Gonçalves | 10 | ? |
33718 | Luís Pedro Oliveira Machado | 10 | ? |
33732 | Rui Alexandre de Araújo da Silva | 10 | ? |
15881 | Magda Joana de Castro Pereira da Silva | 11 | ? |
30742 | Maria Elisabete Sousa Cunha | 11 | ? |
20213 | Noé Amorim da Rocha | 11 | ? |
12994 | Isabel Alexandra Dantas Alves de Araújo | 12 | ? |
17079 | António José da Lomba Rodrigues | 13 | (época especial) |
26334 | Catarina Jesus Lopes Ferreira | 2 | (época especial) |
23777 | Marlene de Jesus Camões Moura | 2 | (época especial) |
8342 | Jorge Manuel Afonso Freitas | 2 | (época especial) |
25371 | Luís Pedro Gonçalves Gomes | 14 | 29 Jul, 12h00 |
28179 | Raquel Maria Couto Pires | 14 | 29 Jul, 12h00 |
30743 | Maria Madalena Varzim Faria | 14 | 29 Jul, 12h00 |
Nr | Nome | Grupo | Oral |
---|---|---|---|
30693 | Adalberto Nuno da Silva Leite de Freitas | 7 | ? |
33683 | Andreia Martins dos Anjos Brízida | 7 | ? |
30707 | Catia Vilhena | 7 | ? |
Nr | Nome | Grupo | Oral |
---|---|---|---|
33677 | Alexandra Sofia Ferreira Mendes | 1 | (época especial) |
33704 | João Fernando Peixoto Ferreira | 1 | (época especial) |
33715 | José Miguel Paiva Proença | 1 | (época especial) |
Nr | Nome | Grupo | Oral |
---|---|---|---|
30700 | Ana Lúcia Linhares da Silva | 6 | ? |
33697 | Fábio Luís Brás Costa | 6 | ? |
33706 | João Marcelo Tavares Ribeiro | 6 | ? |
33719 | Maria Inês Mergulhão Pereira dos Santos | 6 | ? |
Nr | Nome | Grupo | Oral |
---|---|---|---|
28136 | Ana Luísa Pinto Teixeira | 5 | 29 Jul, 11h00 |
23179 | Fernanda Barroso dos Santos | 5 | 29 Jul, 11h00 |
Nr | Nome | Grupo | Oral |
---|---|---|---|
33708 | Jorge André Rodrigues da Silva Vitorino | 3 | ? |
34441 | Mário Hélder Ribeiro Macedo | 3 | ? |
33732 | Rui Alexandre de Araújo da Silva | 3 | ? |
28137 | Ana Patrícia Fidalgo Ferreira | 9 | ? |
28139 | Ângelo Miguel Lira de Moreira | 9 | ? |
28173 | Miguel Filipe Teixeira Carreira | 9 | ? |
Época | Chamada | Data | Hora | Salas | Inscritos | Prova |
---|---|---|---|---|---|---|
Normal | 1.ª | 4.ª-feira, 16 de Junho de 2004 | 09h30 | 2205, 2206 | 51 | |
Normal | 2.ª | Sábado, 3 de Julho 2004 | 09h30 | 2209 | 33 | |
Recurso | - | 4.ª-feira, 21 de Julho 2004 | 09h30 | 2204 | ... | |
Especial | - | Sábado, 11 de Setembro 2004 | 09h30 | ... | ... |
Voltar à página principal de MFP-II.