Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [16/17]
View   r18  >  r17  >  r16  >  r15  >  r14  ...

LEI 18 - 07 Jun 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cohesive Project (Laboratório de Engenharia Informática)

Line: 53 to 53
 
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72873 Ana Filipa Rodrigues Gomes P ?
Deleted:
<
<
pg22842 Fátima Cristiana da Costa Conceição P MMC
 
pg31577 Isac Pereira Oliveira Meira P MEI conf
pg32996 Hugo Filipe da Silva Ribeiro P MEI

LEI 17 - 09 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cohesive Project (Laboratório de Engenharia Informática)

Line: 33 to 33
 
10h55 - BOSCH (PT) - J.A. Saraiva
11H15 - Break
12h00 - INTO-CPS (IR) - L. Couto
Changed:
<
<
12h20 - OU (NL) - Stef Joosten
>
>
12h20 - OU (NL) - Stef Joosten tinynew.gif (Slides)
 
12h40 - Closing

Milestones

Line: 63 to 63
 
META FILEATTACHMENT attachment="pdfpages.pdf" attr="h" comment="" date="1486632935" name="pdfpages.pdf" path="pdfpages.pdf" size="621123" stream="pdfpages.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="Alloy_for_ASML_machine_sequence_generation.pdf" attr="h" comment="" date="1486633824" name="Alloy_for_ASML_machine_sequence_generation.pdf" path="Alloy for ASML machine sequence generation.pdf" size="62230" stream="Alloy for ASML machine sequence generation.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Argument.pdf" attr="h" comment="" date="1486648505" name="Argument.pdf" path="Argument.pdf" size="3374964" stream="Argument.pdf" user="Main.JoseNunoOliveira" version="1"

LEI 16 - 09 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cohesive Project (Laboratório de Engenharia Informática)

Line: 21 to 21
 
INTO-CPS (IR) Luís Couto Verifying communication within FMI co-Simulations (INTO-CPS)
Bosch (PT) Francisco Duarte Formal specification and implementation of processes at BOSCH using Spreadsheets
Added:
>
>
Brochure of project themes: tinynew.gif PDF
 

Start-up Workshop

The start-up MFES workshop will take place on Feb 9th, between 10h-13h, with the following schedule:

10h00 - Welcome
Changed:
<
<
10h15 - ASML (NL) - André Passos
>
>
10h15 - ASML (NL) - André Passos tinynew.gif (Slides)
 
10h35 - ESA (NL) - Tiago Jorge
10h55 - BOSCH (PT) - J.A. Saraiva
11H15 - Break
Line: 58 to 60
  -- JoseNunoOliveira - 21 Jan 2017
Added:
>
>
META FILEATTACHMENT attachment="pdfpages.pdf" attr="h" comment="" date="1486632935" name="pdfpages.pdf" path="pdfpages.pdf" size="621123" stream="pdfpages.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="Alloy_for_ASML_machine_sequence_generation.pdf" attr="h" comment="" date="1486633824" name="Alloy_for_ASML_machine_sequence_generation.pdf" path="Alloy for ASML machine sequence generation.pdf" size="62230" stream="Alloy for ASML machine sequence generation.pdf" user="Main.JoseNunoOliveira" version="1"

LEI 15 - 07 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Cohesive Project (Laboratório de Engenharia Informática)

Added:
>
>
The main aim of this course unit (10 ECTS) is for students to engage in group work around a project proposed by industrial or R&D partners.

Students thus have the opportunity to apply the theoretical background of the other MFES modules to real problems, bridging their background with industry and research problems.

Groups will have an external adviser from the partner proposing their theme and a local tutor.

 Interesting and useful slides for preparing your milestone presentations:

Line: 12 to 18
 
ESA (NL) Tiago Jorge On-board software component interaction (OSCI)
ASML (NL) Andre Passos Alloy for ASML machine sequence generation
OU (NL) Stef Joosten Design of an argument assistance system for legal reasoning
Changed:
<
<
US UTRC - Ireland (IR) Luís Couto Verifying communication within FMI co-Simulations (INTO-CPS)
>
>
INTO-CPS (IR) Luís Couto Verifying communication within FMI co-Simulations (INTO-CPS)
 
Bosch (PT) Francisco Duarte Formal specification and implementation of processes at BOSCH using Spreadsheets

