Resultados de Búsqueda por Autor

1

Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

por Aguirre, N.M
Publicado 2011

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Registro en Scopus

DOI

Handle

Registro en la Biblioteca Digital

Acta de conferencia Capítulo de libro

Agregar a favoritos

Guardado en:
2

Towards abstraction for DynAlloy specifications

por Aguirre, N.M
Publicado 2008

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Registro en Scopus

DOI

Handle

Registro en la Biblioteca Digital

Acta de conferencia Capítulo de libro

Agregar a favoritos

Guardado en:
3

A categorical approach to structuring and promoting Z specifications

por Castro, P.F., Aguirre, N., López Pombo, C.G., Maibaum, T.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
4

Evaluaci�on de la reacci�on en cadena de la polimerasa para el diagn�ostico de la brucelosis en un reba�no lechero infectado con Brucellaspp

por Lavaroni, O, Aguirre, N, Vanzini, V, Lugaresi, C, Torioni De Echaide, S
Publicado 2004

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Universitaria H. Wast (UFASTA)

Enlace del recurso

Artículo

Agregar a favoritos

Guardado en:
5

Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

por Aguirre, N.M., Bengolea, V.S., Frias, M.F., Galeotti, J.P.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
6

Categorical foundations for structured specifications in Z

por Castro, P.F., Aguirre, N., Pombo, C.L., Maibaum, T.S.E.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
7

The DynAlloy visualizer

por Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L., Aguirre N.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
8

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

por Rosner, N., Geldenhuys, J., Aguirre, N.M., Visser, W., Frias, M.F.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
9

A heterogeneous characterisation of component-based system design in a categorical setting

por Lopez Pombo, C.G., Castro, P.F., Aguirre, N., Maibaum, T.S.E.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
10

InVet. 2019, 21 (1): 17-26 SEROPREVALENCIA DE PARATUBERCULOSIS BOVINA EN...

por Abdala, A., Aguirre N., Luca, E., Storani, G., Storero, R., Torioni de Echaide, S.
Publicado 2019

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
11

DynAlloy: Upgrading alloy with actions

por Frias, M.F., Galeotti, J.P., Pombo, C.G.L., Aguirre, N.M.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
12

Interferencia de la Brucella Abortus Cepa 19 en el Diagnóstico de la Brucelosis por Inoculación Accidental mediante Jeringas Inadecuadamente Higienizadas

por Aguirre, N., Lugaresci, C., Mondino, M., Zenklussen, A., Vanzini, V., Torioni de Echaide, S.
Publicado 2009

Aportado por: Biblioteca Virtual - Publicaciones (UNL)

Enlace del recurso

Artículo revista

Agregar a favoritos

Guardado en:
13

Satisfiability calculus: The semantic counterpart of a proof calculus in general logics

por Lopez Pombo, C.G., Castro, P.F., Aguirre, N.M., Maibaum, T.S.E.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
14

Towards managing dynamic reconfiguration of software systems in a categorical setting

por Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
15

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
16

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
17

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
18

On verifying resource contracts using code contracts

por Castaño, R., Garbervetsky, D., Tapicer, J., Zoppi, E., Galeotti, J.P., Ribeiro L., Aguirre N.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
19

Bounded exhaustive test input generation from hybrid invariants

por Rosner, N., Bengolea, V., Ponzio, P., Khalek, S.A., Aguirre, N., Frias, M.F., Khurshid, S.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
20

Bounded exhaustive test input generation from hybrid invariants

por Rosner, N., Bengolea, V., Ponzio, P., Khalek, S.A., Aguirre, N., Frias, M.F., Khurshid, S.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en: