Mostrando
1 - 14
Resultados de
14
Para Buscar '
De Caso, G.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
De Caso, G.
Mostrando
1 - 14
Resultados de
14
Para Buscar '
De Caso, G.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Behavioural validation of software engineering artefacts
por
De
Caso
,
G
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
2
Behavioural validation of software engineering artefacts
por
De
Caso
,
G
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
3
From primal infon logic with individual variables to datalog
por
Bjørner, N.
,
De
Caso
,
G
.
,
Gurevich, Y.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
4
Pest: From the lab to the classroom
por
De
Caso
,
G
.
,
Garbervetsky, D.
,
Gorín, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
5
Integrated program verification tools in education
por
De
Caso
,
G
.
,
Garbervetsky, D.
,
Gorín, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
6
Validation of contracts using enabledness preserving finite state abstractions
por
De
Caso
,
G
.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
7
Enabledness-based program abstractions for behavior validation
por
De
Caso
,
G
.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
8
Program abstractions for behaviour validation
por
De
Caso
,
G
.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
9
Automated abstractions for contract validation
por
De
Caso
,
G
.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
10
Abstractions for validation in action
por
De
Caso
,
G
.
,
Braberman, V.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
11
Contractor.NET: Inferring typestate properties to enrich code contracts
por
Zoppi, E.
,
Braberman, V.
,
De
Caso
,
G
.
,
Garbervetsky, D.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
12
A toolsuite for the verification of real-time systems in Eclipse
por
Cavatorta, L.
,
De
Caso
,
G
.
,
Ferrari, A.
,
Braberman, V.
,
Garbervetsky, D.
,
Kicillof, N.
,
Schapachnik, F.
,
Olivero, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
13
Testing and validating end user programmed calculated fields
por
Braberman, V.
,
Garbervetsky, D.
,
Godoy, J.
,
Uchitel, S.
,
De
Caso
,
G
.
,
Perez, I.
,
Perez, S.
,
Garci A.
,
Pasareanu C.S.
,
Leavens G.T.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
14
Supporting incremental behaviour model elaboration
por
Uchitel, S.
,
Alrajeh, D.
,
Ben-David, S.
,
Braberman, V.
,
Chechik, M.
,
De
Caso
,
G
.
,
D'Ippolito, N.
,
Fischbein, D.
,
Garbervetsky, D.
,
Kramer, J.
,
Russo, A.
,
Sibay, G.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Abstracting
Behaviour models
Computer software
Eclipse plug-in
Finite-state abstraction
Level of abstraction
Software engineering
Source codes
Specifications
Verification
Code understanding
Emergent behaviours
Enabledness abstractions
Finite model
Formal methods
Global representation
Global view
Industrial strength
Infinite state
Model checking
Modular reasoning
Novel techniques
Plug-ins
Protocol specifications
Software verification
Synthesis techniques
automated abstraction
behaviour models
code understanding
contract conformance
Cargando...