Start-up Workshop

Line: 21 to 27
 
10h00 - Welcome
10h15 - ASML (NL) - André Passos
Changed:
<
<
10h35 - OU (NL) - Stef Joosten
10h55 - ESA (NL) - Tiago Jorge
>
>
10h35 - ESA (NL) - Tiago Jorge
10h55 - BOSCH (PT) - J.A. Saraiva
 
11H15 - Break
Changed:
<
<
11h40 - BOSCH (J.A. Saraiva)
12h00 - INTO-CPS (L. Couto)
12h20 - Closing
>
>
12h00 - INTO-CPS (IR) - L. Couto
12h20 - OU (NL) - Stef Joosten
12h40 - Closing

Milestones

Dates TBA

 

Students of the MFES specialization

Changed:
<
<
(List to be checked.)
>
>
(List to be confirmed.)
 
a64287 David António Cardoso Moreira P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
Line: 44 to 55
 
pg31577 Isac Pereira Oliveira Meira P MEI conf
pg32996 Hugo Filipe da Silva Ribeiro P MEI
Added:
>
>
 -- JoseNunoOliveira - 21 Jan 2017
Added:
>
>

LEI 14 - 07 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<

Laboratório de Engenharia Informática (Cohesive Project)

>
>

Cohesive Project (Laboratório de Engenharia Informática)

 Interesting and useful slides for preparing your milestone presentations:
Line: 8 to 8
 

List of Projects

Deleted:
<
<
(Under update, details to be given shortly)
 
Company / Institution Proponent Project themes
Changed:
<
<
ESA (NL) Tiago Jorge On-board Software Component Interaction (OSCI)
>
>
ESA (NL) Tiago Jorge On-board software component interaction (OSCI)
 
ASML (NL) Andre Passos Alloy for ASML machine sequence generation
Changed:
<
<
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
US UTRC - Ireland (IR) Luís Couto Verifying Communication within FMI Co-Simulations (INTO-CPS)
Bosch (PT) Francisco Duarte Especificação e Implementação de Processos Baseados em Folhas de Cálculo
>
>
OU (NL) Stef Joosten Design of an argument assistance system for legal reasoning
US UTRC - Ireland (IR) Luís Couto Verifying communication within FMI co-Simulations (INTO-CPS)
Bosch (PT) Francisco Duarte Formal specification and implementation of processes at BOSCH using Spreadsheets
 

Start-up Workshop

Changed:
<
<
TBA on the week 30-Jan - 3 Feb .
>
>
The start-up MFES workshop will take place on Feb 9th, between 10h-13h, with the following schedule:

10h00 - Welcome
10h15 - ASML (NL) - André Passos
10h35 - OU (NL) - Stef Joosten
10h55 - ESA (NL) - Tiago Jorge
11H15 - Break
11h40 - BOSCH (J.A. Saraiva)
12h00 - INTO-CPS (L. Couto)
12h20 - Closing
 

Students of the MFES specialization


LEI 13 - 01 Feb 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 12 to 12
 
Company / Institution Proponent Project themes
ESA (NL) Tiago Jorge On-board Software Component Interaction (OSCI)
Changed:
<
<
ASML (NL) Andre Passos 1 theme TBA
>
>
ASML (NL) Andre Passos Alloy for ASML machine sequence generation
 
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
US UTRC - Ireland (IR) Luís Couto Verifying Communication within FMI Co-Simulations (INTO-CPS)
Changed:
<
<
Bosch (PT) Francisco Duarte TBA
>
>
Bosch (PT) Francisco Duarte Especificação e Implementação de Processos Baseados em Folhas de Cálculo
 

Start-up Workshop


LEI 12 - 28 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 14 to 14
 
ESA (NL) Tiago Jorge On-board Software Component Interaction (OSCI)
ASML (NL) Andre Passos 1 theme TBA
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
Changed:
<
<
US UTRC - Ireland (IR) Luís Couto Verifying Communication within FMI Co-Simulations
>
>
US UTRC - Ireland (IR) Luís Couto Verifying Communication within FMI Co-Simulations (INTO-CPS)
 
Bosch (PT) Francisco Duarte TBA

Start-up Workshop


LEI 11 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 14 to 14
 
