¿Quién está en línea?
En total hay 1 usuario en línea: 0 Registrados, 0 Ocultos y 1 Invitado

Ninguno

[ Ver toda la lista ]


La mayor cantidad de usuarios en línea fue 18 el Jue Jul 11, 2013 10:40 am.
Conectarse

Recuperar mi contraseña


Escuela de Verano de Ciencias Informáticas

Ir abajo

Escuela de Verano de Ciencias Informáticas

Mensaje por Namour el Vie Dic 03, 2010 8:49 pm

Viernes 3 de diciembre, 20:46 hs, aún no he recibido la unidad de Grafos de
Algoritmos 2, pero me mandó la profe Luccioni esto para que lo difundamos.


XVIII Escuela de Verano de Ciencias Informáticas

Río 2011
14 al 19 de febrero de 2011

Campus de la Universidad Nacional de Río Cuarto, Provincia de Córdoba,
República Argentina


========= CURSOS =========

Curso 1: "Automated Test Generation and Repair"

Dr. Darko Marinov, University of Illinois at Urbana-Champaign, U.S.A.

Idioma: Inglés

Abstract:


This course will review techniques and tools for automated generation and
repair of tests, with an emphasis on object-oriented unit tests. Such a
test consists of a sequence of method calls, where each call takes a list
of parameters. These sequences and parameters can be written manually or
generated automatically. Automated techniques include random generation,
symbolic execution, and bounded-exhaustive exploration. Developers are
encouraged to frequently execute tests while changing their software to
check whether changes cause the tests to fail. Some failures are caused by
bugs in the code changes and some by old tests that do not reflect the
changes. In the latter case, developers can use an automated tool that
suggests repairs which make the failing tests to pass. We will review in
more detail how these techniques work in several tools for test generation
(including Pex, Randoop, and UDITA) and one tool for test repair
(ReAssert).

Recommended knowledge: some object-oriented language (e.g., Java or C#);
knowledge of a unit testing framework (e.g., JUnit or NUnit) and an IDE
(e.g., Eclipse or Visual Studio) is helpful but not necessary.

------------------------------------

Curso 2: "Dependable Distributed Computing"

Dr. Lorenzo Alvisi, University of Texas at Austin, U.S.A.

Lenguaje: Inglés

------------------------------------

Curso 3: "Model Checking Continuous-Time Markov Models: Fron Theory to
Practice"

Dr. Joost-Pieter Katoen, RWTH University, Alemania
Lenguaje: Inglés

Abstract:

This set of lectures will provide an introduction to the verification of
CTMCs, a model that combines discrete probabilistic branching with random
state residence times. CTMCs are prominent in performance and
dependability evaluation, occur as semantic model of high-level modeling
formalisms such as stochastic Petri nets and process algebras, and are
frequently used in systems biology. We will introduce a branching-time
logic on CTMCs, and explain in detail how the validity of these logical
formulas can be model-checked on finite CTMCs. In order to handle large,
or even infinite CTMCs, we introduce an abstraction technique that fits
within the realm of three-valued abstraction methods. The key ingredients
of this technique are a partitioning of the state space combined with an
abstraction of transition probabilities by intervals. We will present the
underlying theory of this abstraction, some examples, and indicate how
such abstraction can be applied in a compositional manner
. Finally, we will present algorithms for verifying CTMCs against
specifications given as timed automata. The applicability will be shown
by several examples from systems biology and performance and
dependability evaluation.

------------------------------------

Curso 4: "Análisis Automático de Programas: de la Teoría a la Práctica"

Dr. Diego Garbervetsky y Lic. Guido de Caso, Universidad de Buenos Aires,
Argentina

Lenguaje: Castellano.

Resumen:

El análisis estático permite extraer propiedades sobre un programa antes
de la ejecución real del mismo. Esta información puede ser luego utilizada
para realizar transformaciones sobre el mismo compilación, optimizaciones,
etc.) y/o realizar pruebas sobre su corrección. En este curso se
introducirán las técnicas y conceptos básicos del análisis estático de
código y sus principales aplicaciones. En particular se estudiará como
estas técnicas se aplican a la verificación automática de software y la
generación de casos de test. Una de las características salientes de este
curso es que no sólo se enfocará en los aspectos teóricos y conceptuales
de las técnicas, sino que también se hará énfasis en presentar ejemplos de
herramientas reales y gratuitas que implementan estos conceptos.

