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.
Ciencias Informáticas
7
Verification
correctness properties
2
soundness
2
Compilers
1
Formal methods
1
Language models
1
Lenguajes de Programación
1
Model checking
1
Requirements/Specifications
1
Security
1
Software Quality Models
1
UML models
1
Validation
1
business process
1
domain specific language (DSL)
1
-
1
-
2
-
3
-
4
-
5
-
6por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
7