Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Software engineering
16
Specifications
10
Artificial intelligence
4
Automata theory
4
Automated approach
4
Computation theory
4
Computer aided software engineering
4
Data structures
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Timed automata
4
Verification
4
Abstract reachability trees
2
Abstracting
2
Analytical theory
2
Atomic actions
2
Automatic approaches
2
Behavioral properties
2
Case studies
2
Computer software
2
Computer software reusability
2
Design
2
Difference Bound Matrices
2
Distributed systems
2
Dynamic logics
2
Eclipse plug-in
2
Event-based system
2
-
1Publicado 2012Materias: “...Software engineering...”
-
2Materias: “...Software engineering...”
Artículo publishedVersion -
3Materias: “...Software engineering...”
Artículo publishedVersion -
4Materias: “...Software engineering...”
SER -
5Publicado 2017Materias: “...Software engineering...”
-
6por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software engineering...”
CONF -
7Materias: “...Computer aided software engineering...”
-
8por Ferrer Fioriti, Luis María.Materias: “...Software engineering...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Ferrer Fioriti, Luis MaríaMaterias: “...Software engineering...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10Materias: “...Computer aided software engineering...”
SER -
11
-
12Publicado 2015Materias: “...Software engineering...”
-
13por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Software engineering...”
CONF -
14Materias: “...Software engineering...”
SER -
15
-
16Materias: “...Software engineering...”
CONF -
17por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Computer aided software engineering...”
Publicado 2006
-
18por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF -
19Materias: “...Software engineering...”
-
20Materias: “...Software engineering...”
SER