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
Specifications
10
Artificial intelligence
4
Automated approach
4
Computation theory
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Abstract reachability trees
2
Abstracting
2
Analytical theory
2
Atomic actions
2
Automata theory
2
Automatic approaches
2
Behavioral properties
2
Case studies
2
Computer software
2
Computer software reusability
2
Design
2
Distributed systems
2
Dynamic logics
2
Event-based system
2
Final states
2
Fixed-priority scheduling
2
Fluents
2
Formal languages
2
Formal methods
2
Formal verifications
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 -
7por Ferrer Fioriti, Luis María.Materias: “...Software engineering...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Ferrer Fioriti, Luis MaríaMaterias: “...Software engineering...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9
-
10Publicado 2015Materias: “...Software engineering...”
-
11por 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 -
12Materias: “...Software engineering...”
SER -
13
-
14Materias: “...Software engineering...”
CONF -
15Materias: “...Software engineering...”
-
16Materias: “...Software engineering...”
SER