Ingeniería de software para sistemas críticos ferroviarios

Esta línea de investigación aborda temas de ingeniería del software en sistemas tradicionales y su traslado a sistemas críticos con aplicación en el sistema ferroviario argentino. El propósito de esta línea de trabajo es desarrollar los sistemas de gestión para el desarrollo de proyectos software ferroviarios de acuerdo con la normativa europea EN 50128 y la construcción del ecosistema de herramientas que lo instrumenten. Esta nornativa describe un conjunto de buenas prácticas y técnicas opcionales que serán tenidas en cuenta a lo largo del desarrollo software. Debido a ello es necesario analizar las posibles implementaciones de estas buenas prácticas para que sea conforme la normativa. Finalmente, la línea de trabajo plantea la posibilidad de trasladar los resultados a proyectos específicos en conjunto con la Autoridad Ferroviaria Nacional.Eje: Ingeniería del Software.Red de Universidades con Carreras en Informátic

Ingeniería de software para sistemas críticos ferroviarios

Esta línea de investigación aborda temas de ingeniería del software en sistemas tradicionales y su traslado a sistemas críticos con aplicación en el sistema ferroviario argentino. El propósito de esta línea de trabajo es desarrollar los sistemas de gestión para el desarrollo de proyectos software ferroviarios de acuerdo con la normativa europea EN 50128 y la construcción del ecosistema de herramientas que lo instrumenten. Esta nornativa describe un conjunto de buenas prácticas y técnicas opcionales que serán tenidas en cuenta a lo largo del desarrollo software. Debido a ello es necesario analizar las posibles implementaciones de estas buenas prácticas para que sea conforme la normativa. Finalmente, la línea de trabajo plantea la posibilidad de trasladar los resultados a proyectos específicos en conjunto con la Autoridad Ferroviaria Nacional.Eje: Ingeniería del Software.Red de Universidades con Carreras en Informátic

Ingeniería de software para sistemas críticos ferroviarios

Esta línea de investigación aborda temas de ingeniería del software en sistemas tradicionales y su traslado a sistemas críticos con aplicación en el sistema ferroviario argentino. El propósito de esta línea de trabajo es desarrollar los sistemas de gestión para el desarrollo de proyectos software ferroviarios de acuerdo con la normativa europea EN 50128 y la construcción del ecosistema de herramientas que lo instrumenten. Esta nornativa describe un conjunto de buenas prácticas y técnicas opcionales que serán tenidas en cuenta a lo largo del desarrollo software. Debido a ello es necesario analizar las posibles implementaciones de estas buenas prácticas para que sea conforme la normativa. Finalmente, la línea de trabajo plantea la posibilidad de trasladar los resultados a proyectos específicos en conjunto con la Autoridad Ferroviaria Nacional.Eje: Ingeniería del Software.Red de Universidades con Carreras en Informátic

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop0

Une approche formelle de l'interopérabilité pour une famille de langages dédiés

In this thesis, we introduce a rigorous formally founded method to address the interoperability of a family of domain specific languages (DSLs). Our approach targets DSLs from the same business domain and consists in constructing a unifying language. The unification is obtained by using a categorical approach. For this, we use the category of algebraic specifications of each language in the family. On this category, we apply the colimit on algebraic specifications of each DSL to generate their unifying. This approach allows us to obtain a set of translators from each family member to the unifying language. Moreover, properties established in the context of a language of the family are transferred to the unifier. The approach experimented in the context of the Specware software for categorical computations and of the Isabelle proof assistant.Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle

XX Workshop de Investigadores en Ciencias de la Computación - WICC 2018 : Libro de actas

Actas del XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018), realizado en Facultad de Ciencias Exactas y Naturales y Agrimensura de la Universidad Nacional del Nordeste, los dìas 26 y 27 de abril de 2018.Red de Universidades con Carreras en Informática (RedUNCI

XX Workshop de Investigadores en Ciencias de la Computación - WICC 2018 : Libro de actas

Actas del XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018), realizado en Facultad de Ciencias Exactas y Naturales y Agrimensura de la Universidad Nacional del Nordeste, los dìas 26 y 27 de abril de 2018.Red de Universidades con Carreras en Informática (RedUNCI