------------------------------------

Curso 5: "Desarrollo de Aplicaciones NCL para Televisión Digital"

Dr. Federico Balaguer, Universidad Nacional de La Plata, Argentina

Lenguaje: Castellano.

Resumen:

Este curso brindará una introducción básica a los conceptos pertinentes a
la televisión digital comparándola con la televisión analógica, marcando
sus desventajas y resaltando sus ventajas a modo de contextualizar al
asistente para la comprensión del modelo de referencia de TV Digital a
utilizar en el curso.

El curso abarcará una introducción a los lenguajes NCL y LUA y sus
principales construcciones. Se presentarán también ejemplos conductores
para poder realizar aplicaciones NCL-LUA, y se realizará ejercitación de
codificación incremental en los lenguajes mencionados.

En cuanto a los requisitos para el cursado, el asistente debería tener
conocimientos básicos de programación, preferentemente experiencia en
algún lenguaje de scripting, y haber experimentado con algún entorno
integrado de programación.

------------------------------------

Curso 6: "Fundamentos y Principios Básicos de Ingeniería de Software para
la Gestión de Proyectos"

Ing. Álvaro Ruiz de Mendarozqueta, Motorola, Argentina

Lenguaje: Castellano.

Resumen:

El curso abarcará los siguientes contenidos:

* Principios básicos. Ingeniería de Sistemas. Ingeniería de Software.
* Problemas más comunes en los proyectos y en los productos. ¿Soluciones?
* Economía del Software. Estimaciones. Métricas.
* Procesos. Planeamiento. Gestión de Riesgos. Seguimiento y Control.
* Aseguramiento de la Calidad. Gestión de las Configuraciones.

Este curso tendrá una modalidad de seminario, será coordinado por el Ing.
Álvaro Ruiz e involucrará varios oradores.

====================================================================
INFORMACIÓN ADICIONAL

Los cursos tienen 5 clases de 2:30 hs. de duración, cada una. Examen
opcional. Se otorgarán certificados de
asistencia y aprobación.

Facilidades de alojamiento: La Universidad cuenta con un comedor ($10 el
almuerzo), un amplio
campo de deportes, pileta, residencias y lugares para acampar (gratuitos).
Además la ciudad dispone de hoteles de distintas categorías. Visite la
página web de la escuela para
obtener mayor información.

--------------------------------------

Mas información e inscripciones en:
http://dc.exa.unrc.edu.ar/rio/
Consultas: rio@dc.exa.unrc.edu.ar
Telefono/fax : 54+358-467-6235

-------------------------------------------
Rogamos disculpas por la posible reiteración de este mail y agradeceremos
mucho su colaboración en su difusión.


_______________________________________________
Listeci mailing list
Listeci@dc.uba.ar
https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/listeci
avatar
Namour

Cantidad de envíos : 67
Puntos : 17646
Reputación : 5
Fecha de inscripción : 13/04/2009
Edad : 32

Ver perfil de usuario

Volver arriba Ir abajo

Re: Escuela de Verano de Ciencias Informáticas

Mensaje por kbudo el Sáb Dic 04, 2010 12:07 am

Muy interesante
avatar
kbudo

Cantidad de envíos : 437
Puntos : 18291
Reputación : 2
Fecha de inscripción : 09/04/2009
Edad : 35
Localización : In your head

Ver perfil de usuario

Volver arriba Ir abajo

Re: Escuela de Verano de Ciencias Informáticas

Mensaje por Ricardo II el Dom Dic 05, 2010 2:29 pm

interesante la verdad...aunque muchos son temas de campos muy especificos
avatar
Ricardo II
Admin

Cantidad de envíos : 424
Puntos : 18197
Reputación : 7
Fecha de inscripción : 09/04/2009
Edad : 36
Localización : Yerba Buena - Tucuman

Ver perfil de usuario http://proyecto-origenes.forosactivos.net

Volver arriba Ir abajo

Re: Escuela de Verano de Ciencias Informáticas

Mensaje por Contenido patrocinado


Contenido patrocinado


Volver arriba Ir abajo

Volver arriba

- Temas similares

 
Permisos de este foro:
No puedes responder a temas en este foro.