Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Lista de

$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-

Software intensive systems

"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22