ESA (NL) Tiago Jorge On-board Software Component Interaction (OSCI)
ASML (NL) Andre Passos 1 theme TBA
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
Changed:
<
<
US UTRC - Ireland Luís Couto Verifying Communication within FMI Co-Simulations
Bosch Francisco Duarte TBA
>
>
US UTRC - Ireland (IR) Luís Couto Verifying Communication within FMI Co-Simulations
Bosch (PT) Francisco Duarte TBA
 

Start-up Workshop

Line: 29 to 29
 
a70441 Mário Jorge Viana Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
Changed:
<
<
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
>
>
a72204 José Paulo Queiroga Amorim Fernandes P MiEI conf
 
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72873 Ana Filipa Rodrigues Gomes P ?
pg22842 Fátima Cristiana da Costa Conceição P MMC
Changed:
<
<
pg31577 Isac Pereira Oliveira Meira P MEI
>
>
pg31577 Isac Pereira Oliveira Meira P MEI conf
 
pg32996 Hugo Filipe da Silva Ribeiro P MEI
Deleted:
<
<
 -- JoseNunoOliveira - 21 Jan 2017 \ No newline at end of file

LEI 10 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 15 to 15
 
ASML (NL) Andre Passos 1 theme TBA
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
US UTRC - Ireland Luís Couto Verifying Communication within FMI Co-Simulations
Changed:
<
<
Bosch TBA TBA
>
>
Bosch Francisco Duarte TBA
 

Start-up Workshop


LEI 9 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 15 to 15
 
ASML (NL) Andre Passos 1 theme TBA
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
US UTRC - Ireland Luís Couto Verifying Communication within FMI Co-Simulations
Changed:
<
<
Bosh TBA TBA
>
>
Bosch TBA TBA
 

Start-up Workshop


LEI 8 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 11 to 11
 (Under update, details to be given shortly)

Company / Institution Proponent Project themes
Changed:
<
<
ESA (NL) Tiago Jorge 1 theme TBA
>
>
ESA (NL) Tiago Jorge On-board Software Component Interaction (OSCI)
 
ASML (NL) Andre Passos 1 theme TBA
Changed:
<
<
OUNL Stef Joosten Design of an Argument Assistance system for Legal reasoning
>
>
OU (NL) Stef Joosten Design of an Argument Assistance system for Legal reasoning
 
US UTRC - Ireland Luís Couto Verifying Communication within FMI Co-Simulations
Added:
>
>
Bosh TBA TBA
 

Start-up Workshop


LEI 7 - 27 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 14 to 14
 
ESA (NL) Tiago Jorge 1 theme TBA
ASML (NL) Andre Passos 1 theme TBA
OUNL Stef Joosten Design of an Argument Assistance system for Legal reasoning
Changed:
<
<
US UTRC - Ireland Luís Couto 1 theme TBA
>
>
US UTRC - Ireland Luís Couto Verifying Communication within FMI Co-Simulations
 

Start-up Workshop


LEI 6 - 26 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 28 to 28
 
a70441 Mário Jorge Viana Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
Deleted:
<
<
a71835 Tiago Filipe Oliveira Sá P ?
 
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI

LEI 5 - 26 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 26 to 26
 
a64287 David António Cardoso Moreira P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
Deleted:
<
<
a67709 Sandra Isabel Lopes Ferreira P MiEI
 
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
a71835 Tiago Filipe Oliveira Sá P ?

LEI 4 - 26 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 25 to 25
 (List to be checked.)

a64287 David António Cardoso Moreira P MiEI
Added:
>
>
a70441 Mário Jorge Viana Ferreira P MiEI
 
a67709 Sandra Isabel Lopes Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI

LEI 3 - 25 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 6 to 6
 
Added:
>
>

List of Projects

(Under update, details to be given shortly)

Company / Institution Proponent Project themes
ESA (NL) Tiago Jorge 1 theme TBA
ASML (NL) Andre Passos 1 theme TBA
OUNL Stef Joosten Design of an Argument Assistance system for Legal reasoning
US UTRC - Ireland Luís Couto 1 theme TBA
 

Start-up Workshop

Changed:
<
<
TBA.
>
>
TBA on the week 30-Jan - 3 Feb .
 

Students of the MFES specialization


LEI 2 - 21 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Line: 12 to 12
 

Students of the MFES specialization

