Mostrar el registro sencillo del ítem
dc.contributor.author | Asteasuain, Fernando | |
dc.contributor.author | Calonge, Federico | |
dc.contributor.author | Gamboa, Pablo | |
dc.date.accessioned | 2024-08-08T15:59:29Z | |
dc.date.available | 2024-08-08T15:59:29Z | |
dc.date.issued | 2019 | |
dc.identifier.isbn | 978-987-688-377-1 | |
dc.identifier.other | http://sedici.unlp.edu.ar/handle/10915/90538 | |
dc.identifier.uri | https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3496 | |
dc.description | Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina | |
dc.description | Fil: Calonge, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina | |
dc.description | Fil: Gamboa, Pablo Daniel. Universidad Abierta Interamericana. Centro de Altos Estudios; Argentina | |
dc.description.abstract | 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 of study is introduced to show our approach in action. | |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | |
dc.publisher | Red de Universidades con Carreras en Informática | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.subject | Aspect Orientation | |
dc.subject | Behavioral Synthesis | |
dc.title | Aspect Oriented Behavioral Synthesis | |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.type | info:ar-repo/semantics/documento de conferencia | |
dc.type | info:eu-repo/semantics/publishedVersion | |
dcterms.license | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
local.eventos.nombregeneral | Congreso Argentino de Ciencias de la Computación (CACIC) | |
local.eventos.numero | XXV | |
local.eventos.lugar | Argentina |