Towards ANSI C Program Slicing using XML

AbstractIn this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tools, which is a key issue to make it much easier to develop CASE tools such as program slicers. Although XML has a great potential for such data interchange formats, we first point out that there are still a lot of challenging problems to be solved. Then, as a first step to our goal, we introduce ACML (ANSI C Markup Language), which describes the syntactic structure and static semantics for ANSI C code. In our preliminary experiment, we had a good result; it took only 0.5 man-month to implement Weiser's slicer based on ACML, whereas it took about 2 man-months to implement an ANSI C parser and static semantics analyzer of XCI (Experimental C Interpreter)

When and how to develop domain-specific languages

Domain-specific languages (DSLs) are languages tailored to a specific application domain. They offer substantial gains in expressiveness and ease of use compared with general purpose programming languages in their domain of application. DSL development is hard, requiring both domain knowledge and language development expertise. Few people have both. Not surprisingly, the decision to develop a DSL is often postponed indefinitely, if considered at all, and most DSLs never get beyond the application library stage. While many articles have been written on the development of particular DSLs, there is very limited literature on DSL development methodologies and many questions remain regarding when and how to develop a DSL. To aid the DSL developer, we identify patterns in the decision, analysis, design, and implementation phases of DSL development. Our patterns try to improve on and extend earlier work on DSL design patterns, in particular by Spinellis (2001). We also discuss domain analysis tools and language development systems that may help to speed up DSL development. Finally, we state a number of open problems

Herramienta de validación aplicada a las tareas de gestión de calidad en un repositorio digital

Esta tesina describe el trabajo realizado para la implementación de un aporte a los mecanismos de control de calidad existentes en un Repositorio Institucional. Se parte con el objetivo de desarrollar una herramienta dinámica de validación,que permita a los administradores del repositorio, la posibilidad de implementar ciertas tareas enmarcadas en el ámbito de la preservación de los objetos digitales.El desarrollo de esta herramienta se enmarca en el software DSpace, el sistema de gestión que utiliza el repositorio institucional de la UNLP, el SEDICI. Para realizar el desarrollo se aborda la temática de los lenguajes específicos de dominio, y se realiza un aporte en el diseño y el análisis de un lenguaje específico de dominio (DSL) que reúna los conceptos pertenecientes al dominio de los repositorios gestionados con DSpace. Para esto, se aplican distintos conceptos pertenecientes a esta rama de investigación: metamodelos, arboles AST, sintaxis abstracta y concreta, etc. Después, se describe la implementación desarrolllada a partir del aporte mencionado en el párrafo anterior, y informa acerca de la herramienta de desarrollo escogida para la implementación: el lenguaje de expresiones especificado en la JSR-341. Finalmente, se documenta un caso de uso puntual para el desarrollo realizado: las tareas de curación.Facultad de Informátic

Herramienta de validación aplicada a las tareas de gestión de calidad en un repositorio digital

Esta tesina describe el trabajo realizado para la implementación de un aporte a los mecanismos de control de calidad existentes en un Repositorio Institucional. Se parte con el objetivo de desarrollar una herramienta dinámica de validación,que permita a los administradores del repositorio, la posibilidad de implementar ciertas tareas enmarcadas en el ámbito de la preservación de los objetos digitales.El desarrollo de esta herramienta se enmarca en el software DSpace, el sistema de gestión que utiliza el repositorio institucional de la UNLP, el SEDICI. Para realizar el desarrollo se aborda la temática de los lenguajes específicos de dominio, y se realiza un aporte en el diseño y el análisis de un lenguaje específico de dominio (DSL) que reúna los conceptos pertenecientes al dominio de los repositorios gestionados con DSpace. Para esto, se aplican distintos conceptos pertenecientes a esta rama de investigación: metamodelos, arboles AST, sintaxis abstracta y concreta, etc. Después, se describe la implementación desarrolllada a partir del aporte mencionado en el párrafo anterior, y informa acerca de la herramienta de desarrollo escogida para la implementación: el lenguaje de expresiones especificado en la JSR-341. Finalmente, se documenta un caso de uso puntual para el desarrollo realizado: las tareas de curación.Facultad de Informátic

Herramienta de validación aplicada a las tareas de gestión de calidad en un repositorio digital

Esta tesina describe el trabajo realizado para la implementación de un aporte a los mecanismos de control de calidad existentes en un Repositorio Institucional. Se parte con el objetivo de desarrollar una herramienta dinámica de validación,que permita a los administradores del repositorio, la posibilidad de implementar ciertas tareas enmarcadas en el ámbito de la preservación de los objetos digitales.El desarrollo de esta herramienta se enmarca en el software DSpace, el sistema de gestión que utiliza el repositorio institucional de la UNLP, el SEDICI. Para realizar el desarrollo se aborda la temática de los lenguajes específicos de dominio, y se realiza un aporte en el diseño y el análisis de un lenguaje específico de dominio (DSL) que reúna los conceptos pertenecientes al dominio de los repositorios gestionados con DSpace. Para esto, se aplican distintos conceptos pertenecientes a esta rama de investigación: metamodelos, arboles AST, sintaxis abstracta y concreta, etc. Después, se describe la implementación desarrolllada a partir del aporte mencionado en el párrafo anterior, y informa acerca de la herramienta de desarrollo escogida para la implementación: el lenguaje de expresiones especificado en la JSR-341. Finalmente, se documenta un caso de uso puntual para el desarrollo realizado: las tareas de curación.Facultad de Informátic

Herramienta de validación aplicada a las tareas de gestión de calidad en un repositorio digital

Esta tesina describe el trabajo realizado para la implementación de un aporte a los mecanismos de control de calidad existentes en un Repositorio Institucional. Se parte con el objetivo de desarrollar una herramienta dinámica de validación,que permita a los administradores del repositorio, la posibilidad de implementar ciertas tareas enmarcadas en el ámbito de la preservación de los objetos digitales.El desarrollo de esta herramienta se enmarca en el software DSpace, el sistema de gestión que utiliza el repositorio institucional de la UNLP, el SEDICI.\nPara realizar el desarrollo se aborda la temática de los lenguajes específicos de dominio, y se realiza un aporte en el diseño y el análisis de un lenguaje específico de dominio (DSL) que reúna los conceptos pertenecientes al dominio de los repositorios gestionados con DSpace. Para esto, se aplican distintos conceptos pertenecientes a esta rama de investigación: metamodelos, arboles AST, sintaxis abstracta y concreta, etc.\nDespués, se describe la implementación desarrolllada a partir del aporte mencionado en el párrafo anterior, y informa acerca de la herramienta de desarrollo escogida para la implementación: el lenguaje de expresiones especificado en la JSR-341.\nFinalmente, se documenta un caso de uso puntual para el desarrollo realizado: las tareas de curación.Licenciado en Sistema