14 al 19 de febrero de 2011
Campus de la Universidad Nacional de R\u00edo Cuarto,<\/p>\n
Provincia de C\u00f3rdoba, Rep\u00fablica Argentina<\/p>\n
\u00a0<\/p>\n
<\/p>\n
========= CURSOS =========<\/p>\n
Curso 1: \u00abAutomated Test Generation and Repair\u00bb<\/p>\n
Dr. Darko Marinov, University of Illinois at
Urbana-Champaign, U.S.A.<\/p>\n
Idioma: Ingl\u00e9s<\/p>\n
Abstract:<\/p>\n
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).<\/p>\n
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.<\/p>\n
——————————<\/p>\n
——<\/p>\n
Curso 2: \u00abDependable Distributed Computing\u00bb<\/p>\n
Dr. Lorenzo Alvisi, University of Texas at Austin, U.S.A.<\/p>\n
Lenguaje: Ingl\u00e9s<\/p>\n
————————————<\/p>\n
Curso 3: \u00abModel Checking Continuous-Time Markov Models:
Fron Theory to Practice\u00bb<\/p>\n
Dr. Joost-Pieter Katoen, RWTH University, Alemania
Lenguaje: Ingl\u00e9s<\/p>\n
Abstract:<\/p>\n
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.<\/p>\n
————————————<\/p>\n
Curso 4: \u00abAn\u00e1lisis Autom\u00e1tico de Programas: de la Teor\u00eda
a la Pr\u00e1ctica\u00bb<\/p>\n
Dr. Diego Garbervetsky y Lic. Guido de Caso, Universidad de
Buenos Aires, Argentina<\/p>\n
Lenguaje: Castellano.<\/p>\n
Resumen:<\/p>\n
El an\u00e1lisis est\u00e1tico permite extraer propiedades sobre un
programa antes de la ejecuci\u00f3n real del mismo. Esta
informaci\u00f3n puede ser luego utilizada para realizar
transformaciones sobre el mismo compilaci\u00f3n,
optimizaciones, etc.) y\/o realizar pruebas sobre su
correcci\u00f3n. En este curso se introducir\u00e1n las t\u00e9cnicas y
conceptos b\u00e1sicos del an\u00e1lisis est\u00e1tico de c\u00f3digo y sus
principales aplicaciones. En particular se estudiar\u00e1 como
estas t\u00e9cnicas se aplican a la verificaci\u00f3n autom\u00e1tica de
software y la generaci\u00f3n de casos de test. Una de las
caracter\u00edsticas salientes de este curso es que no s\u00f3lo se
enfocar\u00e1 en los aspectos te\u00f3ricos y conceptuales de las
t\u00e9cnicas, sino que tambi\u00e9n se har\u00e1 \u00e9nfasis en presentar
ejemplos de herramientas reales y gratuitas que implementan
estos conceptos.<\/p>\n
————————————<\/p>\n
Curso 5: \u00abDesarrollo de Aplicaciones NCL para Televisi\u00f3n
Digital\u00bb<\/p>\n
Dr. Federico Balaguer, Universidad Nacional de La Plata,
Argentina<\/p>\n
Lenguaje: Castellano.<\/p>\n
Resumen:<\/p>\n
Este curso brindar\u00e1 una introducci\u00f3n b\u00e1sica a los
conceptos pertinentes a la televisi\u00f3n digital compar\u00e1ndola
con la televisi\u00f3n anal\u00f3gica, marcando
sus desventajas y resaltando sus ventajas a modo de
contextualizar al asistente para la comprensi\u00f3n del modelo
de referencia de TV Digital a utilizar en el curso.<\/p>\n
El curso abarcar\u00e1 una introducci\u00f3n a los lenguajes NCL y
LUA y sus principales construcciones. Se presentar\u00e1n
tambi\u00e9n ejemplos conductores para poder realizar
aplicaciones NCL-LUA, y se realizar\u00e1 ejercitaci\u00f3n de
codificaci\u00f3n incremental en los lenguajes mencionados.<\/p>\n
En cuanto a los requisitos para el cursado, el asistente
deber\u00eda tener conocimientos b\u00e1sicos de programaci\u00f3n,
preferentemente experiencia en alg\u00fan lenguaje de scripting,
y haber experimentado con alg\u00fan entorno integrado de
programaci\u00f3n.<\/p>\n
————————————<\/p>\n
Curso 6: \u00abFundamentos y Principios B\u00e1sicos de Ingenier\u00eda
de Software para la Gesti\u00f3n de Proyectos\u00bb<\/p>\n
Ing. \u00c1lvaro Ruiz de Mendarozqueta, Motorola, Argentina<\/p>\n
Lenguaje: Castellano.<\/p>\n
Resumen:<\/p>\n
El curso abarcar\u00e1 los siguientes contenidos:<\/p>\n
* Principios b\u00e1sicos. Ingenier\u00eda de
Sistemas. Ingenier\u00eda de Software.
* Problemas m\u00e1s comunes en los proyectos y
en los productos. \u00bfSoluciones?
* Econom\u00eda del Software. Estimaciones.
M\u00e9tricas.
* Procesos. Planeamiento. Gesti\u00f3n de
Riesgos. Seguimiento y Control.
* Aseguramiento de la Calidad. Gesti\u00f3n de
las Configuraciones.<\/p>\n
Este curso tendr\u00e1 una modalidad de seminario, ser\u00e1
coordinado por el Ing. \u00c1lvaro Ruiz e involucrar\u00e1 varios
oradores.<\/p>\n
====================================================================
INFORMACI\u00d3N ADICIONAL<\/p>\n
Los cursos tienen 5 clases de 2:30 hs. de duraci\u00f3n, cada
una. Examen opcional. Se otorgar\u00e1n certificados de
asistencia y aprobaci\u00f3n.<\/p>\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\u00e1s la ciudad dispone de hoteles de distintas
categor\u00edas. Visite la p\u00e1gina web de la escuela para
obtener mayor informaci\u00f3n.<\/p>\n
————————————–<\/p>\n
Mas informaci\u00f3n e inscripciones en:
http:\/\/dc.exa.unrc.edu.ar\/rio\/
Consultas: rio@dc.exa.unrc.edu.ar
Telefono\/fax : 54+358-467-6235<\/p>\n","protected":false},"excerpt":{"rendered":"
XVIII Escuela de Verano de Ciencias Inform\u00e1ticas R\u00edo 2011 14 al 19 de febrero de 2011 Campus de la Universidad Nacional de R\u00edo Cuarto, Provincia de C\u00f3rdoba, Rep\u00fablica Argentina \u00a0<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":""},"categories":[3],"tags":[],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"ufai","author_link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/author\/ufai\/"},"uagb_comment_info":0,"uagb_excerpt":"XVIII Escuela de Verano de Ciencias Inform\u00e1ticas R\u00edo 2011 14 al 19 de febrero de 2011 Campus de la Universidad Nacional de R\u00edo Cuarto, Provincia de C\u00f3rdoba, Rep\u00fablica Argentina \u00a0","_links":{"self":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/502"}],"collection":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/comments?post=502"}],"version-history":[{"count":1,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/502\/revisions"}],"predecessor-version":[{"id":7544,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/502\/revisions\/7544"}],"wp:attachment":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media?parent=502"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/categories?post=502"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/tags?post=502"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}