Seminario de Ingeniería de Software

Lunes
 

Martin Wirsing es Profesor de la Universidad Ludwig-Maximilians de Munich, Alemania. Su área de investigación se centra en modelos, algoritmos y herramientas para la construcción y análisis de sistemas de software confiables.

"Towards Engineering Autonomous Ensembles" 

(some results of the ASCENS project coordinated by Martin in 2010 - 2015) 

 

Martes

Carlo Ghezzi es Profesor de Ingeniería de Software en el Politecnico de Milán, Italia. Su área de investigación se ha centrado en la ingeniería de software y lenguajes de programación.

"Software engineering for cyber-physical spaces"

Abstract: Advances in technology, in particular in cyber-physical systems, increasingly  enable functionalities that will lead to the                          development of smart living spaces--from "smart homes" to "smarty cities"--where living conditions for people  will be facilitated and enhanced.  These systems may be collectively called cyber-physical spaces. They will assist and cooperate with people in their homes, including elder and disabled people.They will enhance operations in public buildings, such as hospitals or courts. They will make public spaces more secure; e.g., airports or stations. They will assist in managing traffic in cities, reducing air pollution, and reducing energy consumption. Needless to say, the design of such cyber-physical spaces is a multidisciplinary endeavor, ranging contributions from Internet-of Things to software engineering to civil engineering and architecture to medical sciences, transportation science, environmental science, energy, ...

The presentation illustrates how software engineering can bring a unique and fundamental contribution into this multidisciplinary world. It can support the design phase with formal models that integrate existing spatial design notations (such as BIM used by architects and civil engineers; or CityGML, an emerging notation for city and landscape models) with modeling notations that support automatic reasoning and analysis, for example to check compliance with existing regulations or possible security and safety threats,  or simulate how the space being designed will behave when operational. Automatic checking of models can also support monitoring the smart space, when it will be operational, and possible automatic reactions to keep the operational smart space aligned with its requirements.

Sebastián Uchitel  es Profesor de la Universidad de Buenos Aires. Sus intereses de investigación están en el área de Ingeniería de Software, más específicamente en el modelado y análisis como un medio para ganar confianza en los requisitos, el diseño y los artefactos de código.

"Planificación automática para sistemas adaptativos."

La planificación automática es una rama de la inteligencia artificial que buscar resolver con garantías totales juegos de múltiples jugadores. Los sistemas adaptativos son sistemas que tienen la capacidad de reaccionar automáticamente a cambios en su entorno de ejecución, sus capacidades o sus objetivos más allá de si estos cambios fueron contemplados o imaginados en tiempo de diseño. En esta charla voy a dar una breve introducción a la planificación automática y explicar cómo pueden ser utilizada para el desarrollo de sistemas adaptativos, repasando una arquitectura de software para este tipo de sistemas, los desafíos técnicos que aún quedan por resolver y nuestras experiencias utilizando estas ideas en el dominio de la robótica. 

Jueves 

Tom Maibaum es Profesor retirado de la Universidad de McMaster, Canada. Su área de interés de investigación se ha centrado durante más de 35 años en la teoría de especificación y su aplicación en diversos contextos.

"Software Engineering: a Cornucopia of Models."

Modelling is an essential aspect of engineering. This is particularly true of software engineering where almost everything we do is related to modelling: building them, identifying them, analysing them, transforming them, etc. One might claim that software engineering IS really model engineering.
 

Viernes


Marcelo Frías es Profesor en el Instituto Tecnológico de Buenos Aires. Su área de investigación se centra en el desarrollo de técnicas de análisis de software automáticas, utilizando herramientas y mecanismos provenientes de los métodos formales de desarrollo, principalmente aquellos relacionados con el SAT solving.


Se realiza de 14:30 a 16:00

 

Material Bibiográfico
porn sites
live cam sex
logolu peçete