Proyecto : Verificación formal automatizada de un marcapasos

Anexo : Situación financiera a octubre del 2001

Luis Sierra

9.- Rubro Gastos

9.1.- Materiales

Cantidad

Descripción

Monto semestral ($)

Monto ($) total

 

Material fungible

1778.20

1778.20

Se ha solicitado su traspaso para el ejercicio entrante. Las necesidades actuales están cubiertas.

10.- Rubro Inversiones

10.1.- Equipos

Cantidad

Descripción

Monto ($)

1

PC potenciada, para trabajo computacional intensivo

21000

Se ha solicitado la compra de la citada máquina. La misma está comprendida en una licitación en curso. De acuerdo a los costos actuales, se ha estimado que un monto de 17000 sería suficiente.

Se ha solicitado el traspaso del monto restante al siguiente ejercicio, con la expectativa de realizarle ampliaciones de potencia en caso que las mismas sean necesarias.

10.2.- Bibliografía solicitada

Tipo de publicación

Monto ($)

Proceedings de conferencias sobre el tema (CAV, CONCUR, TACAS, etc)

Libros actualizados sobre verificación de sistemas reactivos y métdos formales.

14000

Se ha solicitado su traspaso para el ejercicio entrante. Motiva el mismo explorar la posibilidad de que la erogación en estas compras, usualmente hechas a proveedores en el extranjero, pueda realizarse mediante algún mecanismo que no implique un aumento inconveniente de los gastos fijos que conlleva la forma de pago actual.