CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada
Aspect oriented behavioral synthesis
Año: 2019
Idioma: Inglés
Resumen
Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is composed of. In this work we present FVS as an aspect oriented language where the composition of individual aspects is achieved employing behavioral synthesis. As a distinctive feature, our approach can handle properties denoted by non deterministic Büchi automata. A case study is introduced to show our approach in action.
Integrantes
Fernando Asteasuain (Autor)
Federico Calonge (Autor)
Pablo Daniel Gamboa (Autor)
Archivos
-
Fernando Asteasuain, Federico Calonge, Pablo Gamboa (2019). “Aspect Oriented Behavioral Synthesis”. Congreso Argentino de Ciencias de la Computación CACIC 2019. Universidad Nacional de Río Cuarto. Río Cuarto, Córdoba, Argentina. 14 al 18 de Octubre de 2019.
14- Fernando Asteasuain et al - Aspect Oriented Behavioral Synthesis - CACIC 2019.pdf