Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Automata theory
2
Computer aided software engineering
2
Data structures
2
Software engineering
2
Timed automata
2
Verification
2
Analytical theory
1
Automatic approaches
1
Behavioral properties
1
Design
1
Difference Bound Matrices
1
Distributed systems
1
Eclipse plug-in
1
Fixed-priority scheduling
1
Formal languages
1
Formal verifications
1
Hypervolume approximation
1
Knowledge engineering
1
LAPSUS
1
Large scale systems
1
Model checking tools
1
Modifiability
1
OBSSLICE
1
Property Specification
1
Quality attributes
1
Real time systems
1
Response patterns
1
Scenario-based languages
1
Scheduling
1
-
1Materias: “...Computer aided software engineering...”
-
2
-
3
-
4por 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