Resultados de Búsqueda por Autor

1

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

2

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

3

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

4

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

5

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

Aportado por: Biblioteca Universitaria H. Wast (UFASTA)

Enlace del recurso

Artículo

6

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

7

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

8

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

9

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

10

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

11

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

12

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

Artículo publishedVersion

13

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

14

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

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: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Artículo publishedVersion

16

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

17

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

18

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

19

Estatus de la Brucelosis Bovina en Establecimientos Productores de Leche de los Departamentos Castellanos y Las Colonias, Provincia de Santa Fe

por Vanzini, V., Aguirre, N., Torioni, S., Canal, A., Gramaglia, J., Guglielmone, A., Sodiro, A., Bergamasco, M.
Publicado 2005

Aportado por: Biblioteca Virtual - Publicaciones (UNL)

Enlace del recurso

Artículo revista

20

Towards abstraction for DynAlloy specifications

por Aguirre, N.M., Frias, M.F., Ponzio, P., Cardiff, B.J., Galeotti, J.P., Regis, G.

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

Enlace del recurso

SER

Materias Relacionadas