NCE/19/1900123 Decisão de apresentação de pronúncia - Novo ciclo de estudos
NCE/19/1900123 Decisão de apresentação
de pronúncia - Novo ciclo de estudos
Decisão de Apresentação de Pronúncia ao Relatório da
Comissão de Avaliação Externa
1. Tendo recebido o Relatório de Avaliação/Acreditação elaborado pela Comissão de Avaliação
Externa relativamente ao novo ciclo de estudos
Engenharia de Sistemas Computacionais
Críticos
2. conferente do grau de
Mestre
3. a ser lecionado na(s) Unidade(s) Orgânica(s) (faculdade, escola, instituto, etc.)
Instituto Superior De Engenharia Do Porto
4. a(s) Instituição(ões) de Ensino Superior
Instituto Politécnico Do Porto
5. decide:
Apresentar pronúncia
6. Pronúncia (Português):
ver documento anexo
7. Pronúncia (Português e Inglês, PDF, máx. 150kB): (impresso na página seguinte)
I
n
tro
du
ç
ã
o
A nte s de mais que re mos agrade ce r o trab alho re alizado pe la C omissão de A valiação Exte rna.
Re lativame nte às condiçõe s a cumprir de ime diato (ponto 13.4 do Re latório P re liminar), foi lapso nosso não incluir os nome s das U C s e m português, e que e le ncamos ab aixo. Re tificamos a U C “The sis” de acordo com a
re come ndação e atualizamos a b ib liografia (4.4.9) das U C s que tinham re fe rências mais antigas.
A prove itamos e sta ocasião tamb ém para corrigir algumas das outras pe que nas que stõe s de e dição das FU C que foram listadas no Re latório P re liminar.
4
.
3
P l
a
n
o
de e st
u
do
s
R
a
m
o
Ú n
i
co
-
4
º
S e m
e st
re
4.3.3 O nde e stá/W he re it is: “O T – 64” de ve ria e star/it should b e : “O T - 60"4
.
4
.
U n
i
da
de s C u
rri
cu
l
a
re s
1
º
S e m
e st
re
R
e q
u
i
re m
e n
ts a
n
d M o
de l
-
dri
v
e n
En
gi
n
e e ri
n
g (
R
A M D E)
UC e m P ortuguês: Enge nharia O rientada a Re quisitos e M odelos 4.4.9 – atualizar para / update to:P atrice M icouin, “M ode l B ase d S yste ms Engine e ring: Fundame ntals and M e thods”, W ile y-IS TE, 2014 John M . B orky and Thomas H . B radle y, “Effe ctive M ode l-B ase d S yste ms Engine e ring”, S pringe r, 2019 Je re my D ick, Elizab e th H ull, and Ke n Jackson, “Re quire me nts Engine e ring - 4th e dition”, S pringe r, 2017
Edmund C larke , Thomas H e nzinge r, H e lmut V e ith, and Rode rick B loe m, “H andb ook of M ode l C he cking”, S pringe r, 2018
H ille l W ayne , “P ractical TL A + : P lanning D rive n D e ve lopme nt”, A pre ss, 2018
A le xandre D avid, Kim L arse n, A xe l L e gay, M arius M ikučionis, D anny P oulse n, “U ppaal S M C Tutorial,”, Inte rnational Journal on S oftware Tools for Te chnology Transfe r (S TTT), January 2015, V olume 17, Issue 4, pp 397-415. S pringe r B e rlin H e ide lb e rg.
R
e a
l
-
ti
m
e &
Em
b e dde d S y
ste m
s (
R
TA ES )
UC e m P ortuguês: S iste mas Emb e b idos e Tempo-Re al 4.4.7 Re move r o ponto 3: “3. A s aulas de O rie ntação Tutorial (O T) […]” Re move 3rd paragraph: “Tutorial […] classe s.” 4.4.8 Re move r o ponto 3: “3 - A s aulas O Ts […] todos os C O s.” Re move 3rd paragraph: “Tutorial classe s […] C os”
C o
m
m
u
n
i
ca
t
i
o
n
Te ch
n
o
l
o
gi
e s f
o
r C ri
t
i
ca
l
S y
ste m
s (
C O M C S )
UC e m P ortuguês: Te cnologias de C omunicação para S istemas C ríticos 4.4.9 – atualizar para / update to:
Ke -L in D u, M . N . S . S wamy, “W ire le ss C ommunication S yste ms: From RF S ub syste ms to 4G Enab ling Te chnologie s”. C amb ridge U nive rsity P re ss, 2010 Trse k, H e nning. “Isochronous W ire le ss N e twork for Re al-time C ommunication in Industrial A utomation”. S pringe r, 2016. Rappaport, The odore S . " W ire le ss communications: principle s and practice . 2nd e dition" U ppe r S addle Rive r, N .J.: P re ntice H all P TR, 2002 4.4.7 Re move r o ponto 3: “3. A s aulas de […] Ts e as P L s” Re move 3rd paragraph: “Tutorial classe s […].” 4.4.8 Re move r o 3º parágrafo: “A ulas TP […]” Re move 3rd paragraph: “Tutorial classe s […]”.
C ri
ti
ca
l
C o
m
p
u
t
e r S y
ste m
s A rch
i
t
e ctu
re s (
C C S Y
A )
UC e m P ortuguês: A rquite turas de S iste mas C ríticos de C omputadore s 4.4.7
S ub stituir todos os “Trab alhos” para “Trab alho” Re place all “A ssignme nts” to “A ssignme nt”
C ri
ti
ca
l
S y
ste m
s L a
b (
C S L A B )
UC e m P ortuguês: L ab oratório de S iste mas C ríticos 4.4.5
S ub stituir todos os “Re visão” para “Re visão e aplicação” Re place all “Re vie w” to “Re vie w and apply” 4.4.7 O nde e stá “M in: 8,0/20” de ve ria e star “M in C P 1, C P 2: 8,0/20” W he re it is “M in: 8,0/20” should b e “M in C P 1, C P 2: 8,0/20”
2
º
S e m
e st
re
Fo
rm
a
l
V e ri
f
i
ca
t
i
o
n
o
f
C ri
ti
ca
l
A p
p
l
i
ca
ti
o
n
s (
FV O C A )
UC e m P ortuguês: V e rificação Formal de A plicaçõe s C ríticas 4.4.9 – atualizar para / update to: Je an H . Gallie r, “L ogic for C ompute r S cie nce : Foundations of A utomatic The ore m P roving, S e cond Edition”, D ove r P ub lications, , 2015 B e njamin P ie rce , at al., “S oftware Foundations”, availab le online : https://software foundations.cis.upe nn.e du/, 2019
Edmund C larke , O rna Grumb e rg, D anie l Kroe ning, D oron P e le d, and H e lmut V e ith, “M ode l C he cking, 2nd e dition”, The M IT P re ss, 2018
R
e a
l
-
Ti
m
e O p
e ra
t
i
n
g S y
st
e m
s P ro
gra
m
m
i
n
g (
R
TO S P )
UC e m P ortuguês: P rogramação de S iste mas O perativos Te mpo-Re al 4.4.9 – atualizar para / update to:
John M adie u, "L inux D e vice D rive rs D e ve lopme nt: D e ve lop customize d drive rs for e mb e dde d L inux", P ackt P ub lishing, 2017
Kaiwan N B illimoria, "H ands-O n S yste m P rogramming with L inux", P ackt P ub lishing, 2018
Rob e rt L ove , " L inux S yste m P rogramming, 2nd Edition,Talking D ire ctly to the Ke rne l and C L ib rary", O 'Re illy, 2013 Rami Rose n, "L inux Ke rne l N e tworking: Imple me ntation and The ory", A pre ss, 2014
S y
ste m
s o
f
S y
st
e m
s (
S Y
O S Y
)
UC e m P ortuguês: S iste mas de S iste mas
P ro
j
e ct M a
n
a
ge m
e n
t
a
n
d D e v
e l
o
p
m
e n
t
(
P M D EV )
UC e m P ortuguês: D e se nvolvime nto e Ge stão de P roje toI
n
du
stry
-
D ri
v
e n
U se C a
se En
gi
n
e e ri
n
g (
I
D U C E)
UC e m P ortuguês: Enge nharia de C asos de U so Focados na Indústria 4.4.9 – atualizar para / update to: L ukas M athis, "D e signe d for use ", O 'Re illy, 2011 Je ff Gothe lf, Josh S e ide n, "L e an U X: D e signing Gre at P roducts with A gile Te ams - 2nd e dition", O 'Re illy, 2016
3
º
S e m
e st
re
A dv
a
n
ce d P ro
gra
m
m
i
n
g P a
ra
di
gm
s (
A P R
O P )
UC e m P ortuguês: P aradigmas A vançados de P rogramação
D e p
e n
da
b i
l
i
t
y
a
n
d C y
b e rse cu
ri
t
y
(
D A C Y
S )
UC e m P ortuguês: C onfiab ilidade e S e gurança C ib e rnéticaI
n
t
e l
l
i
ge n
t
,
A u
to
n
o
m
o
u
s,
C o
o
p
e ra
t
i
v
e S y
st
e m
s (
I
A C O S )
UC e m P ortuguês: S iste mas C oope rativos, A utónomos e Inte lige nte s 4.4.9 – atualizar para / update to: N e il W ilkins, “A rtificial Inte llige nce - The U ltimate Guide to A I, The Inte rne t of Things, M achine L e arning, D e e p L e arning + a C ompre he nsive Guide to Rob otics”, B rave x P ub lications, 2020A ndre w J. Kurdila, P inhas B e n-Tzvi, “D ynamics and C ontrol of Rob otic S yste ms”, W ile y, 2019 Jite ndra R. Raol, A jith K. Gopal, “M ob ile Inte llige nt A utonomous S yste ms”, C RC P re ss, 2019.
Edite d b y O le g S e rgiye nko , W e ndy Flore s-Fue nte s , P aolo M e rcore lli, “M achine V ision and N avigation”, S pringe r, 2020.
Richard S ze liski, “C ompute r V ision: A lgorithms and A pplications”, S pringe r, 2010. B runo S iciliano, O ussama Khatib , “H andb ook of Rob otics”, S pringe r, 2008.
A p
p
l
i
ca
t
i
o
n
S ce n
a
ri
o
s a
n
d C a
se S t
u
di
e s (
A S A C S )
UC e m P ortuguês: C e nários de A plicação e C asos de Estudo
Th
e si
s R
e se a
rch
P l
a
n
D e v
e l
o
p
m
e n
t
(
TR
P D E)
4.4.9 – atualizar para / update to: S hanti B hushan M ishra, S hashi A lok, “H andb ook of Re se arch M e thodology", Educre ation, 2017 W ayne C . B ooth, Gre gory G. C olomb , Jose ph M. W illiams, Jose ph B izup, W illiam T. FitzGe rald. "The C raft of Re se arch, Fourth Edition", U nive rsity of C hicago P re ss, 2016 John W . C re swe ll, J. D avid C re swe ll. “Re se arch D e sign: Q ualitative , Q uantitative , and M ixe d M e thods A pproache s, 5th Edition,”, S A GE P ub lications, Inc; 2018
4
º
S e m
e st
re
P ro
j
e ct/
Th
e si
s/
I
n
t
e rn
sh
i
p
(
TM EC S )
Update title of curricular unit as ab ove . UC e m P ortuguês: P roje to/D isse rtação/Estágio 4.4.1.7Atualizar para: “D e senvolvime nto de um proje to de inve stigação re sultando na e scrita de um re latório ou te se , sob a supe rvisão do(s) orie ntador(e s).”
Update to: “D e ve lopme nt of a re se arch proje ct re sulting in a the sis or re port, unde r guidance of the supe rvisor(s)” 4.4.4
P rime iro parágrafo onde e stá: “te se de me strado” de ve ria e star: “te se de me strado, re latório de e stágio ou re latório de proje to”
Q uinto parágrafo onde e stá: “docume nto da te se ” de ve ria e star: “documento”
First paragraph, whe re is: “M S c the sis i” it should b e : “M S c the sis, proje ct re port or inte rnship re port” Fifth paragraph, whe re is: “the sis docume nt" it should b e : “docume nt”
4.4.5
P rime iro parágrafo, onde e stá: “orie ntador da tese ” de ve ria e star: “orie ntador(e s) do aluno”
S e gundo parágrafo, onde e stá: “a te se individual se rá re digida e re vista” de ve ria e star: “o docume nto final se rá re digido e re visto”
P arágrafo final, onde e stá: “S e um conjunto […] de fe sa púb lica” de ve ria e star: “U m júri é constituído por 3 a 5 e le me ntos e é nome ado pe lo órgão le gal e e statutariame nte compe tente . O júri é responsáve l por ace itar ou não o docume nto numa prime ira fase e , se ace ite , avaliar o trab alho do aluno numa prova púb lica.” First paragraph, whe re is: “the the sis advisor(s)” it should b e : “the stude nt advisor(s)” S e cond paragraph, whe re is: “individual the sis” it should b e : “individual docume nt” Final paragraph, whe re is: “O nce […] will take place .” it should b e : “A jury of 3 to 5 e le me nts will b e appointe d b y the le gally and statutory compe te nt b ody. The jury is re sponsib le for acce pting, or not, the docume nt in a first phase and, if acce pte d, e valuating the stude nt's work in a pub lic e xam.” 4.4.6 O nde e stá: “orie ntador da te se ” de ve ria e star: “orie ntador(e s)” W he re is: “the sis advisor(s)” it should b e : “advisor(s)” 4.4.7
O nde e stá: “disse rtação / proje to” de ve ria e star: “disse rtação/e stágio/proje to” Re move r: “da te se ”
W he re is: “disse rtation/proje ct” it should b e : “disse rtation/proje ct/inte rnship” Re move : “The sis”
4.4.8
Atualizar para: “A orie ntação do(s) supe rvisor(e s) garantirá que o aluno atinja o C O 4 com suce sso. P ara que isso aconte ça, o proce sso de pre paração do docume nto contrib uirá para alcançar os re sultados de apre ndizage m C O 1 a C O 3.” Update to: “The guidance of the supe rvisor(s) will e nsure that stude nt will succe ssfully achie ve C O 4, and for that to happe n, the proce ss of docume nt pre paration will contrib ute to re aching le arning outcome s C O 1 to C O 3.” 4.4.9 – atualizar para / update to: D e acordo com as re come ndaçõe s do(s) supe rvisor(s) e o tópico e spe cífico das ne ce ssidade s de pe squisa e re dação do docume nto. In accordance with the S upe rvisor(s) re comme ndations and the spe cific topic of the re se arch and docume nt writing ne e ds.