Changed:
<
<
João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI G2 a70058
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI G3 A72227
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5 pg32996
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI G8 pg31577
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC   pg22842
Sandra Isabel Lopes Ferreira P a67709 MiEI   a67709

<-- | Ana Filipa Rodrigues Gomes | P | a72873 | ? | !-->
<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
<-- | Tiago Filipe Oliveira Sá | P | a71835 | ? | !-->
>
>
(List to be checked.)
 
Added:
>
>
a64287 David António Cardoso Moreira P MiEI
a67709 Sandra Isabel Lopes Ferreira P MiEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI
a71835 Tiago Filipe Oliveira Sá P ?
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72873 Ana Filipa Rodrigues Gomes P ?
pg22842 Fátima Cristiana da Costa Conceição P MMC
pg31577 Isac Pereira Oliveira Meira P MEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
 

-- JoseNunoOliveira - 21 Jan 2017


LEI 1 - 21 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Laboratório de Engenharia Informática (Cohesive Project)

Interesting and useful slides for preparing your milestone presentations:

Start-up Workshop

TBA.

Students of the MFES specialization

João Bernardo Machado Quintas Dias da Costa
<-- 14.81 !-->
P
a70430 MiEI G1 A70430
Rafael Alexandre Antunes Barbosa
<-- 15.69 !-->
P
a71580 MiEI G1 A71580
David António Cardoso Moreira
<-- 9.28 !-->
P
a64287 MiEI G2 a70058
Diogo Filipe da Silva Vilaça
<-- 14.36 !-->
P
a72227 MiEI G3 A72227
José Nuno Castro de Macedo
<-- 15.72 !-->
P
a72424 MiEI G3 A72424
Hugo Filipe da Silva Ribeiro
<-- - !-->
P
pg32996 MEI G5 pg32996
Isac Pereira Oliveira Meira
<-- 13.00 !-->
P
pg31577 MEI G8 pg31577
José Paulo Queiroga Amorim Fernandes
<-- 10.89 !-->
P
a72204 MiEI G6 a72204
Fátima Cristiana da Costa Conceição
<-- - !-->
P
pg22842 MMC   pg22842
Sandra Isabel Lopes Ferreira P a67709 MiEI   a67709

<-- | Ana Filipa Rodrigues Gomes | P | a72873 | ? | !-->
<-- | Carlos Manuel da Silva Castro | P | pg33399 | MMC | desistiu !-->
<-- | Guadalupe Costa | P | pg32825 | MMC | desistiu !-->
<-- | Tiago Filipe Oliveira Sá | P | a71835 | ? | !-->

-- JoseNunoOliveira - 21 Jan 2017


Revision 18r18 - 07 Jun 2017 - 13:50:15 - JoseNunoOliveira
Revision 17r17 - 09 Feb 2017 - 13:55:06 - JoseNunoOliveira
Revision 16r16 - 09 Feb 2017 - 09:50:49 - JoseNunoOliveira
Revision 15r15 - 07 Feb 2017 - 12:54:19 - JoseNunoOliveira
Revision 14r14 - 07 Feb 2017 - 10:52:01 - JoseNunoOliveira
Revision 13r13 - 01 Feb 2017 - 20:27:49 - JoseNunoOliveira
Revision 12r12 - 28 Jan 2017 - 16:02:17 - JoseNunoOliveira
Revision 11r11 - 27 Jan 2017 - 20:13:56 - JoseNunoOliveira
Revision 10r10 - 27 Jan 2017 - 18:26:05 - JoseNunoOliveira
Revision 9r9 - 27 Jan 2017 - 17:06:15 - JoseNunoOliveira
Revision 8r8 - 27 Jan 2017 - 15:28:54 - JoseNunoOliveira
Revision 7r7 - 27 Jan 2017 - 12:21:22 - JoseNunoOliveira
Revision 6r6 - 26 Jan 2017 - 17:10:44 - JoseNunoOliveira
Revision 5r5 - 26 Jan 2017 - 15:57:12 - JoseNunoOliveira
Revision 4r4 - 26 Jan 2017 - 14:00:58 - JoseNunoOliveira
Revision 3r3 - 25 Jan 2017 - 19:57:08 - JoseNunoOliveira
Revision 2r2 - 21 Jan 2017 - 18:24:49 - JoseNunoOliveira
Revision 1r1 - 21 Jan 2017 - 17:22:56 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM