VII Taller Internacional sobre Aspectos Formales del Software de Componentes en Guimarães (Portugal)
14 Octubre 2010 - 14 Octubre 2010
Portugal
Del 14 al 16 de octubre de 2010 se celebrará en Guimarães (Portugal) el VII Taller Internacional sobre Aspectos Formales del Software de Componentes.
El evento se centrará en el empleo de métodos formales para lograr resultados mediante software basado en componentes. El desarrollo de software basado en componentes se ha erigido en una disciplina que podría ser capaz de resolver la cada vez mayor complejidad de las soluciones actuales de software. También supone la inclusión de principios sólidos de producción y de ingeniería en la ingeniería de software. No obstante, la teoría y la práctica del desarrollo de software basado en componentes precisa resolver ciertas cuestiones conceptuales y tecnológicas.
Los métodos formales se basan en técnicas matemáticas aplicadas a la descripción, el desarrollo y la verificación de sistemas de software y hardware. También han demostrado su utilidad para sentar una base formal para el software basado en componentes y solucionar aspectos problemáticos tales como modelos matemáticos para componentes, composición y adaptación o métodos rigurosos de verificación, desarrollo, comprobación y certificación.
El taller reunirá a investigadores y profesionales del software de componentes y de los métodos formales con el fin de ampliar el conocimiento sobre el paradigma de desarrollo del software basado en componentes y sus aplicaciones.Para más información, consulte:
http://www3.di.uminho.pt/facs2010/(se abrirá en una nueva ventana)
El evento se centrará en el empleo de métodos formales para lograr resultados mediante software basado en componentes. El desarrollo de software basado en componentes se ha erigido en una disciplina que podría ser capaz de resolver la cada vez mayor complejidad de las soluciones actuales de software. También supone la inclusión de principios sólidos de producción y de ingeniería en la ingeniería de software. No obstante, la teoría y la práctica del desarrollo de software basado en componentes precisa resolver ciertas cuestiones conceptuales y tecnológicas.
Los métodos formales se basan en técnicas matemáticas aplicadas a la descripción, el desarrollo y la verificación de sistemas de software y hardware. También han demostrado su utilidad para sentar una base formal para el software basado en componentes y solucionar aspectos problemáticos tales como modelos matemáticos para componentes, composición y adaptación o métodos rigurosos de verificación, desarrollo, comprobación y certificación.
El taller reunirá a investigadores y profesionales del software de componentes y de los métodos formales con el fin de ampliar el conocimiento sobre el paradigma de desarrollo del software basado en componentes y sus aplicaciones.Para más información, consulte:
http://www3.di.uminho.pt/facs2010/(se abrirá en una nueva ventana)