Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Computer aided software engineering
2
Data structures
2
Software engineering
2
Timed automata
2
Verification
2
Abstract reachability trees
1
Automata theory
1
Behavioral properties
1
Difference Bound Matrices
1
Eclipse plug-in
1
Formal languages
1
Hypervolume approximation
1
Knowledge engineering
1
LAPSUS
1
Large scale systems
1
Model checker
1
Modifiability
1
OBSSLICE
1
Property Specification
1
Quality attributes
1
Real time systems
1
Response patterns
1
Scenario-based languages
1
Software model checkers
1
Software model checking
1
Software verification
1
Specification languages
1
Specification patterns
1
Specifications
1
-
1por 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 -
2Materias: “...Computer aided software engineering...”
SER -
3Materias: “...Software engineering...”
CONF -
4por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF